Showing 20 papers (Total: 84253 papers, 48533 authors in database)
Motzkin Numbers: an Operational Point of View
The Motzkin numbers can be derived as coefficients of hybrid polynomials. Such an identification allows the derivation of new identities for this family of numbers and offers a tool to investigate previously unnoticed links with the theory of special functions and with the relevant treatment in terms of operational means. The use of umbral methods opens new directions for further developments and generalizations, which leads, e.g., to the identification of new Motzkin associated forms.
The unit theorem for finite-dimensional algebras
Published
• View Publication
• BIB
The "unit theorem" to which the present mini-course is devoted is a theorem from algebra that has a combinatorial flavour, and that originated in fact from algebraic combinatorics. Beyond a proof, the course also addresses applications, one of which is a proof of the normal basis theorem from Galois theory.
Linearly many rainbow trees in properly edge-coloured complete graphs
Published
• View Publication
• BIB
A subgraph of an edge-coloured complete graph is called rainbow if all its edges have different colours. The study of rainbow decompositions has a long history, going back to the work of Euler on Latin squares. In this paper we discuss three problems about decomposing complete graphs into rainbow trees: the Brualdi-Hollingsworth Conjecture, Constantine's Conjecture, and the Kaneko-Kano-Suzuki Conjecture. We show that in every proper edge-colouring of $K_n$ there are $10^{-6}n$ edge-disjoint spanning isomorphic rainbow trees. This simultaneously improves the best known bounds on all these conjectures. Using our method we also show that every properly $(n-1)$-edge-coloured $K_n$ has $n/9$ edge-disjoint rainbow trees, giving further improvement on the Brualdi-Hollingsworth Conjecture.
Renormalization: a quasi-shuffle approach
Published
• View Publication
• BIB
In recent years, the usual BPHZ algorithm for renormalization in perturbative quantum field theory has been interpreted, after dimensional regularization, as a Birkhoff decomposition of characters on the Hopf algebra of Feynman graphs, with values in a Rota-Baxter algebra of amplitudes. We associate in this paper to any such algebra a universal semi-group (different in nature from the Connes-Marcolli "cosmical Galois group"). Its action on the physical amplitudes associated to Feynman graphs produces the expected operations: Bogoliubov's preparation map, extraction of divergences, renormalization. In this process a key role is played by commutative and noncommutative quasi-shuffle bialgebras whose universal properties are instrumental in encoding the renormalization process.
Point-to-line polymers and orthogonal Whittaker functions
Published in Trans. Amer. Math. Soc., 371(12): 8339-8379 (2019)
• View Publication
• BIB
We study a one dimensional directed polymer model in an inverse-gamma random environment, known as the log-gamma polymer, in three different geometries: point-to-line, point-to-half line and when the polymer is restricted to a half space with end point lying free on the corresponding half line.Via the use of A.N.Kirillov's geometric Robinson-Schensted-Knuth correspondence, we compute the Laplace transform of the partition functions in the above geometries in terms of orthogonal Whittaker functions, thus obtaining new connections between the ubiquitous class of Whittaker functions and exactly solvable probabilistic models. In the case of the first two geometries we also provide multiple contour integral formulae for the corresponding Laplace transforms. Passing to the zero-temperature limit, we obtain new formulae for the corresponding last passage percolation problems with exponential weights.
Subset sum problem in polycyclic groups
Published
• View Publication
• BIB
We consider a group-theoretic analogue of the classic subset sum problem. It is known that every virtually nilpotent group has polynomial time decidable subset sum problem. In this paper we use subgroup distortion to show that every polycyclic non-virtually-nilpotent group has NP-complete subset sum problem.
Distributed Distance-Bounded Network Design Through Distributed Convex Programming
Solving linear programs is often a challenging task in distributed settings. While there are good algorithms for solving packing and covering linear programs in a distributed manner (Kuhn et al.~2006), this is essentially the only class of linear programs for which such an algorithm is known. In this work we provide a distributed algorithm for solving a different class of convex programs which we call "distance-bounded network design convex programs". These can be thought of as relaxations of network design problems in which the connectivity requirement includes a distance constraint (most notably, graph spanners). Our algorithm runs in $O( (D/ε) \log n)$ rounds in the $\mathcal{LOCAL}$ model and finds a $(1+ε)$-approximation to the optimal LP solution for any $0 < ε\leq 1$, where $D$ is the largest distance constraint. While solving linear programs in a distributed setting is interesting in its own right, this class of convex programs is particularly important because solving them is often a crucial step when designing approximation algorithms. Hence we almost immediately obtain new and improved distributed approximation algorithms for a variety of network design problems, including Basic $3$- and $4$-Spanner, Directed $k$-Spanner, Lowest Degree $k$-Spanner, and Shallow-Light Steiner Network Design with a spanning demand graph. Our algorithms do not require any "heavy" computation and essentially match the best-known centralized approximation algorithms, while previous approaches which do not use heavy computation give approximations which are worse than the best-known centralized bounds.
Ordered p-median problems with neighborhoods
Published
• View Publication
• BIB
In this paper, we introduce a new variant of the $p$-median facility location problem in which it is assumed that the exact location of the potential facilities is unknown. Instead, each of the facilities must be located in a region around their initially assigned location (the neighborhood). In this problem, two main decisions have to be made simultaneously: the determination of the potential facilities that must be open to serve the demands of the customers and the location of the open facilities in their neighborhoods, at global minimum cost. We present several mixed integer non-linear programming formulations for a wide family of objective functions which are common in Location Analysis: ordered median functions. We also develop two math-heuristic approaches for solving the problem. We report the results of extensive computational experiments.
Toward the Schur expansion of Macdonald polynomials
Published
• View Publication
• BIB
We give an explicit combinatorial formula for the Schur expansion of Macdonald polynomials indexed by partitions with second part at most two. This gives a uniform formula for both hook and two column partitions. The proof comes as a corollary to the result that generalized dual equivalence classes of permutations are unions of standard dual equivalence classes of permutations for certain cases, establishing an earlier conjecture of the author.
On Helmholtz free energy for finite abstract simplicial complexes
We prove a Gauss-Bonnet formula X(G) = sum_x K(x), where K(x)=(-1)^dim(x) (1-X(S(x))) is a curvature of a vertex x with unit sphere S(x) in the Barycentric refinement G1 of a simplicial complex G. K(x) is dual to (-1)^dim(x) for which Gauss-Bonnet is the definition of Euler characteristic X. Because the connection Laplacian L'=1+A' of G is unimodular, where A' is the adjacency matrix of of the connection graph G', the Green function values g(x,y) = (1+A')^-1_xy are integers and 1-X(S(x))=g(x,x). Gauss-Bonnet for K^+ reads therefore as str(g)=X(G), where str is the super trace. As g is a time-discrete heat kernel, this is a cousin to McKean-Singer str(exp(-Lt)) = X(G) for the Hodge Laplacian L=dd^* +d^*d which lives on the same Hilbert space than L'. Both formulas hold for an arbitrary finite abstract simplicial complex G. Writing V_x(y)= g(x,y) for the Newtonian potential of the connection Laplacian, we prove sum_y V_x(y) = K(x), so that by the new Gauss-Bonnet formula, the Euler characteristic of G agrees with the total potential theoretic energy sum_x,y g(x,y)=X(G) of G. The curvature K now relates to the probability measure p minimizing the internal energy U(p)=sum_x,y g(x,y) p(x) p(y) of the complex. Since both the internal energy (here linked to topology) and Shannon entropy are natural and unique in classes of functionals, we then look at critical points p the Helmholtz free energy F(p)=(1-T) U(p)-T S(p) which combines the energy functional U and the entropy functional S(p)=-sum_x p(x) log(p(x)). As the temperature T changes, we observe bifurcation phenomena. Already for G=K_3 both a saddle node bifurcation and a pitchfork bifurcation occurs. The saddle node bifurcation leads to a catastrophe: the function T -> F(p(T),T) is discontinuous if p(T) is a free energy minimizer.
Connected Dominating Sets in Graphs With Stability Number Three
In the special case of graphs G of independence number a(G)=3 without induced chordless cycles C7 it is shown that exists connected dominating set D of vertices with number of vertices n(D)<=4. Using the concept of connected dominating sets, we defined a new invariant h(G) that does not exceed the number of Hadwiger. For the considered graphs it is shown that h(G)>=n(G)/4.
On the normalized Laplacian spectra of some subdivision joins of two graphs
For two simple graphs $G_1$ and $G_2$, we denote the subdivision-vertex join and subdivision-edge join of $G_1$ and $G_2$ by $G_1\dot{\vee}G_2$ and $G_1\veebar G_2$, respectively. This paper determines the normalized Laplacian spectra of $G_1\dot{\vee}G_2$ and $G_1\veebar G_2$ in terms of these of $G_1$ and $G_2$ whenever $G_1$ and $G_2$ are regular. As applications, we construct some non-regular normalized Laplacian cospectral graphs. Besides we also compute the number of spanning trees and the degree-Kirchhoff index of $G_1\dot{\vee}G_2$ and $G_1\veebar G_2$ for regular graphs $G_1$ and $G_2$.
Cyclohedron and Kantorovich-Rubinstein polytopes
We show that the cyclohedron (Bott-Taubes polytope) $W_n$ arises as the dual of a Kantorovich-Rubinstein polytope $KR(ρ)$, where $ρ$ is a quasi-metric (asymmetric distance function) satisfying strict triangle inequality. From a broader perspective, this phenomenon illustrates the relationship between a nestohedron $Δ_{\mathcal{\widehat{F}}}$ (associated to a building set $\mathcal{\widehat{F}}$) and its non-simple deformation $Δ_{\mathcal{F}}$, where $\mathcal{F}$ is an `irredundant' or `tight basis' of $\mathcal{\widehat{F}}$. Among the consequences are a new proof of a recent result of Gordon and Petrov (arXiv:1608.06848 [math.CO]) about $f$-vectors of generic Kantorovich-Rubinstein polytopes and an extension of a theorem of Gelfand, Graev, and Postnikov, about triangulations of the type A, positive root polytopes.
Automated positive part extraction for lattice path generating functions in the octant
Published
• View Publication
• BIB
The question of classifying the nature of the generating functions of restricted lattice walks has enjoyed much attention in past years. We prove that a certain class of octant walks have a D-finite generating function using the theory of multivariate formal Laurent series.
A note on Hindman-type theorems for uncountable cardinals
Published
• View Publication
• BIB
Recent results of Hindman, Leader and Strauss and of Fernández-Bretón and Rinot showed that natural versions of Hindman's Theorem fail {\em for all} uncontable cardinals. On the other hand, Komjáth proved a result in the positive direction, showing that {\em there are} arbitrarily large abelian groups satisfying {\em some} Hindman-type property. In this note we show how a family of natural Hindman-type theorems for uncountable cardinals can be obtained by adapting some recent results of the author from their original countable setting. We also show how lower bounds for {\em some} of the variants considered can be obtained.
Towards an orbifold generalization of Zvonkine's $r$-ELSV formula
Published in Trans. Amer. Math. Soc. 372 (2019), no. 6, 4447-4469
• View Publication
• BIB
We perform a key step towards the proof of Zvonkine's conjectural $r$-ELSV formula that relates Hurwitz numbers with completed $(r+1)$-cycles to the geometry of the moduli spaces of the $r$-spin structures on curves: we prove the quasi-polynomiality property prescribed by Zvonkine's conjecture. Moreover, we propose an orbifold generalization of Zvonkine's conjecture and prove the quasi-polynomiality property in this case as well. In addition to that, we study the $(0,1)$- and $(0,2)$-functions in this generalized case and we show that these unstable cases are correctly reproduced by the spectral curve initial data.
On the conversion of multivalued to Boolean dynamics
Published
• View Publication
• BIB
Results and tools on discrete interaction networks are often concerned with Boolean variables, whereas considering more than two levels is sometimes useful. Multivalued networks can be converted to partial Boolean maps, in a way that preserves the asynchronous dynamics. We investigate the problem of extending these maps to non-admissible states, i.e. states that do not have a multivalued counterpart. We observe that attractors are preserved if a stepwise version of the original function is considered for conversion. Different extensions of the Boolean conversion affect the structure of the interaction graphs in different ways. A particular technique for extending the partial Boolean conversion is identified, that ensures that feedback cycles are preserved. This property, combined with the conservation of the asymptotic behaviour, can prove useful for the application of results and analyses defined in the Boolean setting to multivalued networks, and vice versa. As a first application, by considering the conversion of a known example for the discrete multivalued case, we create a Boolean map showing that the existence of a cyclic attractor and the absence of fixed points are compatible with the absence of local negative cycles. We then state a multivalued version of a result connecting mirror states and local feedback cycles.
Geometries arising from trilinear forms on low-dimensional vector spaces
Published in Adv. Geom. 19:2 (2019), 269-290
• View Publication
• BIB
Let ${\mathcal G}_k(V)$ be the $k$-Grassmannian of a vector space $V$ with $\dim V=n$. Given a hyperplane $H$ of ${\mathcal G}_k(V)$, we define in [I. Cardinali, L. Giuzzi, A. Pasini, A geometric approach to alternating $k$-linear forms, J. Algebraic Combin. doi:10.1007/s10801-016-0730-6] a point-line subgeometry of ${\mathrm{PG}}(V)$ called the {\it geometry of poles of $H$}. In the present paper, exploiting the classification of alternating trilinear forms in low dimension, we characterize the possible geometries of poles arising for $k=3$ and $n\leq 7$ and propose some new constructions. We also extend a result of [J.Draisma, R. Shaw, Singular lines of trilinear forms, Linear Algebra Appl. doi:10.1016/j.laa.2010.03.040] regarding the existence of line spreads of ${\mathrm{PG}}(5,{\mathbb K})$ arising from hyperplanes of ${\mathcal G}_3(V).$
Point-hyperplane frameworks, slider joints, and rigidity preserving transformations
Published
• View Publication
• BIB
A one-to-one correspondence between the infinitesimal motions of bar-joint frameworks in $\mathbb{R}^d$ and those in $\mathbb{S}^d$ is a classical observation by Pogorelov, and further connections among different rigidity models in various different spaces have been extensively studied. In this paper, we shall extend this line of research to include the infinitesimal rigidity of frameworks consisting of points and hyperplanes. This enables us to understand correspondences between point-hyperplane rigidity, classical bar-joint rigidity, and scene analysis.
Among other results, we derive a combinatorial characterization of graphs that can be realized as infinitesimally rigid frameworks in the plane with a given set of points collinear. This extends a result by Jackson and Jordán, which deals with the case when three points are collinear.
On the dimension of downsets of integer partitions and compositions
We characterize the downsets of integer partitions (ordered by containment of Ferrers diagrams) and compositions (ordered by the generalized subword order) which have finite dimension in the sense of Dushnik and Miller. In the case of partitions, while the set of all partitions has infinite dimension, we show that every proper downset of partitions has finite dimension. For compositions we identify four minimal downsets of infinite dimension and establish that every downset which does not contain one of these four has finite dimension.