Showing 20 papers (Total: 81564 papers, 47262 authors in database)
Domino Tilings, Domino Shuffling, and the Nabla Operator
We study domino tilings of certain regions $R_λ$, indexed by partitions $λ$, weighted according to generalized area and dinv statistics. These statistics arise from the $q,t$-Catalan combinatorics and Macdonald polynomials. We present a formula for the generating polynomial of these domino tilings in terms of the Bergeron--Garsia nabla operator. When $λ= (n^n)$ is a square shape, domino tilings of $R_λ$ are equivalent to those of the Aztec diamond of order $n$. In this case, we give a new product formula for the resulting polynomials by domino shuffling and its connection with alternating sign matrices. In particular, we obtain a combinatorial proof of the joint symmetry of the generalized area and dinv statistics.
On decoding hyperbolic codes
This work studies several decoding algorithms for hyperbolic codes. We use some previous ideas to describe how to decode a hyperbolic code using the largest Reed-Muller code contained in it or using the smallest Reed-Muller code that contains it. A combination of these two algorithms is proposed when hyperbolic codes are defined by polynomials in two variables. Then, we compare hyperbolic codes and Cube codes (tensor product of Reed-Solomon codes) and propose decoding algorithms of hyperbolic codes based on their closest Cube codes. Finally, we adapt to hyperbolic codes the Geil and Matsumoto's generalization of Sudan's list decoding algorithm.
Quantum circuit for exponentiation of Hamiltonians: an algorithmic description based on tensor products
Exponentiation of Hamiltonians refers to a mathematical operation to a Hamiltonian operator, typically in the form e^(-i.t.H), where H is the Hamiltonian and t is a time parameter. This operation is fundamental in quantum mechanics, particularly to evolve quantum systems over time according to the Schrodinger equation.
In quantum algorithms, such as Adiabatic methods and QAOA, exponentiation enables efficient simulation of a system dynamics.
It involves constructing quantum circuits that approximate this exponential operation. When H=\sum_(p=1)^n H_p , each H_p is defined using the Pauli operator basis, which includes the well-known X, Y, Z and Id gates, i.e., H_p=U_1\otimes U_2\otimes \otimes U_n and U_k\in{Id,X,Y,Z}. In this article, we explore the exponentiation of H_p, specifically e^(-i.t.U_1 \otimes U_2\otimes \otimes U_n ), by introducing an algorithmic approach. We demonstrate a straightforward and efficient method to construct compact circuits that are easy to implement.
The typical structure of dense claw-free graphs
We analyze the asymptotic number and typical structure of claw-free graphs at constant edge densities. The first of our main results is a formula for the asymptotics of the logarithm of the number of claw-free graphs of edge density $γ\in (0,1)$. We show that the problem exhibits a second-order phase transition at edge density $γ^\ast=\frac{5-\sqrt{5}}{4}$. The asymptotic formula arises by solving a variational problem over graphons. For $γ\geqγ^\ast$ there is a unique optimal graphon, while for $γ<γ^\ast$ there is an infinite set of optimal graphons. By analyzing more detailed structure, we prove that for $γ<γ^\ast$, there is in fact a unique graphon $W$ such that almost all claw-free graphs at edge density $γ$ are close in cut metric to $W$. We also analyze the probability of claw-freeness in the Erdős-Rényi random graph $G(n,p)$ for constant $p$, obtaining a formula for the large-deviation rate function for claw-freeness. In this case, the problem exhibits a first-order phase transition at $p^\ast=\frac{3-\sqrt{5}}{2}$, separating distinct structural regimes. At the critical point $p^\ast$, the corresponding graphon variational problem has infinitely many solutions, and we again pinpoint a unique optimal graphon that describes the typical structure of $G(n,p^\ast)$ conditioned on being claw-free.
"Overpartitionized" Rogers--Ramanujan type identities
Many classical $q$-series identities, such as the Rogers--Ramanujan identities, yield combinatorial interpretations in terms of integer partitions. Here we consider algebraically manipulating some of the classical $q$-series to yield natural combinatorial interpretations in terms of overpartitions. Bijective proofs are supplied as well.
Convex Lattice Polygons with $k\ge3$ Interior Points
We study the geometry of convex lattice $n$-gons with $n$ boundary lattice points and $k\geq 3$ collinear interior lattice points. We describe a process to construct a primitive lattice triangle from an edge of a convex lattice $n$-gon, hence adding one edge in a way so that the number of boundary points increases by $1$, while the number of interior points remains unchanged. We also present the necessary conditions to construct such a primitive lattice triangle, as well as an upper bound for the number of times this is possible. Finally, we apply the previous results to fully classify the positive integers for which there exists a convex $n$-gon with $k$ collinear and non-collinear interior points.
An exact closed walks series formula for the complexity of regular graphs and some related bounds
The complexity of a graph is the number of its labeled spanning trees. In this work complexity is studied in settings that admit regular graphs. An exact formula is established linking complexity of the complement of a regular graph to numbers of closed walks in the graph by way of an infinite alternating series. Some consequences of this result yield infinite classes of lower and upper bounds on the complexity of such graphs. Applications of these mathematical results to biological problems on neuronal activity are described.
Kohnert posets and polynomials of northeast diagrams
Kohnert polynomials and their associated posets are combinatorial objects with deep geometric and representation theoretic connections, generalizing both Schubert polynomials and type A Demazure characters. In this paper, we explore the properties of Kohnert polynomials and their posets indexed by northeast diagrams. We give separate classifications of the bounded, ranked, and multiplicity-free Kohnert posets for northeast diagrams, each of which can be computed in polynomial time with respect to the number of cells in the diagram. As an initial application, we specialize these classifications to simple criteria in the case of lock diagrams.
Experimenting with the Garsia-Milne Involution Principle
Published in SIGMA 21 (2025), 015, 6 pages
• View Publication
• BIB
In 1981, Adriano Garsia and Steve Milne found the first bijective proof of the celebrated Rogers-Ramanujan identities. To achieve this feat, they invented a versatile tool that they called the Involution Principle. In this note we revisit this useful principle from a very general perspective, independent of its application to specific combinatorial identities, and will explore its complexity.
Homogeneous Patterns in Ramsey Theory
In this article, we investigate homogeneous versions of certain nonlinear Ramsey-theoretic results, with three significant applications.
As the first application, we prove that for every finite coloring of $\mathbb{Z}^+$, there exist an infinite set $A$ and an arbitrarily large finite set $B$ such that $A \cup (A+B) \cup A \cdot B$ is monochromatic. This result resolves the finitary version of a question posed by Kra, Moreira, Richter, and Robertson regarding the partition regularity of $(A+B) \cup A \cdot B$ for infinite sets $A, B$ (see (Question 8.4, J. Amer. Math. Soc., 37 (2024))), which is closely related to a question of Erdős.
As the second application, we make progress on a nonlinear extension of the partition regularity of Pythagorean triples. Specifically, we demonstrate that the equation $x^2 + y^2 = z^2 + P(u_1, \dots, u_n)$ is $2$-regular for certain appropriately chosen polynomials $P$ of any desired degree.
Finally, as the third application, we establish a nonlinear variant of Rado's conjecture concerning the degree of regularity. We prove that for every $m, n \in \mathbb{Z}^+$, there exists an $m$-degree homogeneous equation that is $n$-regular but not $(n+1)$-regular. The case $m = 1$ corresponds to Rado's conjecture, originally proven by Alexeev and Tsimerman (J. Combin. Theory Ser. A, 117 (2010), and later independently by Golowich (Electron. J. Combin. 21 (2014)).
Matrix Formulation of Moreira Theorem
In a celebrated article, Moreira proved for every finite coloring of the set of naturals, there exists a monochromatic copy of the form $\{x,x+y,xy\},$ which gives a partial answer to one of the central open problems of Ramsey theory asking whether $\{x,y,x+y,xy\}$ is partition regular. In this article, we prove the matrix version of the Moreira theorem. We prove that if $A$ and $B$ are two finite image partition regular matrices of the same order, then for every finite coloring of the set of naturals, there exist two vectors $\overrightarrow{X}, \overrightarrow{Y}$ such that $\{A\overrightarrow{X}, A\overrightarrow{X}+B\overrightarrow{Y}, A \overrightarrow{X}\cdot B\overrightarrow{Y}\}$ is monochromatic, where addition and multiplication are defined coordinate-wise.
Multiplicative irreducibility of small perturbations of the set of shifted $k$-th powers
Published in Combinatorica 46 (2026), no. 1, Paper No. 1, 8pp
• View Publication
• BIB
Motivated by a conjecture of Erdős on the additive irreducibility of small perturbations of the set of squares, recently Hajdu and Sárközy studied a multiplicative analogue of the conjecture for shifted $k$-th powers. They conjectured that for each $k\geq 2$, if one changes $o(X^{1/k})$ elements of $M_k'=\{x^k+1: x \in \mathbb{N}\}$ up to $X$, then the resulting set cannot be written as a product set $AB$ nontrivially. In this paper, we confirm a more general version of their conjecture for $k\geq 3$.
Grothendieck positivity for normal square root crystals
Normal crystals (also known as Stembridge crystals) are commonly used to establish the Schur positivity of symmetric functions, as their characters are sums of Schur polynomials. In this paper, we develop a combinatorial framework for a novel family of objects called normal square root crystals, which are closely related to symmetric Grothendieck functions, the $K$-theoretic analogue of Schur functions. Among other applications, this tool leads to a new proof of Buch's combinatorial rule for the multiplication of symmetric Grothendieck functions. The definition of a normal square root crystal, originally formulated by the first two authors, largely mirrors that of normal crystals. Our main result is to show that the character of such a crystal is always a sum of symmetric Grothendieck polynomials. The proof relies on an unexpected connection between the raising operators for our crystals and the Hecke insertion algorithm developed by Buch, Kresch, Shimozono, Tamvakis, and Yong.
On the Hilbert depth of the quotient ring of the edge ideal of a star graph
Let $S_n=K[x_1,\ldots,x_n,y]$ and $I_n=(x_1y,x_2y,\ldots,x_ny)\subset S_n$ be the edge ideal of star graph. We prove that $\operatorname{hdepth}(S_n/I_n)\geq \left\lceil \frac{n}{2} \right\rceil + \left\lfloor \sqrt{n} \right\rfloor - 2$. Also, we show that for any $\varepsilon>0$, there exists some integer $A=A(\varepsilon)\geq 0$ such that $\operatorname{hdepth}(S_n/I_n)\leq \left\lceil \frac{n}{2} \right\rceil + \left\lfloor \varepsilon n \right\rfloor + A - 2$. We deduce that $\lim\limits_{n\to\infty} \frac{1}{n}\operatorname{hdepth}(S_n/I_n) = \frac{1}{2}$.
Probabilistic results on the $2$-adic complexity
This work is devoted to solving some closely related open problems on the average and asymptotic behavior of the $2$-adic complexity of binary sequences. First, for fixed $N$, we prove that the expected value $E^{\mathrm{2-adic}}_N$ of the $2$-adic complexity over all binary sequences of length $N$ is close to $\frac{N}{2}$ and the deviation from $\frac{N}{2}$ is at most of order of magnitude $\log(N)$. More precisely, we show that
$$\frac{N}{2}-1 \le E^{\mathrm{2-adic}}_N= \frac{N}{2}+O(\log(N)).$$
We also prove bounds on the expected value of the $N$th rational complexity.
Our second contribution is to prove for a random binary sequence $\mathcal{S}$ that the $N$th $2$-adic complexity satisfies with probability $1$ $$ λ_{\mathcal{S}}(N)=\frac{N}{2}+O(\log(N)) \quad \mbox{for all $N$}. $$
Water transport on finite graphs
Consider a simple finite graph and its nodes to represent identical water barrels (containing different amounts of water) on a level plane. Each edge corresponds to a (locked, water-filled) pipe connecting two barrels below the plane. We fix one node $v$ and consider the optimization problem relating to the maximum value to which the level in $v$ can be raised without pumps, i.e. by opening/closing pipes in a suitable order. This fairly natural optimization problem originated from the analysis of an opinion formation process and proved to be not only sufficiently intricate in order to be of independent interest, but also difficult from an algorithmic point of view.
Partitioning a graph into $Δ$-convex sets of graphs and graph products
Given a graph $G$ and a set $S \subseteq V(G)$, we say that $S$ is $Δ$-convex if the neighborhood of every vertex not in $S$ is an independent set. A collection ${\cal V} = (V_1, V_2, \ldots , V_p)$ of convex sets of $G$ is a convex $p$-cover if $V(G) = \underset{1 \leq i \leq p}{\bigcup} V_i$ and $V_i \nsubseteq {\underset{1 \leq j \leq p, j\ne i}{\bigcup}} V_j$ for $i \in \{1, \ldots, p\}$. If the convex sets of ${\cal V}$ are pairwise disjoint, ${\cal V}$ is a convex $p$-partition of $V(G)$. The convex cover number $φ_c(G)$ (the convex partition number $Θ_c(G)$) of a graph $G$ is the least integer $p \geq 2$ for which $G$ has a convex $p$-cover (convex $p$-partition). In this work, we prove that the {\sc Convex p-cover} and {\sc Convex p-Partition} problems are \NP-complete for any fixed $p \ge 4$ in $Δ$-convexity. Furthermore, for the three standard graph products, namely, the Cartesian, strong and lexicographic products, we determine these parameters for some cases and present bounds for others.
Emergence of network communities driven by local rules
Published in Phys. Rev. E 111, 064314 (2025)
• View Publication
• BIB
Natural systems are modeled by networks with nodes and links. Often the nodes are segregated into communities with different connectivity patterns. Node heterogeneity such as political affiliation in social networks or biological function in gene networks are highlighted as key factors driving the segregation of nodes into communities. Here, by means of numerical simulations, I show that node heterogeneity is not a necessary requirement. To this end I introduce the Ramsey community number, $r_ κ$, the minimum graph size that warranties the emergence of network communities with almost certainty. Using the stochastic block model and Infomap methods for community detection, I show that networks generated by local rules have finite $r_ κ$ values while their randomized versions do not have emergent communities. I conjecture that network communities are an emergent property of networks evolving with local rules.
Distribution of Alternating Sums of Parts in Partitions
Recently, many authors have investigated how various partition statistics distribute as the size of the partition grows. In this work, we look at a particular statistic arising from the recent rejuvenation of MacMahon's partition analysis. More specifically, we compute all the moments of the alternating sum statistic for partitions. We prove this results using the Circle Method. We also propose a general framework for studying further questions of this type that may avoid some of the complications that arise in traditional approaches to the distributions of partition statistics, and we comment on the utility, comparative ease and opportunities to generalize to very broad settings.
Lifting Voltages in Graph Covers
We consider voltage digraphs, here referred to as graphs, whose edges are labeled with elements from a given group, and explore their derived graphs. Given two voltage graphs, with voltages in abelian groups, we establish a necessary and sufficient condition for their two derived graphs to be isomorphic. This condition requires: (1) the existence of a voltage graph that covers both given graphs, and (2) when the two sets of voltages are lifted to the common cover, the correspondence between these sets of voltages determines an isomorphism between the groups generated by these voltages. We show that conditions (1) and (2) are decidable, and provide a method for constructing the common cover and for lifting the voltage assignments.