Source author record

Andrea Sportiello

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

ResearcherUnclaimed source record

Catalog footprint

What is connected

21works
15topics
4close collaborators

Actions

Connect this record

Log in to claim

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

21 published item(s)

preprint2020arXiv

The Dyck bound in the concave 1-dimensional random assignment model

We consider models of assignment for random $N$ blue points and $N$ red points on an interval of length $2N$, in which the cost for connecting a blue point in $x$ to a red point in $y$ is the concave function $|x-y|^p$, for $0<p<1$. Contrarily to the convex case $p>1$, where the optimal matching is trivially determined, here the optimization is non-trivial. The purpose of this paper is to introduce a special configuration, that we call the \emph{Dyck matching}, and to study its statistical properties. We compute exactly the average cost, in the asymptotic limit of large $N$, together with the first subleading correction. The scaling is remarkable: it is of order $N$ for $p<\frac{1}{2}$, order $N \ln N$ for $p=\frac{1}{2}$, and $N^{\frac{1}{2}+p}$ for $p>\frac{1}{2}$, and it is universal for a wide class of models. We conjecture that the average cost of the Dyck matching has the same scaling in $N$ as the cost of the optimal matching, and we produce numerical data in support of this conjecture. We hope to produce a proof of this claim in future work.

preprint2016arXiv

Arctic curves of the six-vertex model on generic domains: the Tangent Method

We revisit the problem of determining the Arctic curve in the six-vertex model with domain wall boundary conditions. We describe an alternative method, by which we recover the previously conjectured analytic expression in the square domain. We adapt the method to work for a large class of domains, and for other models exhibiting limit shape phenomena. We study in detail some examples, and derive, in particular, the Arctic curve of the six-vertex model in a triangoloid domain at the ice-point.

preprint2016arXiv

Generalized emptiness formation probability in the six-vertex model

In the six-vertex model with domain wall boundary conditions, the emptiness formation probability is the probability that a rectangular region in the top left corner of the lattice is frozen. We generalize this notion to the case where the frozen region has the shape of a generic Young diagram. We derive here a multiple integral representation for this correlation function.

preprint2015arXiv

Complexity of Anticipated Rejection Algorithms and the Darling-Mandelbrot Distribution

We study in limit law the complexity of some anticipated rejection random sampling algorithms. We express this complexity in terms of a probabilistic process, the threshold sum process. We show that, under the right conditions, the complexity is linear and admits as a limit law a so-called Darling-Mandelbrot distribution, studied by Darling (Trans Am Math Soc 73:95-107, 1952) and Lew (Constr Approx 10(1):15-30, 1994). We also give an explicit form to the density of the Darling-Mandelbrot distribution and derive some of its analytic properties.

preprint2015arXiv

Deterministic Abelian Sandpile and square-triangle tilings

The Abelian Sandpile Model, seen as a deterministic lattice automaton, on two-dimensional periodic graphs generates complex regular patterns displaying (fractal) self-similarity. In particular, on a variety of lattices and initial conditions, at all sizes, there appears what we call an exact Sierpinski structure: the volume is filled with periodic patterns, glued together along straight lines, with the topology of a triangular Sierpinski gasket. Various lattices (square, hexagonal, kagome,...), initial conditions, and toppling rules show Sierpinski structures which are apparently unrelated and involve different mechanisms. As will be shown elsewhere, all these structures fall under one roof, and are in fact different projections of a unique mechanism pertinent to a family of deterministic surfaces in a 4-dimensional lattice. This short note gives a description of this surface, and of the combinatorics associated to its construction.

preprint2014arXiv

Correlation function for the Grid-Poisson Euclidean matching on a line and on a circle

We compute the two-point correlation function for spin configurations which are obtained by solving the Euclidean matching problem, for one family of points on a grid, and the second family chosen uniformly at random, when the cost depends on a power $p$ of the Euclidean distance. We provide the analytic solution in the thermodynamic limit, in a number of cases ($p>1$ open b.c.\ and $p=2$ periodic b.c., both at criticality), and analyse numerically other parts of the phase diagram.

preprint2013arXiv

Linear-time generation of specifiable combinatorial structures: general theory and first examples

Various specifiable combinatorial structures, with d extensive parameters, can be exactly sampled both by the recursive method, with linear arithmetic complexity if a heavy preprocessing is performed, or by the Boltzmann method, with complexity Theta(n^{1+d/2}). We discuss a modified recursive method, crucially based on the asymptotic expansion of the associated saddle-point integrals, which can be adopted for a large number of such structures (e.g. partitions, permutations, lattice walks, trees, random graphs, all with a variety of prescribed statistics and/or constraints). The new algorithm requires no preprocessing, still it has linear complexity on average. In terms of bit complexity, instead of arithmetic, we only have extra logarithmic factors. For many families of structures, this provides, at our knowledge, the only known quasi-linear generators. We present the general theory, and detail a specific example: the partitions of n elements into k non-empty blocks, counted by the Stirling numbers of the second kind. These objects are involved in the exact sampling of minimal automata with prescribed alphabet size and number of states, which is thus performed here with average Theta(n ln n) bit complexity, outbreaking all previously known Theta(n^{3/2}) algorithms.

