Showing 1–18 of 18 results for author: Aldi, M

On the cohomology of Lie algebras associated with graphs

Authors: Marco Aldi, Andrew Butler, Jordan Gardiner, Daniele Grandini, Monica Lichtenwalner, Kevin Pan

Abstract: We describe a canonical decomposition of the cohomology of the Dani-Mainkar metabelian Lie algebras associated with graphs. As applications, we obtain explicit formulas for the third cohomology of any Dani-Mainkar Lie algebra and for the cohomology in all degrees of Lie algebras associated with arbitrary star graphs. We also describe a procedure to reduce the calculation of the cohomology of solva… ▽ More We describe a canonical decomposition of the cohomology of the Dani-Mainkar metabelian Lie algebras associated with graphs. As applications, we obtain explicit formulas for the third cohomology of any Dani-Mainkar Lie algebra and for the cohomology in all degrees of Lie algebras associated with arbitrary star graphs. We also describe a procedure to reduce the calculation of the cohomology of solvable Lie algebras associated with graphs through the Grantcharov-Grantcharov-Iliev construction to the cohomology of Dani-Mainkar Lie algebras. △ Less

Submitted 13 May, 2024; v1 submitted 21 February, 2024; originally announced February 2024.

Comments: 17 pages

A note on the shifted Courant-Nijenhuis torsion

Authors: Marco Aldi, Sergio Da Silva, Daniele Grandini

Abstract: We characterize the vanishing of the shifted Courant-Nijenhuis torsion as the strongest tensorial integrability condition that can be imposed on a skew-symmetric endomorphism of the generalized tangent bundle. We characterize the vanishing of the shifted Courant-Nijenhuis torsion as the strongest tensorial integrability condition that can be imposed on a skew-symmetric endomorphism of the generalized tangent bundle. △ Less

Submitted 8 December, 2023; originally announced December 2023.

Comments: 9 pages

Sparse systems of functions and quasi-analytic classes

Authors: Marco Aldi, Jeffrey Buffkin II, Cody Cline, Sean Cox

Abstract: We provide a new characterization of quasi-analyticity of Denjoy-Carleman classes, related to \emph{Wetzel's Problem}. We also completely resolve which Denjoy-Carleman classes carry \emph{sparse systems}: if the Continuum Hypothesis (CH) holds, \textbf{all} Denjoy-Carleman classes carry sparse systems; but if CH fails, a Denjoy-Carleman class carries a sparse system if and only if it is not quasi-… ▽ More We provide a new characterization of quasi-analyticity of Denjoy-Carleman classes, related to \emph{Wetzel's Problem}. We also completely resolve which Denjoy-Carleman classes carry \emph{sparse systems}: if the Continuum Hypothesis (CH) holds, \textbf{all} Denjoy-Carleman classes carry sparse systems; but if CH fails, a Denjoy-Carleman class carries a sparse system if and only if it is not quasi-analytic. As corollaries, we extend results of \cite{MR3552748} and \cite{CodyCoxLee} about non-existence of "anonymous predictors" for real functions. △ Less

Submitted 5 December, 2023; originally announced December 2023.

MSC Class: 03

2-step Nilpotent $L_\infty$-algebras and Hypergraphs

Authors: Marco Aldi, Samuel Bevins

Abstract: We describe a procedure to attach a nilpotent strong homotopy Lie algebra to every simple hypergraph and prove that two hypergraphs are isomorphic if and only if the corresponding strong homotopy Lie algebras are isomorphic. As an application, we characterize hypergraphs admitting a system of distinct representatives in terms of symplectic forms on the corresponding strong homotopy Lie algebra. We… ▽ More We describe a procedure to attach a nilpotent strong homotopy Lie algebra to every simple hypergraph and prove that two hypergraphs are isomorphic if and only if the corresponding strong homotopy Lie algebras are isomorphic. As an application, we characterize hypergraphs admitting a system of distinct representatives in terms of symplectic forms on the corresponding strong homotopy Lie algebra. We conclude with a combinatorial description of the cohomology of these strong homotopy Lie algebras in low degree. △ Less

