Searcharxiv⌕ Search

arXiv subjects

André Carvalho

Publications and source records attributed to André Carvalho.

33 records · Page 2Linked to original sources

Pulse family optimization for parametrized quantum gates using spectral clustering

Parametrized gate circuits are used in plentiful applications in the current NISQ era of quantum computing. These parametrized gates are chiefly implemented using analytically found pulse protocols, often yielding suboptimal gate times, and consequently, fidelities. Alternatively, gate optimization algorithms are designed to construct high fidelity pulses for individual, fixed points in continuous parameter space. Gates for intermediate parameters can subsequently be found by some form of interpolation between previously constructed pulses. Nevertheless, it is not guaranteed (as with analytic protocols) that the pulses found by the optimization algorithms belong to the same \textit{family} of solutions and thus show resemblance. Interpolation between two pulses of differing solution families often leads to high infidelities, as the pulse strays away from the minimum in the parameter/fidelity landscape. In this work, we introduce a \textit{spectral clustering} method to sort high-fidelity, optimized pulses in families, and interpolating solely between pulses of the same family. Accordingly, interpolations will always approach maximal fidelity. Furthermore, as more than one pulse family is constructed, the parameter space can be partitioned according to which family prevails fidelity-wise. This work provides a meticulous demonstration of our constitutive continuous gate family construction by applying it to a universal gate set for Rydberg and Cat qubits under noise.

quant-ph↗

Free-abelian by free groups: homomorphisms and algorithmic explorations

We obtain an explicit description of the endomorphisms of free-abelian by free groups together with a characterization of when they are injective and surjective. As a consequence we see that free-abelian by free groups are Hopfian and not coHopfian, and we investigate the isomorphism problem and the Brinkmann Problem for this family of groups. In particular, we prove that the isomorphism problem (undecidable in general) is decidable when restricted to finite actions, and that the Brinkmann Problem is decidable both for monomorphisms and automorphisms.

math.GR↗

Subsets of groups in public-key cryptography

We suggest the usage of algebraic subsets instead of subgroups in public-key cryptography. In particular, we present the subset version of two protocols introduced by Shpilrain and Ushakov with some examples in ascending HNN-extensions of free-abelian groups and discuss their resistance to length and distance based attacks. We also introduce several new group theoretic problems arising from this work.

math.GR↗

Algebraic and context-free subsets of subgroups

We study the relation between the structure of algebraic and context-free subsets of a group G and that of a finite index subgroup H. Using these results, we prove that a kind of Fatou property, previously studied by Berstel and Sakarovitch in the context of rational subsets and by Herbst in the context of algebraic subsets, holds for context-free subsets if and only if the group is virtually free. We also exhibit a counterexample to a question of Herbst concerning this property for algebraic subsets.

math.GR↗

Computing centralizers in [f.g. free]-by-cyclic groups

We prove that centralizers of elements in [f.g. free]-by-cyclic groups are computable. As a corollary we get that, given two conjugate elements in a [f.g. free]-by-cyclic group, the set of conjugators can be computed and that the conjugacy problem with context-free constraints is decidable. In the end, we pose several problems arising naturally from this work.

math.GR↗

On the intersection of fixed subgroups of $F_n\times F_m$

We prove that, although it is undecidable if a subgroup fixed by an automorphism intersects nontrivially an arbitrary subgroup of $F_n\times F_m$, there is an algorithm that, taking as input a monomorphism and an endomorphism of $F_n\times F_m$, decides whether their fixed subgroups intersect nontrivially. The general case of this problem, where two arbitrary endomorphisms are given as input remains unknown. We show that, when two endomorphisms of a certain type are given as input, this problem is equivalent to the Post Correspondence Problem for free groups.

math.GR↗

Quantifying Brinkmann's problem: relative $φ$-order and $φ$-spectrum

We prove that the stable image of an endomorphism of a virtually free group is computable. For an endomorphism $φ$, an element $x\in G$ and a subset $K\subseteq G$, we say that the relative $φ$-order of $g$ in $K$, $φ\text{-ord}_K(g)$, is the smallest nonnegative integer $k$ such that $gφ^k\in K$. We prove that the set of orders, which we call $φ$-spectrum, is computable in two extreme cases: when $K$ is a finite subset and when $K$ is a recognizable subset. The finite case is proved for virtually free groups and the recognizable case for finitely presented groups. The case of finitely generated virtually abelian groups and some variations of the problem are also discussed.

math.GR↗

On generalized conjugacy and some related problems

We establish a connection between the generalized conjugacy problem for a $G$-by-$\mathbb{Z}$ group, $GCP(G \rtimes \mathbb{Z})$, and two algorithmic problems for $G$: the generalized Brinkmann's conjugacy problem, $GBrCP(G)$, and the generalized twisted conjugacy problem, $GTCP(G)$. We explore this connection for generalizations of different kinds: relative to finitely generated subgroups, to theirs cosets, or to recognizable, rational, context-free or algebraic subsets of the group. Using this result, we are able to prove that $GBrCP(G)$ is decidable (with respect to cosets) when $G$ is a virtually polycyclic group, which implies in particular that the generalized Brinkmann's equality problem, $GBrP(G)$, is decidable if $G$ is a finitely generated abelian group. Finally, we prove that if $G$ is a finitely generated virtually free group, then the simple versions of Brinkmann's equality problem and of the twisted conjugacy problem, $BrP(G)$ and $TCP(G)$, are decidable.

math.GR↗

