BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Maurizio Monge

Maurizio Monge appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math.NTmath.COmath.DSmath.GRComputer VisionCryptography and SecurityMachine Learningmath.ACmath.OCRobotics

Catalog footprint

What is connected

10works
10topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

10 published item(s)

preprint2023arXiv

Theseus: A Library for Differentiable Nonlinear Optimization

We present Theseus, an efficient application-agnostic open source library for differentiable nonlinear least squares (DNLS) optimization built on PyTorch, providing a common framework for end-to-end structured learning in robotics and vision. Existing DNLS implementations are application specific and do not always incorporate many ingredients important for efficiency. Theseus is application-agnostic, as we illustrate with several example applications that are built using the same underlying differentiable components, such as second-order optimizers, standard costs functions, and Lie groups. For efficiency, Theseus incorporates support for sparse solvers, automatic vectorization, batching, GPU acceleration, and gradient computation with implicit differentiation and direct loss minimization. We do extensive performance evaluation in a set of applications, demonstrating significant efficiency gains and better scalability when these features are incorporated. Project page: https://sites.google.com/view/theseus-ai

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Verifiable Access Control for Augmented Reality Localization and Mapping

Localization and mapping is a key technology for bridging the virtual and physical worlds in augmented reality (AR). Localization and mapping works by creating and querying maps made of anchor points that enable the overlay of these two worlds. As a result, information about the physical world is captured in the map and naturally gives rise to concerns around who can map physical spaces as well as who can access or modify the virtual ones. This paper discusses how we can provide access controls over virtual maps as a basic building block to enhance security and privacy of AR systems. In particular, we propose VACMaps: an access control system for localization and mapping using formal methods. VACMaps defines a domain-specific language that enables users to specify access control policies for virtual spaces. Access requests to virtual spaces are then evaluated against relevant policies in a way that preserves confidentiality and integrity of virtual spaces owned by the users. The precise semantics of the policies are defined by SMT formulas, which allow VACMaps to reason about properties of access policies automatically. An evaluation of VACMaps is provided using an AR testbed of a single-family home. We show that VACMaps is scalable in that it can run at practical speeds and that it can also reason about access control policies automatically to detect potential policy misconfigurations.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Answer to a question on $A$-groups, arisen from the study of Steinitz classes

In this short note we answer to a question of group theory from arXiv:0910.5080. In that paper the author describes the set of realizable Steinitz classes for so-called $A'$-groups of odd order, obtained iterating some direct and semidirect products. It is clear from the definition that $A'$-groups are solvable $A$-groups, but the author left as an open question whether the converse is true. In this note we prove the converse when only two prime numbers divide the order of the group, but we show it to be false in general, producing a family of counterexamples which are metabelian and with exactly three primes dividing the order. Steinitz classes which are realizable for such groups in the family are computed and verified to form a group.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

A characterization of Eisenstein polynomials generating cyclic extensions of degree $p^2$ and $p^3$ over an unramified $\kp$-adic field

Let $p\neq2$ be a prime. We show a technique based on local class field theory and on the expansions of certain resultants which allows to recover very easily Lbekkouri's characterization of Eisenstein polynomials generating cyclic wild extensions of degree $p^2$ over $\Q_p$, and to extend it to the case of the base field $K$ being an unramified extension of $\Q_p$. Furthermore, when a polynomial satisfies only some of the stated conditions, we show that the first unsatisfied condition gives information about the Galois group of the normal closure. This permits to give a complete classification of Eisenstein polynomials of degree $p^2$ whose splitting field is a $p$-extension, providing a full description of the Galois group and its higher ramification subgroups. We then apply the same methods to give a characterization of Eisenstein polynomials of degree $p^3$ generating a cyclic extension. In the last section we deduce a combinatorial interpretation of the monomial symmetric function evaluated in the roots of the unity which appear in certain expansions.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

A family of Eisenstein polynomials generating totally ramified extensions, identification of extensions and construction of class fields