preprint2013arXiv

Noncommutative determinants, Cauchy-Binet formulae, and Capelli-type identities II. Grassmann and quantum oscillator algebra representation

We prove that, for $X$, $Y$, $A$ and $B$ matrices with entries in a non-commutative ring such that $[X_{ij},Y_{k\ell}]=-A_{i\ell} B_{kj}$, satisfying suitable commutation relations (in particular, $X$ is a Manin matrix), the following identity holds: $ \mathrm{coldet} X \mathrm{coldet} Y = < 0 | \mathrm{coldet} (a A + X (I-a^{\dagger} B)^{-1} Y) |0 > $. Furthermore, if also $Y$ is a Manin matrix, $ \mathrm{coldet} X \mathrm{coldet} Y =\int \mathcal{D}(ψ, ψ^{\dagger}) \exp [ \sum_{k \geq 0} \frac{1}{k+1} (ψ^{\dagger} A ψ)^{k} (ψ^{\dagger} X B^k Y ψ) ] $. Notations: $ < 0 |$, $| 0 >$, are respectively the bra and the ket of the ground state, $a^{\dagger}$ and $a$ the creation and annihilation operators of a quantum harmonic oscillator, while $ψ^{\dagger}_i$ and $ψ_i$ are Grassmann variables in a Berezin integral. These results should be seen as a generalization of the classical Cauchy-Binet formula, in which $A$ and $B$ are null matrices, and of the non-commutative generalization, the Capelli identity, in which $A$ and $B$ are identity matrices and $[X_{ij},X_{k\ell}]=[Y_{ij},Y_{k\ell}]=0$.

preprint2012arXiv

A one-parameter refinement of the Razumov-Stroganov correspondence

We introduce and prove a one-parameter refinement of the Razumov-Stroganov correspondence. This is achieved for fully-packed loop configurations (FPL) on domains which generalize the square domain, and which are endowed with the gyration operation. We consider one given side of the domain, and FPLs such that the only straight-line tile on this side is black. We show that the enumeration vector associated to such FPLs, weighted according to the position of the straight line and refined according to the link pattern for the black boundary points, is the ground state of the scattering matrix, an integrable one-parameter deformation of the O(1) Dense Loop Model Hamiltonian. We show how the original Razumov-Stroganov correspondence, and a conjecture formulated by Di Francesco in 2004, follow from our results.

preprint2012arXiv

Algebraic/combinatorial proofs of Cayley-type identities for derivatives of determinants and pfaffians

The classic Cayley identity states that \det(\partial) (\det X)^s = s(s+1)...(s+n-1) (\det X)^{s-1} where X=(x_{ij}) is an n-by-n matrix of indeterminates and \partial=(\partial/\partial x_{ij}) is the corresponding matrix of partial derivatives. In this paper we present straightforward combinatorial proofs of a variety of Cayley-type identities, both old and new. The most powerful of these proofs employ Grassmann algebra (= exterior algebra) and Grassmann-Berezin integration. Among the new identities proven here are a pair of "diagonal-parametrized" Cayley identities, a pair of "Laplacian-parametrized" Cayley identities, and the "product-parametrized" and "border-parametrized" rectangular Cayley identities.

preprint2012arXiv

Exact integration of height probabilities in the Abelian Sandpile Model

The height probabilities for the recurrent configurations in the Abelian Sandpile Model on the square lattice have analytic expressions, in terms of multidimensional quadratures. At first, these quantities have been evaluated numerically with high accuracy, and conjectured to be certain cubic rational-coefficient polynomials in 1/pi. Later their values have been determined by different methods. We revert to the direct derivation of these probabilities, by computing analytically the corresponding integrals. Yet another time, we confirm the predictions on the probabilities, and thus, as a corollary, the conjecture on the average height.

preprint2012arXiv

Hydrodynamic behaviour of an Abelian Sandpile Model with Laplacian rules

We present a sandpile model, in which the instability of a site is determined also by the variables in a neighbourhood. This is a modification of the Abelian Sandpile Model, in which abelianity is preserved: it shares several mathematical properties of the original abelian model, while producing a more realistic dynamics. We show how our model presents interesting hydrodynamic features.

preprint2011arXiv

Asymptotic enumeration of Minimal Automata