On endomorphisms of the direct product of two free groups

We describe the endomorphisms of the direct product of two free groups of finite rank and obtain conditions for which the subgroup of fixed points is finitely generated and we do the same for periodic points. We also describe the automorphisms of such a group and solve the three Whitehead problems for automorphisms, monomorphisms and endomorphisms for groups in this class. We also obtain conditions for an endomorphism to be uniformly continuous when a suitable metric is considered and study infinite fixed points of the extension to the completion of the group.

math.GR↗

Delivering Document Conversion as a Cloud Service with High Throughput and Responsiveness

Document understanding is a key business process in the data-driven economy since documents are central to knowledge discovery and business insights. Converting documents into a machine-processable format is a particular challenge here due to their huge variability in formats and complex structure. Accordingly, many algorithms and machine-learning methods emerged to solve particular tasks such as Optical Character Recognition (OCR), layout analysis, table-structure recovery, figure understanding, etc. We observe the adoption of such methods in document understanding solutions offered by all major cloud providers. Yet, publications outlining how such services are designed and optimized to scale in the cloud are scarce. In this paper, we focus on the case of document conversion to illustrate the particular challenges of scaling a complex data processing pipeline with a strong reliance on machine-learning methods on cloud infrastructure. Our key objective is to achieve high scalability and responsiveness for different workload profiles in a well-defined resource budget. We outline the requirements, design, and implementation choices of our document conversion service and reflect on the challenges we faced. Evidence for the scaling behavior and resource efficiency is provided for two alternative workload distribution strategies and deployment configurations. Our best-performing method achieves sustained throughput of over one million PDF pages per hour on 3072 CPU cores across 192 nodes.

cs.DL↗

Eventually fixed points of endomorphisms of virtually free groups

We consider the subgroup of points of finite orbit through the action of an endomorphism of a virtually free group, with particular emphasis on the subgroup of eventually fixed points, EvFix($φ$): points whose orbit contains a fixed point. We provide an algorithm to compute the subgroup of fixed points of an endomorphism of a finitely generated virtually free group and prove that finite orbits have cardinality bounded by a computable constant, which allows us to solve several algorithmic problems: deciding if $φ$ is a finite order element of End($G$), if $φ$ is aperiodic, if EvFix($φ$) is finitely generated and, in the free group case, whether EvFix($φ$) is a normal subgroup of $F_n$ or not. We also present a bound for the rank of EvFix($φ$) in case it is finitely generated.

math.GR↗

On endomorphisms of automatic groups

We propose two geometric versions of the bounded reduction property and find conditions for them to coincide. In particular, for the natural automatic structure on a hyperbolic group, the two notions are equivalent. We study endomorphisms with $L$-quasiconvex image and prove that those with finite kernel satisfy a synchronous version of the bounded reduction property. Finally, we use these techniques to prove $L$-quasiconvexity of the equalizer of two endomorphisms under certain (strict) conditions.

math.GR↗

On the dynamics of extensions of free-abelian times free groups endomorphisms to the completion

We obtain conditions of uniform continuity for endomorphisms of free-abelian times free groups for the product metric defined by taking the prefix metric in each component and establish an equivalence between uniform continuity for this metric and the preservation of a coarse-median, which was recently introduced by Fioravanti. Considering the extension of an endomorphism to the completion we count the number of orbits for the action of the subgroup of fixed points (resp. periodic) points on the set of infinite fixed (resp. periodic) points. Finally, we study the dynamics of infinite points: for some endomorphisms, defined in a precise way, fitting a classification given by Delgado and Ventura, we prove that every infinite point is either periodic or wandering, which implies that the dynamics is asymptotically periodic. We also prove the latter for the case of automorphisms.

math.GR↗

On uniformly continuous endomorphisms of hyperbolic groups

We prove a generalization of the fellow traveller property for a certain type of quasi-geodesics and use it to present three equivalent geometric formulations of the bounded reduction property and prove that it is equivalent to preservation of a coarse median. We then provide an affirmative answer to a question from Araújo and Silva as to whether every nontrivial uniformly continuous endomorphism of a hyperbolic group with respect to a visual metric satisfies a Hölder condition. We remark that these results combined with the work done by Paulin prove that every endomorphism admitting a continuous extension to the completion has a finitely generated fixed point subgroup.

math.GR↗

Transfer Learning for Algorithm Recommendation

Meta-Learning is a subarea of Machine Learning that aims to take advantage of prior knowledge to learn faster and with fewer data [1]. There are different scenarios where meta-learning can be applied, and one of the most common is algorithm recommendation, where previous experience on applying machine learning algorithms for several datasets can be used to learn which algorithm, from a set of options, would be more suitable for a new dataset [2]. Perhaps the most popular form of meta-learning is transfer learning, which consists of transferring knowledge acquired by a machine learning algorithm in a previous learning task to increase its performance faster in another and similar task [3]. Transfer Learning has been widely applied in a variety of complex tasks such as image classification, machine translation and, speech recognition, achieving remarkable results [4,5,6,7,8]. Although transfer learning is very used in traditional or base-learning, it is still unknown if it is useful in a meta-learning setup. For that purpose, in this paper, we investigate the effects of transferring knowledge in the meta-level instead of base-level. Thus, we train a neural network on meta-datasets related to algorithm recommendation, and then using transfer learning, we reuse the knowledge learned by the neural network in other similar datasets from the same domain, to verify how transferable is the acquired meta-knowledge.

cs.LG↗