Submitted 3 December, 2023; v1 submitted 27 December, 2022; originally announced December 2022.

Comments: 13 pages

Polynomial Structures in Generalized Geometry

Authors: Marco Aldi, Daniele Grandini

Abstract: On the generalized tangent bundle of a smooth manifold, we study skew-symmetric endomorphism satisfying an arbitrary polynomial equation with real constant coefficients. We study the compatibility of these structures with the de Rham operator and the Courant-Dorfman bracket. In particular we isolate several conditions that when restricted to the motivating example of generalized almost complex str… ▽ More On the generalized tangent bundle of a smooth manifold, we study skew-symmetric endomorphism satisfying an arbitrary polynomial equation with real constant coefficients. We study the compatibility of these structures with the de Rham operator and the Courant-Dorfman bracket. In particular we isolate several conditions that when restricted to the motivating example of generalized almost complex structure are equivalent to the notion of integrability. △ Less

Submitted 24 May, 2022; v1 submitted 5 June, 2021; originally announced June 2021.

Comments: 41 pages

Journal ref: Differential Geom. Appl. 84 (2022), Paper No. 101925, 38 pp

On efficiently solvable cases of Quantum k-SAT

Authors: Marco Aldi, Niel de Beaudrap, Sevag Gharibian, Seyran Saeedi

Abstract: The constraint satisfaction problems k-SAT and Quantum k-SAT (k-QSAT) are canonical NP-complete and QMA_1-complete problems (for k>=3), respectively, where QMA_1 is a quantum generalization of NP with one-sided error. Whereas k-SAT has been well-studied for special tractable cases, as well as from a parameterized complexity perspective, much less is known in similar settings for k-QSAT. Here, we s… ▽ More The constraint satisfaction problems k-SAT and Quantum k-SAT (k-QSAT) are canonical NP-complete and QMA_1-complete problems (for k>=3), respectively, where QMA_1 is a quantum generalization of NP with one-sided error. Whereas k-SAT has been well-studied for special tractable cases, as well as from a parameterized complexity perspective, much less is known in similar settings for k-QSAT. Here, we study the open problem of computing satisfying assignments to k-QSAT instances which have a "matching" or "dimer covering"; this is an NP problem whose decision variant is trivial, but whose search complexity remains open. Our results fall into three directions, all of which relate to the "matching" setting: (1) We give a polynomial-time classical algorithm for k-QSAT when all qubits occur in at most two clauses. (2) We give a parameterized algorithm for k-QSAT instances from a certain non-trivial class, which allows us to obtain exponential speedups over brute force methods in some cases. This is achieved by reducing the problem to solving for a single root of a single univariate polynomial. (3) We conduct a structural graph theoretic study of 3-QSAT interaction graphs which have a "matching". We remark that the results of (2), in particular, introduce a number of new tools to the study of Quantum SAT, including graph theoretic concepts such as transfer filtrations and blow-ups from algebraic geometry. △ Less

Submitted 31 March, 2021; v1 submitted 27 December, 2017; originally announced December 2017.

Comments: 50 pages, 19 figures, comments welcome. v2: added explicit runtime analysis for parameterized algorithm, and a family of hypergraphs on which the algorithm achieves an exponential speedup over brute force diagonalization. v3: Long published journal version (CMP 2021, open access)

Journal ref: Communications in Mathematical Physics, vol 381, 209-256 (2021). Short version in Proceedings of 43rd International Symposium on Mathematical Foundations of Computer Science (MFCS 2018)

Asymptotic Expansion of Warlimont Functions on Wright Semigroups

Authors: Marco Aldi, Hanqiu Tan