Let $K$ be a local field with finite residue field, we define a normal form for Eisenstein polynomials depending on the choice of a uniformizer $π_K$ and of residue representatives. The isomorphism classes of extensions generated by the polynomials in the family exhaust all totally ramified extensions, and the multiplicity with which each isomorphism class $L/K$ appears is always smaller than the number of conjugates of $L$ over $K$. An algorithm to recover the set of all special polynomials generating the extension determined by a general Eisenstein polynomial is described. We also give a criterion to quickly establish that a polynomial generates a different extension from that generated by a set of special polynomials, such criterion does not only depend on the usual distance on the set of Eisenstein polynomials considered by Krasner and others. We conclude with an algorithm for the construction of the unique special equation determining a totally ramified class field in general degree, given a suitable representation of a group of norms.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

An equivalent of Kronecker's Theorem for powers of an Algebraic Number and Structure of Linear Recurrences of fixed length

After defining a notion of $ε$-density, we provide for any real algebraic number $α$ an estimate of the smallest $ε$ such that for each $m>1$ the set of vectors of the form $(t,tα,...,tα^{m-1})$ for $t\in\R$ is $ε$-dense modulo 1, in terms of the multiplicative Mahler measure $M(A(x))$ of the minimal integral polynomial $A(x)$ of $α$, and independently of $m$. In particular, we show that if $α$ has degree $d$ it is possible to take $ε= 2^{[d/2]}/M(A(x))$. On the other hand using asymptotic estimates for Toeplitz determinants we show that for sufficiently large $m$ we cannot have $ε$-density if $ε$ is a fixed number strictly smaller than $1/M(A(x))$. As a byproduct of the proof we obtain a result of independent interest about the structure of the $\Z$-module of integral linear recurrences of fixed length determined by a non-monic polynomial.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Determination of the number of isomorphism classes of extensions of a $\kp$-adic field

We deduce a formula enumerating the isomorphism classes of extensions of a $\kp$-adic field $K$ with given ramification $e$ and inertia $f$. The formula follows from a simple group-theoretic lemma, plus the Krasner formula and an elementary class field theory computation. It shows that the number of classes only depends on the ramification and inertia of the extensions $K/\Q_p$, and $K(ζ_{p^m})/K$ obtained adding the $p^m$-th roots of 1, for all $p^m$ dividing $e$.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Generation of the Symmetric Field by Newton Polynomials in prime Characteristic

Let $N_m = x^m + y^m$ be the $m$-th Newton polynomial in two variables, for $m \geq 1$. Dvornicich and Zannier proved that in characteristic zero three Newton polynomials $N_a, N_b, N_c$ are always sufficient to generate the symmetric field in $x$ and $y$, provided that $a,b,c$ are distinct positive integers such that $(a,b,c)=1$. In the present paper we prove that in case of prime characteristic $p$ the result still holds, if we assume additionally that $a,b,c,a-b,a-c,b-c$ are prime with $p$. We also provide a counterexample in the case where one of the hypotheses is missing. The result follows from the study of the factorization of a generalized Vandermonde determinant in three variables, that under general hypotheses factors as the product of a trivial Vandermonde factor and an irreducible factor. On the other side, the counterexample is connected to certain cases where the Schur polynomials factor as a product of linear factors.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

On perfect hashing of numbers with sparse digit representation via multiplication by a constant

Consider the set of vectors over a field having non-zero coefficients only in a fixed sparse set and multiplication defined by convolution, or the set of integers having non-zero digits (in some base $b$) in a fixed sparse set. We show the existence of an optimal (resp. almost-optimal in the latter case) `magic' multiplier constant that provides a perfect hash function which transfers the information from the given sparse coefficients into consecutive digits. Studying the convolution case we also obtain a result of non-degeneracy for Schur functions as polynomials in the elementary symmetric functions in positive characteristic.

0 citations0 reviewsNo code linkedOpen access