Researcher profile

Andrea Sportiello

Andrea Sportiello contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
15works
0followers
15topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

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

Published work

15 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.

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.

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 &#34;diagonal-parametrized&#34; Cayley identities, a pair of &#34;Laplacian-parametrized&#34; Cayley identities, and the &#34;product-parametrized&#34; and &#34;border-parametrized&#34; 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&#39;,ln,l(n-1)+l&#39;,l(n-1),...,l+l&#39;,l,l&#39;,0). When l=1 and l&#39;=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&#39; 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&#39;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.