Abstract: We calculate full asymptotic expansions of prime-independent multiplicative functions on additive arithmetic semigroups that satisfy a strong form of Knopfmacher's axioms. When applied to the semigroup of unlabeled graphs, our method yields detailed asymptotic information on how graphs decompose into connected components. As a second class of examples, we discuss polynomials in several variables o… ▽ More We calculate full asymptotic expansions of prime-independent multiplicative functions on additive arithmetic semigroups that satisfy a strong form of Knopfmacher's axioms. When applied to the semigroup of unlabeled graphs, our method yields detailed asymptotic information on how graphs decompose into connected components. As a second class of examples, we discuss polynomials in several variables over a finite field. △ Less

Submitted 19 June, 2017; originally announced June 2017.

Journal ref: Involve 12 (2019) 1081-1098

Generalized Almost Product Structures and Generalized CRF-structures

Authors: Marco Aldi, Daniele Grandini

Abstract: We give several equivalent characterizations of orthogonal subbundles of the generalized tangent bundle defined, up to B-field transform, by almost product and local product structures. We also introduce a pure spinor formalism for generalized CRF-structure and investigate the resulting decomposition of the de Rham operator. As applications we give a characterization of generalized complex manifol… ▽ More We give several equivalent characterizations of orthogonal subbundles of the generalized tangent bundle defined, up to B-field transform, by almost product and local product structures. We also introduce a pure spinor formalism for generalized CRF-structure and investigate the resulting decomposition of the de Rham operator. As applications we give a characterization of generalized complex manifolds that are locally the product of generalized complex factors and discuss infinitesimal deformations of generalized CRF-structures. △ Less

Submitted 10 January, 2017; originally announced January 2017.

Arithmetical Semirings

Authors: Marco Aldi

Abstract: We study the number of connected graphs with $n$ vertices that cannot be written as the cartesian product of two graphs with fewer vertices. We give an upper bound which implies that for large $n$ almost all graphs are both connected and cartesian prime. For graphs with an even number of vertices, a full asymptotic expansion is obtained. Our method, inspired by Knopfmacher's theory of arithmetical… ▽ More We study the number of connected graphs with $n$ vertices that cannot be written as the cartesian product of two graphs with fewer vertices. We give an upper bound which implies that for large $n$ almost all graphs are both connected and cartesian prime. For graphs with an even number of vertices, a full asymptotic expansion is obtained. Our method, inspired by Knopfmacher's theory of arithmetical semigroups, is based on reduction to Wright's asymptotic expansion for the number of connected graphs with $n$ vertices. △ Less

Submitted 29 March, 2019; v1 submitted 27 May, 2016; originally announced May 2016.

Comments: 18 pages, enhanced exposition, minor corrections

Darboux Calculus

Authors: Marco Aldi, Alexander McCleary

Abstract: We introduce a formalism to analyze partially defined functions between ordered sets. We show that our construction provides a uniform and conceptual approach to all the main definitions encountered in elementary real analysis including Dedekind cuts, limits and continuity. We introduce a formalism to analyze partially defined functions between ordered sets. We show that our construction provides a uniform and conceptual approach to all the main definitions encountered in elementary real analysis including Dedekind cuts, limits and continuity. △ Less

Submitted 20 December, 2017; v1 submitted 5 May, 2016; originally announced May 2016.

Comments: 18 pages, exposition improved

Journal ref: Involve 12 (2019) 361-380

On a complex-symplectic mirror pair

Authors: Marco Aldi, Reimundo Heluani

Abstract: We study the canonical Poisson structure on the loop space of the super-double-twisted-torus and its quantization. As a consequence we obtain a rigorous construction of mirror symmetry as an intertwiner of the N=2 super-conformal structures on the super-symmetric sigma-models on the Kodaira-Thurston nilmanifold and a gerby torus of complex dimension 2. As an application we are able to identify glo… ▽ More We study the canonical Poisson structure on the loop space of the super-double-twisted-torus and its quantization. As a consequence we obtain a rigorous construction of mirror symmetry as an intertwiner of the N=2 super-conformal structures on the super-symmetric sigma-models on the Kodaira-Thurston nilmanifold and a gerby torus of complex dimension 2. As an application we are able to identify global moduli of equivariant generalized complex structures on these target spaces with moduli of equivariant orthogonal complex structures on the doubled geometry. △ Less

