Showing 20 papers (Total: 83842 papers, 48355 authors in database)
On AG codes from a generalization of the Deligne-Lustzig curve of Suzuki type
In this paper, Algebraic-Geometric (AG) codes and quantum codes associated to a family of curves which comprises the famous Suzuki curve are investigated. The Weierstrass semigroup at some rational point is computed. Notably, each curve in the family turn out to be a Castle curve over some finite field, and a weak Castle curve over its extensions. This is a relevant feature when codes constructed from the curve are considered.
Pearcey universality at cusps of polygonal lozenge tiling
Published in Comm. Pure Appl. Math. 77 (9), 3708-3784 (September 2024)
• View Publication
• BIB
We study uniformly random lozenge tilings of general simply connected polygons. Under a technical assumption that is presumably generic with respect to polygon shapes, we show that the local statistics around a cusp point of the arctic curve converge to the Pearcey process. This verifies the widely predicted universality of edge statistics in the cusp case. Together with the smooth and tangent cases proved in Aggarwal-Huang and Aggarwal-Gorin, these are believed to be the three types of edge statistics that can arise in a generic polygon. Our proof is via a local coupling of the random tiling with non-intersecting Bernoulli random walks (NBRW). To leverage this coupling, we establish an optimal concentration estimate for the tiling height function around the cusp. As another step and also a result of potential independent interest, we show that the local statistics of NBRW around a cusp converge to the Pearcey process when the initial configuration consists of two parts with proper density growth, via careful asymptotic analysis of the determinantal formula.
Mildly Overparameterized ReLU Networks Have a Favorable Loss Landscape
We study the loss landscape of both shallow and deep, mildly overparameterized ReLU neural networks on a generic finite input dataset for the squared error loss. We show both by count and volume that most activation patterns correspond to parameter regions with no bad local minima. Furthermore, for one-dimensional input data, we show most activation regions realizable by the network contain a high dimensional set of global minima and no bad local minima. We experimentally confirm these results by finding a phase transition from most regions having full rank Jacobian to many regions having deficient rank depending on the amount of overparameterization.
Lattice paths in Young diagrams
Fill each box in a Young diagram with the number of paths from the bottom of its column to the end of its row, using steps north and east. Then, any square sub-matrix of this array starting on the south-east boundary has determinant one. We provide a - to our knowledge - new bijective argument for this result. Using the same ideas, we prove further identities involving these numbers which correspond to an integral orthonormal basis of the inner product space with Gram matrix given by the array in question. This provides an explicit answer to a question (listed as unsolved) raised in Exercise 6.27 c) of Stanley's Enumerative Combinatorics.
Sign-Balanced Pattern-Avoiding Permutation Classes
A set of permutations is called sign-balanced if the set contains the same number of even permutations as odd permutations. Let $S_n(σ_1, σ_2, \ldots, σ_r)$ be the set of permutations in the symmetric group $S_n$ which avoids patterns $σ_1, σ_2, \ldots, σ_r$. The aim of this paper is to investigate when, for certain patterns $σ_1, σ_2, \ldots, σ_r$, $S_n(σ_1, σ_2, \ldots, σ_r)$ is sign-balanced for every integer $n>1$. We prove that for any $\{σ_1, σ_2, \ldots, σ_r\}\subseteq S_3$, if $\{σ_1, σ_2, \ldots, σ_r\}$ is sign-balanced except $\{132, 213, 231, 312\}$, then $S_n(σ_1, σ_2, \ldots, σ_r)$ is sign-balanced for every integer $n>1$. In addition, we give some results in the case of avoiding some patterns of length $4$.
Graphs whose mixed metric dimension is equal to their order
Published
• View Publication
• BIB
The mixed metric dimension ${\rm mdim}(G)$ of a graph $G$ is the cardinality of a smallest set of vertices that (metrically) resolves each pair of elements from $V(G)\cup E(G)$. We say that $G$ is a max-mdim graph if ${\rm mdim}(G) = n(G)$. It is proved that a max-mdim graph $G$ with $n(G)\ge 7$ contains a vertex of degree at least $5$. Using the strong product of graphs and amalgamations large families of max-mdim graphs are constructed. The mixed metric dimension of graphs with at least one universal vertex is determined. The mixed metric dimension of graphs $G$ with cut vertices is bounded from the above and the mixed metric dimension of block graphs computed.
Cubic factor-invariant graphs of cycle quotient type -- the alternating case
Published in Published in European Journal of Combinatorics, 120 (2024), Paper No. 103964, 22 pp
• View Publication
• BIB
We investigate connected cubic vertex-transitive graphs whose edge sets admit a partition into a $2$-factor $\mathcal{C}$ and a $1$-factor that is invariant under a vertex-transitive subgroup of the automorphism group of the graph and where the quotient graph with respect to $\mathcal{C}$ is a cycle. There are two essentially different types of such cubic graphs. In this paper we focus on the examples of what we call the alternating type. We classify all such examples admitting a vertex-transitive subgroup of the automorphism group of the graph preserving the corresponding $2$-factor and also determine the ones for which the $2$-factor is invariant under the full automorphism group of the graph. In this way we introduce a new infinite family of cubic vertex-transitive graphs that is a natural generalization of the well-known generalized Petersen graphs as well as of the honeycomb toroidal graphs. The family contains an infinite subfamily of arc-regular examples and an infinite family of $2$-arc-regular examples.
Subgroup growth in free class-$2$-nilpotent groups
Published
• View Publication
• BIB
We describe an effective procedure to compute the local subgroup zeta functions of the free class-$2$-nilpotent groups on $d$ generators, for all $d$. For $d=4$, this yields a new, explicit formula. For $d\in\{4,5\}$, we compute the topological subgroup zeta function. We also obtain general results about the reduced and topological subalgebra zeta functions. For the former, we determine the behaviour at one and for the latter, the degree and behaviours at zero and infinity. Some of these results confirm, in the relevant special cases, general conjectures by T. Rossmann.
Perturbative Unitarity and the Wavefunction of the Universe
Published
• View Publication
• BIB
Unitarity of time evolution is one of the basic principles constraining physical processes. Its consequences in the perturbative Bunch-Davies wavefunction in cosmology have been formulated in terms of the cosmological optical theorem. In this paper, we re-analyse perturbative unitarity for the Bunch-Davies wavefunction, focusing on: 1) the role of the $iε$-prescription and its compatibility with the requirement of unitarity; 2) the origin of the different "cutting rules"; 3) the emergence of the flat-space optical theorem from the cosmological one. We take the combinatorial point of view of the cosmological polytopes, which provide a first-principle description for a large class of scalar graphs contributing to the wavefunctional. The requirement of the positivity of the geometry together with the preservation of its orientation determine the $iε$-prescription. In kinematic space it translates into giving a small negative imaginary part to all the energies, making the wavefunction coefficients well-defined for any value of their real part along the real axis. Unitarity is instead encoded into a non-convex part of the cosmological polytope, which we name optical polytope. The cosmological optical theorem emerges as the equivalence between a specific polytope subdivision of the optical polytope and its triangulations, each of which provides different cutting rules. The flat-space optical theorem instead emerges from the non-convexity of the optical polytope. On the more mathematical side, we provide two definitions of this non-convex geometry, none of them based on the idea of the non-convex geometry as a union of convex ones.
Partial domination in supercubic graphs
Published
• View Publication
• BIB
For some $α$ with $0 < α\le 1$, a subset $X$ of vertices in a graph $G$ of order~$n$ is an $α$-partial dominating set of $G$ if the set $X$ dominates at least $α\times n$ vertices in $G$. The $α$-partial domination number ${\rm pd}_α(G)$ of $G$ is the minimum cardinality of an $α$-partial dominating set of $G$. In this paper partial domination of graphs with minimum degree at least $3$ is studied. It is proved that if $G$ is a graph of order~$n$ and with $δ(G)\ge 3$, then ${\rm pd}_{\frac{7}{8}}(G) \le \frac{1}{3}n$. If in addition $n\ge 60$, then ${\rm pd}_{\frac{9}{10}}(G) \le \frac{1}{3}n$, and if $G$ is a connected cubic graph of order $n\ge 28$, then ${\rm pd}_{\frac{13}{14}}(G) \le \frac{1}{3}n$. Along the way it is shown that there are exactly four connected cubic graphs of order $14$ with domination number $5$.
Inequalities among Symmetric Polynomial Functions: Counter-examples and New Conjectures
Inequalities among symmetric polynomial functions are fundamental questions in mathematics and have various applications in science and engineering. This paper investigates a beautiful and inspiring conjecture, proposed by Cuttler, Greene and Skandera in 2011, on inequalities among the complete homogeneous symmetric polynomial function $H_{n,λ}$: It states that the inequality $H_{n,λ}\leq H_{n,μ}$ implies majorization order $λ\preceqμ$. The conjecture is a close analogy with other known results on Muirhead-type inequalities. In 2021, Heaton and Shankar disproved the conjecture by showing a counterexample for number of variables $n=3$ and degree $d=8$. They then asked whether the conjecture is true when $n$ is sufficiently large. In this paper, we show, by a family of counter-examples, that the conjecture does not hold for any $n$ and any $d$ as long as $n\geq2$ and $d\geq8$. Based on the insights gained from the counter-examples, we propose a new conjecture for the inequality $H_{n,λ}\leq H_{n,μ}$.
On Newton's identities in positive characteristic
Published
• View Publication
• BIB
Newton's identities provide a way to express elementary symmetric polynomials in terms of power polynomials over fields of characteristic zero. In this article, we study the failure of this relation in positive characteristic and what can be recovered. In particular, we show how one can write the elementary symmetric polynomials as rational functions in the power polynomials over any commutative unital ring.
Integral equivariant cohomology of affine Grassmannians
Published in Can. Math. Bull. 67 (2024) 727-741
• View Publication
• BIB
We give explicit presentations of the integral equivariant cohomology of the affine Grassmannians and flag varieties in type A, arising from their natural embeddings in the corresponding infinite (Sato) Grassmannian and flag variety. These presentations are compared with results obtained by Lam and Shimozono, for rational equivariant cohomology of the affine Grassmannian, and by Larson, for the integral cohomology of the moduli stack of vector bundles on $\mathbb{P}^1$.
Characterization of flip process rules with the same trajectories
Published
• View Publication
• BIB
Garbe, Hladký, Šileikis and Skerman [Ann. Inst. Henri Poincaré Probab. Stat., 60 (2024), pp. 2878-2922] recently introduced a general class of random graph processes called flip processes and proved that the typical evolution of these discrete-time random graph processes corresponds to certain continuous-time deterministic graphon trajectories. We obtain a complete characterization of the equivalence classes of flip process rules with the same graphon trajectories. As an application, we characterize the flip process rules which are unique in their equivalence classes. These include several natural families of rules such as the complementing rules, the component completion rules, the extremist rules, and the clique removal rules.
Turán problems for oriented graphs
Published
• View Publication
• BIB
A classical Turán problem asks for the maximum possible number of edges in a graph of a given order that does not contain a particular graph $H$ as a subgraph. It is well-known that the chromatic number of $H$ is the graph parameter which describes the asymptotic behavior of this maximum. Here, we consider an analogous problem for oriented graphs, where compressibility plays the role of the chromatic number. Since any oriented graph having a directed cycle is not contained in any transitive tournament, it makes sense to consider only acyclic oriented graphs as forbidden subgraphs. We provide basic properties of the compressibility, show that the compressibility of acyclic oriented graphs with out-degree at most 2 is polynomial with respect to the maximum length of a directed path, and that the same holds for a larger out-degree bound if the Erdős-Hajnal conjecture is true. Additionally, generalizing previous results on powers of paths and arbitrary orientations of cycles, we determine the compressibility of acyclic oriented graphs with a restricted structure.
Permutoric Promotion: Gliding Globs, Sliding Stones, and Colliding Coins
Published
• View Publication
• BIB
The first author recently introduced toric promotion, an operator that acts on the labelings of a graph $G$ and serves as a cyclic analogue of Schützenberger's promotion operator. Toric promotion is defined as the composition of certain toggle operators, listed in a natural cyclic order. We consider more general permutoric promotion operators, which are defined as compositions of the same toggles, but in permuted orders. We settle a conjecture of the first author by determining the orders of all permutoric promotion operators when $G$ is a path graph. In fact, we completely characterize the orbit structures of these operators, showing that they satisfy the cyclic sieving phenomenon. The first half of our proof requires us to introduce and analyze new broken promotion operators, which can be interpreted via globs of liquid gliding on a path graph. For the latter half of our proof, we reformulate the dynamics of permutoric promotion via stones sliding along a cycle graph and coins colliding with each other on a path graph.
The list-Ramsey threshold for families of graphs
Published in Combinator. Probab. Comp. 33 (2024) 829-851
• View Publication
• BIB
Given a family of graphs $\mathcal{F}$ and an integer $r$, we say that a graph is $r$-Ramsey for $\mathcal{F}$ if any $r$-colouring of its edges admits a monochromatic copy of a graph from $\mathcal{F}$. The threshold for the classic Ramsey property in the binomial random graph, where $\mathcal{F}$ consists of one graph, was located in the celebrated work of Rödl and Ruciński.
In this paper, we offer a twofold generalisation to the Rödl--Ruciński theorem. First, we show that the list-colouring version of the property has the same threshold. Second, we extend this result to finite families $\mathcal{F}$, where the threshold statements might also diverge. This also confirms further special cases of the Kohayakawa--Kreuter conjecture. Along the way, we supply a short(-ish), self-contained proof of the $0$-statement of the Rödl--Ruciński theorem.
Condensation and densification for sets of large diameter
Published
• View Publication
• BIB
Consider a set of integers $\mathscr A$ having finite diameter $X$, and a system of simultaneous polynomial equations to be solved over $\mathscr A$. In many circumstances, it is known that the number of solutions of this system is $O(X^ε|\mathscr A|^θ)$ for a suitable $θ>0$ and any $ε>0$. These estimates become worse than trivial when the diameter $X$ is very large compared to $|\mathscr A|$, or equivalently, when the set $\mathscr A$ is very sparse. This motivates the problem of seeking a new set of integers $\mathscr B$, in a certain sense isomorphic to $\mathscr A$, having the property that the diameter $X'$ of $\mathscr B$ is smaller than $X$, and at the same time the set $\mathscr B$ preserves the salient features of the solution set of the system of equations in question. We report on our speculative investigations concerning this problem closely associated with the topic of Freiman homomorphisms.
The Pieri formulas and the Littlewood-Richardson rule for Schur multiple zeta functions
We prove the Pieri formulas for Schur multiple zeta functions, which are generalizations of the Pieri formulas proved by Nakasuji and Takeda for hook type Schur multiple zeta functions. Moreover, we also prove the Littlewood-Richardson rule for Schur multiple zeta functions. In the course of their proofs, we regard the `truncated' version of Schur multiple zeta functions as series over $\mathrm{GL}(N)$ crystals to arrive at the Littlewood-Richardson rule for the Schur multiple zeta functions.
On the faces of unigraphic $3$-polytopes
Published in European Journal of Combinatorics (2024+)
• View Publication
• BIB
A $3$-polytope is a $3$-connected, planar graph. It is called unigraphic if it does not share its vertex degree sequence with any other $3$-polytope, up to graph isomorphism. The classification of unigraphic $3$-polytopes appears to be a difficult problem.
In this paper we prove that, apart from pyramids, all unigraphic $3$-polytopes have no $n$-gonal faces for $n\geq 10$. Our method involves defining several planar graph transformations on a given $3$-polytope containing an $n$-gonal face with $n\geq 10$. The delicate part is to prove that, for every such $3$-polytope, at least one of these transformations both preserves $3$-connectivity, and is not an isomorphism.