math.CO ↗ arXiv
7121 papers in this category
Une curieuse égalité entre deux sommes de produits de coefficients binomiaux
We will show in this text that, for all non-negative integers $n$ and $l$, the following equality is verified: \[\sum_{i=0}^{l} {n-i \choose i}{l+i \choose 2i+1}=\sum_{i=0}^{l} {n-i \choose i-1}{l+i \choose 2i}.\] We will first address the case where $l \leq n$, for which both sums contain only classical binomial coefficients. Then, we will consider the general framework using generalized binomial coefficients.
Kronecker coefficients via the Giambelli identity for Schur functions
One of the central open problems in both algebraic combinatorics and representation theory is to find a positive combinatorial rule for Kronecker coefficients $ g_{λ\, μ\, ν}$. A notable advance in this direction is due to Blasiak, who proved a combinatorial interpretation in terms of colored Yamanouchi tableaux for the case whereby one of the indexing partitions is hook-shaped. In this paper, we introduce a framework for the evaluation and combinatorial interpretation of Kronecker coefficients, combining a Schur function identity of Littlewood, the Giambelli identity for Schur functions, and Blasiak's combinatorial rule. This framework reduces the study of Kronecker coefficients to alternating sums involving hook-indexed cases. As an application of this framework, we obtain combinatorial interpretations of $g_{t, h^{(1)}, h^{(2)}}$ for two-row partitions $t$ and hook-like partitions $h^{(1)}$ and $h^{(2)}$ satisfying natural conditions. More broadly, our approach provides a systematic method for extending hook-based combinatorial rules to wider families of Kronecker coefficients.
Weighted discrete tori and weighted trigonometric sums
In this paper, we obtain a weighted trigonometric summation formula which is an extension of the trigonometric summation formula by Grigor'yan, Lin and Yau \cite{GLY}.
Core abaci and Diophantine equations I: fundamental weight
In the light of a series of papers on moving vectors, we define and study core abaci of classical affine types for arbitrary charge. This greatly extends the concept of cores with charge zero, and make us being able to parameterize the affine Grassmannian $W^j$ by core abaci of charge $j$ for arbitrary classical affine types. By associating a core abacus $(\lam, j)$ to a weight $Λ_j-β$ and an affine Weyl group element $w_{\lam, j}$, we prove that the height of $β$ is equal to the atomic length of $w_{\lam, j}$. This solves a generalized version of the open problem raised by Brunat, Chapelier-Laget and Gerber. Moreover, Diophantine equations of classical affine types are established by using the height formula that given by Uglov vector. The solutions of certain classes of these Diophantine equations are proved to be completely parameterised by core abaci. As another application, closed formulae for computing the number of certain kinds of core abaci are given.
Eigenvalues of Hypergraph Products and Reciprocal Eigenvalue Property
Spectral hypergraph theory has recently attracted considerable interest as it provides a natural framework for modeling higher-order relationships beyond classical graphs. In this setting, eigenvalues of adjacency, Laplacian, and signless-Laplacian hypermatrices play an important role in understanding the underlying structure of hypergraphs. In this work, we study the adjacency, Laplacian, and signless-Laplacian eigenvalues of the join, Kronecker, and corona products of hypergraphs, and examine how these spectra behave under such operations. These investigations help in better understanding the interplay between hypergraph structure and spectral properties. The reciprocal eigenvalue property is of particular interest due to the spectral symmetries it reflects. Motivated by this, we extend the notion of reciprocal eigenvalue property to hypergraphs and show that power hypertrees do not satisfy this property.
Average Steps until Absorption on Random Walks on Sea Dragon Trees
For a graph $G$ and vertices $u,v$, we define the ASUA of $v$, $t(G,v,u)$, to be the average steps until absorption along a random walk terminating at $u$. We define a sea dragon to be a tree with a unique path $P$ such that if $d(u) \geq 3$ for some vertex $u$, then $u \in V(P)$. We use Markov chains to determine $t(G,v,u)$ for all vertices of several classes of sea dragons, a broad subclass of trees. Additionally, we give several results on equations related to ASUAs on general graphs.
Associated primes of powers of closed neighborhood ideals and diameters of graphs
Let $G$ be a simple connected graph and $t \ge 2$ an integer. We prove that if the maximal homogeneous ideal is an associated prime of the $t$th power of the closed neighborhood ideal of $G$, then the diameter of $G$ is at most $7t - 8$. We further show that this bound is sharp for all $t \ge 2$.
On closed Ramsey numbers of small countable ordinals
This paper is a contribution to the investigation of closed partition relations for pairs of countable ordinals. As our main result, we prove that \[ω^4 \cdot (n-2)+1 < R^{cl}(ω\cdot n+1,3)<ω^5\] for every integer $n \geq 3$. This result significantly improves the existing upper and lower bounds for these closed Ramsey numbers. In addition, we prove that \[ω^θ\nrightarrow_{cl} (ω^α,3)^2\] whenever $1 \leq α\leq θ<ω_1$ satisfy $θ< R(α,3)$. This result asymptotically improves the existing lower bounds for $R^{cl}(ω^n,3)$ and slightly strengthens the existing necessary condition for being a topological partition ordinal.
Scaling limit of Sinkhorn-rescaled Random Matrices via Stability of Static Schrödinger Bridges
We analyze the asymptotic behavior and scaling limits of large random matrices rescaled via the Sinkhorn algorithm to match prescribed row and column margins. For a random matrix with independent sub-exponential entries, we show that its Sinkhorn rescaling concentrates around the rescaling of its mean matrix, both at the level of the Schrödinger potentials and as random measures on the unit square, with explicit non-asymptotic rates. As the dimensions grow, the rescaled random matrix converges to the continuous static Schrödinger bridge (SSB) determined by the limiting margins and reference density. Around this scaling limit we develop a fluctuation theory: bulk rigidity for the empirical spectral distribution of the associated sample covariance matrix, and a central limit theorem for the empirical Schrödinger potentials of the rescaled empirical mean.
Our analysis is driven by a new quantitative stability theory for the SSB, developed in three forms: Lipschitz continuity in the Hellinger distance under perturbations of the reference measure (kernel stability); Hölder-$1/2$ continuity in the Hellinger distance under $L^1$ perturbations of the margins (margin stability); and $L^\infty$ stability of the discrete Schrödinger potentials under margin perturbation (potential stability). Translated to the discrete random-matrix setting, these bounds yield the concentration and scaling-limit results, while a local law for random Gram matrices with a non-uniform variance profile drives the bulk rigidity. Our SSB stability theory may be of independent interest.
On 132-Avoiding Permutations with an Adjacency Constraint
We study permutations in $S_n$ that simultaneously avoid the pattern $132$ and satisfy the adjacency bound $|π_{i+1} - π_i| \leq m$ for all $i$, denoting their number by $A_n^{(m)}$. This combination of a global pattern restriction and a local bounded-difference condition produces a strong structural collapse: whereas unrestricted $132$-avoiding permutations are counted by the Catalan numbers with exponential growth rate $4$, the adjacency constraint forces the maximum element $n$ to occupy only positions in $\{1, 2, \ldots, m\} \cup \{n\}$. We give a complete solution for $m = 2$ by partitioning the class according to the position of the maximum element. This yields explicit recurrences and a rational generating function, from which we derive asymptotic growth of the form $A_n^{(2)} \sim C α^n$ with $α\approx 1.4656$. We conjecture that for each fixed $m$, the class admits a finite-state structural decomposition leading to linear recurrences with constant coefficients and rational generating functions, with growth constants increasing to $4$.
Tetrahedral $L$-operators, tensor Schur polynomials and $q$-deformed loop elementary symmetric functions
We study three-dimensional partition functions constructed from the tetrahedral $L$-operator introduced and studied by Bazhanov-Sergeev and Kuniba-Maruyama-Okado. First, we explore the $q=0$ case, extending the authors' previous results and giving applications by a further analysis on the Zamolodchikov-Faddeev algebra. We introduce a class of partition functions which can be expressed as the tensor Schur polynomials, a class of products of Schur polynomials. As an application, we derive the shuffle formula for the Schur polynomials which is geometrically the pushforward formula by Joźefiak-Pragacz-Lascoux. We also give a derivation and a unification of the Gustafson-Milne and Feh{é}r--N{é}methi--Rim{á}nyi identities, and introduce a family of Laurent polynomials using divided difference operators which imitates the Schubert polynomials from the perspective of our study. We also present an application to the steady state of the multispecies totally asymmetric simple exclusion process. Second, we investigate several classes of partition functions for the generic $q$ case, and determine the explicit forms as deformations of the elementary symmetric functions. One of them can be regarded as (an extension of) a $q$-deformed loop elementary symmetric functions.
Jaeger-type orientations of random regular graphs
We consider $p$-orientations, which are defined to be orientations of $d$-regular graphs such that every vertex either has in-degree $p$ or out-degree $p$. These generalise the orientations considered in Jaeger's conjecture, where $d=4p+1$. Working with random $d$-regular graphs using the small subgraph conditioning method, we prove that a $d$-regular graph has a $p$-orientation with high probability for several values of $(d,p)$, including the $p=3,4$ cases of Jaeger's conjecture (known to be deterministically false). Some negative results are obtained by exploiting a connection with maximum bisection size.
Some New Results on Seidel Equienergetic Graphs
Published in KYUNGPOOK Math. J. 2019; 59(2): 335-340
• View Publication
• BIB
The energy of a graph $G$ is the sum of the absolute values of the eigenvalues of the adjacency matrix of $G$. Some variants of energy can also be found in the literature which are defined on the concepts of Laplacian matrix, Distance matrix, Common neighbourhood matrix and Seidel matrix. The Seidel matrix of the graph $G$ is the square matrix in which $ij^{th}$ entry is $-1$ or $1$, if the vertices $v_i$ and $v_j$ are adjacent or non-adjacent respectively, and is $0$ , if $v_i=v_j.$ The Seidel energy of $G$ is the sum of the absolute values of the eigenvalues of its Seidel matrix. We present here some graph families which are Seidel equienergetic.
Stacking and clearing in graph pebbling
Suppose that pebbles are distributed on the vertices of a graph G. A pebbling step along an edge uv removes two pebbles from u and places one pebble on v.
We introduce two new graph parameters:
stack(G): the least integer t such that every configuration with t pebbles can be transformed, by a finite sequence of pebbling steps, into a configuration with all pebbles on a single vertex.
clear(G): defined analogously, but requiring that from every configuration with t pebbles, all but one pebble can be removed.
We prove that stack(G) is defined exactly for connected graphs, and that clear(G) is defined exactly for connected non-bipartite graphs. We also establish general upper bounds for these parameters; in particular,
stack(G), clear(G) <= 2 |V(G)| 2^diam(G),
where diam(G) denotes the diameter of G.
Among our exact results are the equalities
stack(K_n) = clear(K_n) = n + 1,
stack(K_{m,n}) = 3 max{m,n} + 1,
stack(P_n) = 2^n - 1.
We also establish general lower bounds in terms of the independence number and odd closed walks.
For cycles, the situation is more delicate. We prove the lower bounds
stack(C_{2n}) >= 2^{n+1} - 1,
clear(C_{2n+1}) >= 3 * 2^n - 2,
and formulate the Almost Stacked Hypothesis, motivated by Sjostrand's cover pebbling theorem. Assuming this hypothesis, we obtain
stack(C_{2n}) = 2^{n+1} - 1,
clear(C_{2n+1}) = 3 * 2^n - 2.
At present, we do not have a conjecture for the exact value of stack(C_{2n+1}). Finally, computational evidence leads us to a conjectural closed formula for the stacking number of a tree in terms of the distances and degrees of the vertices relative to a chosen root.
Asymptotically Tight Bound for the Conflict-Free Chromatic Index
The conflict-free chromatic index of a graph $G$ is the minimum number of colours in an edge colouring of $G$ such that the neighbourhood of every edge contains a colour appearing exactly once. Its vertex analogue is the conflict-free chromatic number. These two parameters naturally coincide when the second is applied to the line graph of $G$. It is known that two variants of the latter parameter exhibit substantially different behaviour.
For closed vertex neighbourhoods, where each vertex belongs to its own neighbourhood, it is known that $O(\ln^2 Δ)$ colours suffice, where $Δ$ denotes the maximum degree of $G$, and this bound is tight in order. In contrast, for open neighbourhoods, the corresponding parameter can be as large as $Δ+1$, but is bounded above by $O(\ln^{2+\varepsilon} Δ)$ for claw-free graphs. Since line graphs are claw-free, this yields the best known general upper bound for the edge analogue in the setting of open neighbourhoods.
For closed edge neighbourhoods, a stronger general upper bound of $3\log_2 Δ+ 4$ is known. In this paper, we show that for both variants, the conflict-free chromatic index is bounded above by $(1+o(1))\log_2 Δ$. Since complete graphs require at least $(1 - o(1)) \log_2 Δ$ colours in the closed as well as the open setting, our result is asymptotically tight in order and in the leading constant. Moreover, we strengthen this conclusion by showing that $(1 - o(1)) \log_2 Δ$ colours are also typically necessary, as we prove this asymptotically almost surely for random graphs in both dense and relatively sparse regimes.
Our proofs combine the probabilistic method with deterministic graph decomposition techniques, as well as new results relating the parameters under consideration with the chromatic number of a graph.
A construction method for WZ seeds
We propose a systematic method for constructing Wilf-Zeilberger (WZ) seeds and present seven WZ seeds. We also demonstrate how to construct WZ seeds from existing ones. With these WZ seeds, several hypergeometric identities are derived. The construction can be extended to the $q$-cases, leading to the $q$-analogues of the seven WZ seeds.
On balanced biregular cages
In this paper, we introduce a problem closely related to the {\emph{Cage Problem}}. We are interested in {\emph{Balanced Biregular Cages}}, which are the smallest biregular graphs of fixed girth that have the same number of vertices of one degree as the other. We introduce the graphs and obtain lower and upper bounds for some values of degree and girth. In particular, we construct relatively small balanced biregular graphs from incidence graphs of finite projective, affine, and biaffine planes and we show that some of the obtained graphs are balanced biregular cages.
Construction Methods for Space-Filling Heterogeneous Topological Interlocking Assemblies
Published in 2026 Journal of Mathematics and the Arts
• View Publication
• BIB
Deforming fundamental domains of wallpaper groups provides a systematic way to generate non-convex blocks which admit topological interlocking assemblies (TIAs). We use this approach to construct TIAs that fully occupy the space between two parallel planes and incorporate multiple block types. In addition to wallpaper groups, semiregular tessellations are employed in the construction of such TIAs. These construction methods open up an extensive design space for TIAs, expanding the possibilities of feasible interlocking systems and creating new opportunities for architectural and material design. Several resulting block families can be interpreted as geometric realizations of generalized Truchet tiles or decorated lozenge tilings and, with suitable colouring rules, we establish a one-to-one correspondence between these tilings and specific TIAs. This framework enables a systematic investigation of symmetric and asymmetric assemblies derived from diverse block types.
Cyclically $5$-edge-connected snarks with resistance $2$ and flow resistance $n$
Snarks are $2$-connected cubic graphs that do not admit a proper $3$-edge-coloring. For a cubic graph $G$, its resistance $r(G)$ is the minimum number of edges whose removal results in a $3$-edge-colorable graph, while its flow resistance $r_f(G)$ is the minimum number of edges whose removal results in a graph admitting a nowhere-zero $\mathbb{Z}_2 \times \mathbb{Z}_2$-flow. In this paper, we provide an affirmative answer to a question recently posed by Allie, Máčajová, and Škoviera by constructing a family of cyclically $5$-edge-connected snarks for which the ratio $r_f(G)/r(G)$ is arbitrarily large.
Increasing arc-connectivity by bounded- and fixed-size inversions
For a digraph $D$ and some $X \subseteq V(D)$, the inversion of $X$ is the operation of flipping all arcs both of whose endvertices are in $X$. We initiate the study of establishing arc-connectivity properties by applying inversions of bounded or fixed size.
For fixed-size inversions, the feasibility problem is interesting. For all integers $p \geq 2$ and $k \geq 1$, we give a characterization of the digraphs that can be made $k$-arc-strong by applying inversions of size exactly $p$, provided they are sufficiently large.
For bounded-size inversions, the feasibility problem is easy, so we focus on minimising the number of inversions. We prove that for all integers $p\geq 3$ and $k \geq 1$ and any $ε>0$, there exists a polynomial-time $(4k-2+ε)$-approximation algorithm for computing the minimum number of inversions of size at most $p$ that make a given digraph $k$-arc-strong. This is in stark contrast to other results on inversion optimization problems. On the other hand, we show that for any $p\geq 3$ and $k \geq 1$ the problem is NP-hard, and, moreover, APX-hard.
As a result on parameterized complexity, we show that for any $k \geq 2$, it is $W[1]$-hard with respect to $p$ to decide whether a given digraph can be made $k$-arc-strong by applying a single inversion of size at most $p$. We also prove that for a given multidigraph, it is $W[1]$-hard with respect to $\ell$ to decide whether it can be made 2-arc-strong by applying $\ell$ inversions of size 2.