Submitted 7 December, 2015; originally announced December 2015.

An Abstract Morimoto Theorem for Generalized $F$-structures

Authors: Marco Aldi, Daniele Grandini

Abstract: We abstract Morimoto's construction of complex structures on product manifolds to pairs of certain generalized $F$-structures on manifolds that are not necessarily global products. As applications we characterize invariant generalized complex structures on product manifolds in which one factor is a Lie group and we generalize a theorem of Blair, Ludden and Yano on Hermitian bicontact manifolds. We abstract Morimoto's construction of complex structures on product manifolds to pairs of certain generalized $F$-structures on manifolds that are not necessarily global products. As applications we characterize invariant generalized complex structures on product manifolds in which one factor is a Lie group and we generalize a theorem of Blair, Ludden and Yano on Hermitian bicontact manifolds. △ Less

Submitted 2 July, 2015; v1 submitted 31 May, 2015; originally announced June 2015.

Comments: 26 pages

Journal ref: Q J Math (2016) 67 (2): 161-182

$p$-adic Berglund-Hübsch Duality

Authors: Marco Aldi, Andrija Peruničić

Abstract: Berglund-Hübsch duality is an example of mirror symmetry between orbifold Landau-Ginzburg models. In this paper we study a D-module-theoretic variant of Borisov's proof of Berglund-Hübsch duality. In the $p$-adic case, the D-module approach makes it possible to endow the orbifold chiral rings with the action of a non-trivial Frobenius endomorphism. Our main result is that the Frobenius endomorphis… ▽ More Berglund-Hübsch duality is an example of mirror symmetry between orbifold Landau-Ginzburg models. In this paper we study a D-module-theoretic variant of Borisov's proof of Berglund-Hübsch duality. In the $p$-adic case, the D-module approach makes it possible to endow the orbifold chiral rings with the action of a non-trivial Frobenius endomorphism. Our main result is that the Frobenius endomorphism commutes with Berglund-Hübsch duality up to an explicit diagonal operator. △ Less

Submitted 12 January, 2015; v1 submitted 17 September, 2014; originally announced September 2014.

Journal ref: Adv. Theor. Math. Phys. (2015) v. 19, no. 5, 1115-1139

Generalized Contact Geometry and T-Duality

Authors: Marco Aldi, Daniele Grandini

Abstract: We study generalized almost contact structures on odd-dimensional manifolds. We introduce a notion of integrability and show that the class of these structures is closed under symmetries of the Courant-Dorfman bracket, including T-duality. We define a notion of geometric type for generalized almost contact structures, and study its behavior under T-duality. We study generalized almost contact structures on odd-dimensional manifolds. We introduce a notion of integrability and show that the class of these structures is closed under symmetries of the Courant-Dorfman bracket, including T-duality. We define a notion of geometric type for generalized almost contact structures, and study its behavior under T-duality. △ Less

Submitted 23 November, 2014; v1 submitted 28 December, 2013; originally announced December 2013.

Comments: 26 pages. Several changes in the exposition

MSC Class: 53D18; 53Z05

Journal ref: J.Geom. Phys. 92 (2015)

Dilogarithms, OPE and twisted T-duality

Authors: Marco Aldi, Reimundo Heluani