We determine the asymptotic proportion of minimal automata, within n-state accessible deterministic complete automata over a k-letter alphabet, with the uniform distribution over the possible transition structures, and a binomial distribution over terminal states, with arbitrary parameter b. It turns out that a fraction ~ 1-C(k,b) n^{-k+2} of automata is minimal, with C(k,b) a function, explicitly determined, involving the solution of a transcendental equation.

preprint2011arXiv

Doubly-refined enumeration of Alternating Sign Matrices and determinants of 2-staircase Schur functions

We prove a determinantal identity concerning Schur functions for 2-staircase diagrams lambda=(ln+l',ln,l(n-1)+l',l(n-1),...,l+l',l,l',0). When l=1 and l'=0 these functions are related to the partition function of the 6-vertex model at the combinatorial point and hence to enumerations of Alternating Sign Matrices. A consequence of our result is an identity concerning the doubly-refined enumerations of Alternating Sign Matrices.

preprint2011arXiv

Multiple and inverse topplings in the Abelian Sandpile Model

The Abelian Sandpile Model is a cellular automaton whose discrete dynamics reaches an out-of-equilibrium steady state resembling avalanches in piles of sand. The fundamental moves defining the dynamics are encoded by the toppling rules. The transition monoid corresponding to this dynamics in the set of stable configurations is abelian, a property which seems at the basis of our understanding of the model. By including also antitoppling rules, we introduce and investigate a larger monoid, which is not abelian anymore. We prove a number of algebraic properties of this monoid, and describe their practical implications on the emerging structures of the model.

preprint2010arXiv

Conservation laws for strings in the Abelian Sandpile Model

The Abelian Sandpile generates complex and beautiful patterns and seems to display allometry. On the plane, beyond patches, patterns periodic in both dimensions, we remark the presence of structures periodic in one dimension, that we call strings. We classify completely their constituents in terms of their principal periodic vector k, that we call momentum. We derive a simple relation between the momentum of a string and its density of particles, E, which is reminiscent of a dispersion relation, E=k^2. Strings interact: they can merge and split and within these processes momentum is conserved. We reveal the role of the modular group SL(2,Z) behind these laws.

preprint2010arXiv

Proof of the Razumov-Stroganov conjecture

The Razumov-Stroganov conjecture relates the ground-state coefficients in the even-length dense O(1) loop model to the enumeration of fully-packed loop configuration on the square, with alternating boundary conditions, refined according to the link pattern for the boundary points. Here we prove this conjecture, by mean of purely combinatorial methods. The main ingredient is a generalization of the Wieland proof technique for the dihedral symmetry of these classes, based on the `gyration' operation, whose full strength we will investigate in a companion paper.

preprint2010arXiv

Some geometric critical exponents for percolation and the random-cluster model

We introduce several infinite families of new critical exponents for the random-cluster model and present scaling arguments relating them to the k-arm exponents. We then present Monte Carlo simulations confirming these predictions. These new exponents provide a convenient way to determine k-arm exponents from Monte Carlo simulations. An understanding of these exponents also leads to a radically improved implementation of the Sweeny Monte Carlo algorithm. In addition, our Monte Carlo data allow us to conjecture an exact expression for the shortest-path fractal dimension d_min in two dimensions: d_min = (g+2)(g+18)/(32g) where g is the Coulomb-gas coupling, related to the cluster fugacity q via q = 2 + 2 cos(gπ/2) with 2 \le g \le 4.

preprint2009arXiv

Noncommutative determinants, Cauchy-Binet formulae, and Capelli-type identities. I. Generalizations of the Capelli and Turnbull identities

We prove, by simple manipulation of commutators, two noncommutative generalizations of the Cauchy-Binet formula for the determinant of a product. As special cases we obtain elementary proofs of the Capelli identity from classical invariant theory and of Turnbull's Capelli-type identities for symmetric and antisymmetric matrices.

preprint2007arXiv

The Phase Diagram of 1-in-3 Satisfiability Problem

We study the typical case properties of the 1-in-3 satisfiability problem, the boolean satisfaction problem where a clause is satisfied by exactly one literal, in an enlarged random ensemble parametrized by average connectivity and probability of negation of a variable in a clause. Random 1-in-3 Satisfiability and Exact 3-Cover are special cases of this ensemble. We interpolate between these cases from a region where satisfiability can be typically decided for all connectivities in polynomial time to a region where deciding satisfiability is hard, in some interval of connectivities. We derive several rigorous results in the first region, and develop the one-step--replica-symmetry-breaking cavity analysis in the second one. We discuss the prediction for the transition between the almost surely satisfiable and the almost surely unsatisfiable phase, and other structural properties of the phase diagram, in light of cavity method results.