Abstract: We study the full sigma model with target the three-dimensional Heisenberg nilmanifold by means of a Hamiltonian formulation of double field theory. We show that the expected T -duality with the sigma model on a torus endowed with H-flux is a manifest symmetry of the theory. We compute correlation functions of scalar fields and show that they exhibit dilogarithmic singularities. We show how the re… ▽ More We study the full sigma model with target the three-dimensional Heisenberg nilmanifold by means of a Hamiltonian formulation of double field theory. We show that the expected T -duality with the sigma model on a torus endowed with H-flux is a manifest symmetry of the theory. We compute correlation functions of scalar fields and show that they exhibit dilogarithmic singularities. We show how the reflection and pentagonal identities of the dilogarithm can be interpreted in terms of correlators with 4 and 5 insertions. △ Less

Submitted 21 May, 2011; originally announced May 2011.

Comments: 33 pages

Journal ref: Int. Math. Res. Not. 2014, (6): 1528-1575

Twisted Homogeneous Coordinate Rings of Abelian Surfaces via Mirror Symmetry

Authors: Marco Aldi

Abstract: In this paper we study Seidel's mirror map for abelian and Kummer surfaces. We find that mirror symmetry leads in a very natural way to the classical parametrization of Kummer surfaces in $¶^3$. Moreover, we describe a family of embeddings of a given abelian surface into noncommutative projective spaces. In this paper we study Seidel's mirror map for abelian and Kummer surfaces. We find that mirror symmetry leads in a very natural way to the classical parametrization of Kummer surfaces in $¶^3$. Moreover, we describe a family of embeddings of a given abelian surface into noncommutative projective spaces. △ Less

Submitted 25 May, 2006; v1 submitted 24 May, 2006; originally announced May 2006.

Comments: 6 pages

Journal ref: Proc. Amer. Math. Soc. 137 (2009) no. 8

Seidel's Mirror Map for Abelian Varieties

Authors: Marco Aldi, Eric Zaslow

Abstract: We compute Seidel's mirror map for abelian varieties by constructing the homogeneous coordinate rings from the Fukaya category of the symplectic mirrors. The computations are feasible as only linear holomorphic disks contribute to the Fukaya composition in the case of the planar Lagrangians used. The map depends on a symplectomorphism $ρ$ representing the large complex structure monodromy. For t… ▽ More We compute Seidel's mirror map for abelian varieties by constructing the homogeneous coordinate rings from the Fukaya category of the symplectic mirrors. The computations are feasible as only linear holomorphic disks contribute to the Fukaya composition in the case of the planar Lagrangians used. The map depends on a symplectomorphism $ρ$ representing the large complex structure monodromy. For the example of the two-torus, different families of elliptic curves are obtained by using different $ρ$ which are linear in the universal cover. In the case where $ρ$ is merely affine linear in the universal cover, the commutative elliptic curve mirror is embedded in noncommutative projective space. The case of Kummer surfaces is also considered. △ Less

Submitted 23 October, 2006; v1 submitted 12 December, 2005; originally announced December 2005.

Comments: 12 pages, final version

Journal ref: Adv. Theor. Math. Phys. 10 (2006)

Coisotropic Branes, Noncommutativity, and the Mirror Correspondence

Authors: Marco Aldi, Eric Zaslow

Abstract: We study coisotropic A-branes in the sigma model on a four-torus by explicitly constructing examples. We find that morphisms between coisotropic branes can be equated with a fundamental representation of the noncommutatively deformed algebra of functions on the intersection. The noncommutativity parameter is expressed in terms of the bundles on the branes. We conjecture these findings hold in ge… ▽ More We study coisotropic A-branes in the sigma model on a four-torus by explicitly constructing examples. We find that morphisms between coisotropic branes can be equated with a fundamental representation of the noncommutatively deformed algebra of functions on the intersection. The noncommutativity parameter is expressed in terms of the bundles on the branes. We conjecture these findings hold in general. To check mirror symmetry, we verify that the dimensions of morphism spaces are equal to the corresponding dimensions of morphisms between mirror objects. △ Less

Submitted 30 January, 2005; originally announced January 2005.

Comments: 13 pages

Journal ref: JHEP 0506 (2005) 019