Showing 20 papers (Total: 82432 papers, 47671 authors in database)
Springer Numbers and Arnold Families Revisited
Published
• View Publication
• BIB
For the calculation of Springer numbers (of root systems) of type $B_n$ and $D_n$, Arnold introduced a signed analogue of alternating permutations, called $β_n$-snakes, and derived recurrence relations for enumerating the $β_n$-snakes starting with $k$. The results are presented in the form of double triangular arrays ($v_{n,k}$) of integers, $1\le |k|\le n$. An Arnold family is a sequence of sets of such objects as $β_n$-snakes that are counted by $(v_{n,k})$. As a refinement of Arnold's result, we give analogous arrays of polynomials, defined by recurrence, for the calculation of the polynomials associated with successive derivatives of $\tan x$ and $\sec x$, established by Hoffman. Moreover, we provide some new Arnold families of combinatorial objects that realize the polynomial arrays, which are signed variants of André permutations and Simsun permutations.
Flag Codes: Distance Vectors and Cardinality Bounds
Published
• View Publication
• BIB
Given $\mathbb{F}_q$ the finite field with $q$ elements and an integer $n\geq 2$, a flag is a sequence of nested subspaces of $\mathbb{F}_q^n$ and a flag code is a nonempty set of flags. In this context, the distance between flags is the sum of the corresponding subspace distances. Hence, a given flag distance value might be obtained by many different combinations. To capture such a variability, in the paper at hand, we introduce the notion of distance vector as an algebraic object intrinsically associated to a flag code that encloses much more information than the distance parameter itself. Our study of the flag distance by using this new tool allows us to provide a fine description of the structure of flag codes as well as to derive bounds for their maximum possible size once the minimum distance and dimensions are fixed.
A note on the number of partitions of $n$ into $k$ parts
Published in Politehn. Univ. Bucharest Sci. Bull. Ser. A Appl. Math. Phys. 84 (2022), no. 4, 131-138
• Search Publication
We prove new formulas and congruences for $p(n,k):=$ the number of partitions of $n$ into $k$ parts and $q(n,k):=$ the number of partitions of $n$ into $k$ distinct parts. Also, we give lower and upper bounds for the density of the set $\{n\in\mathbb N\;:\;p(n,k)\equiv i(\bmod\; m)\}$, where $m\geq 2$ and $0\leq i\leq m-1$.
Open, Closed, and Non-Degenerate Embedding Dimensions of Neural Codes
Published
• View Publication
• BIB
We study the open, closed, and non-degenerate embedding dimensions of neural codes, which are the smallest respective dimensions in which one can find a realization of a code consisting of convex sets that are open, closed, or non-degenerate in a sense defined by Cruz, Giusti, Itskov, and Kronholm. For a given code $\mathcal C$ we define the embedding dimension vector to be the triple $(a,b,c)$ consisting of these embedding dimensions. Existing results guarantee that $\max\{a,b\} \le c$, and we show that when any of these dimensions is at least 2 this is the only restriction on such vectors. Specifically, for every triple $(a,b,c)$ with $2\le \min \{a,b\}$ and $\max\{a,b\}\le c$ we construct a code $\mathcal C_{(a,b,c)}$ whose embedding dimension vector is exactly $(a,b,c)$. Our constructions combine two existing tools in the convex neural codes literature: sunflowers of convex open sets, and rigid structures, the latter of which was recently defined in work of Chan, Johnston, Lent, Ruys de Perez, and Shiu. Our constructions provide the first examples of codes whose closed embedding dimension is larger than their open embedding dimension, but still finite.
A characterization of the algebraic degree in semidefinite programming
Published in Collectanea Mathematica, 2023
• View Publication
• BIB
In this article, we show that the algebraic degree in semidefinite programming can be expressed in terms of the coefficient of a certain monomial in a doubly symmetric polynomial. This characterization of the algebraic degree allows us to use the theory of symmetric polynomials to obtain many interesting results of Nie, Ranestad and Sturmfels in a simpler way.
Improved lower bounds for van der Waerden numbers
Published
• View Publication
• BIB
Recently, Ben Green proved that the two-color van der Waerden number $w(3,k)$ is bounded from below by $k^{b_0(k)}$ where $b_0(k) = c_0\left(\frac{\log k }{\log \log k}\right)^{1/3}$. We prove a new lower bound of $k^{b(k)}$ with $b(k) = \frac{c\log k}{\log \log k}$. This is done by modifying Green's argument, replacing a complicated result about random quadratic forms with an elementary probabilistic result.
A Comparison of Metrics for the Identification of Partisan Gerrymandering
Currently, there is currently no effective, standardized way to identify the presence of partisan gerrymandering. A relatively newly proposed method of identification is ensemble analysis. This is done by generating a large neutral ensemble of voting plans, then comparing the given voting plan against the ensemble through the use of a mathematical metric. In this paper, we survey seven of the most common mathematical metrics used for this identification process, which are the efficiency gap, weighted efficiency gap with weight 2, relative efficiency gap with weight 1, relative efficiency gap with weight 2, mean-median score, partisan bias, and declination. We define and discuss all of these. The analysis is done by performing ensemble analysis on ten elections with each metric to determine whether each metric determines each election as gerrymandered. All ten of these elections have been studied in the literature, so we compare those results to the results found by the metrics to assess accuracy. We show that, while the mean-median score and partisan bias are the most applicable across all seven metrics, they are also the most inaccurate. No significant difference was detected between the remaining five metrics, so our final recommendation is to use one of the four variants of the efficiency gap or the declination if applicable, and the mean-median score if not. The partisan bias was the least accurate of all the metrics tested.
New lower bounds on kissing numbers and spherical codes in high dimensions
Let the kissing number $K(d)$ be the maximum number of non-overlapping unit balls in $\mathbb R^d$ that can touch a given unit ball. Determining or estimating the number $K(d)$ has a long history, with the value of $K(3)$ being the subject of a famous discussion between Gregory and Newton in 1694. We prove that, as the dimension $d$ goes to infinity,
$$
K(d)\ge (1+o(1)){\frac{\sqrt{3π}}{4\sqrt2}}\,\log\frac{3}{2}\cdot d^{3/2}\cdot \Big(\frac{2}{\sqrt{3}}\Big)^{d},
$$ thus improving the previously best known bound of Jenssen, Joos and Perkins by a factor of $\log(3/2)/\log(9/8)+o(1)=3.442...$. Our proof is based on the novel approach from Jenssen, Joos and Perkins that uses the hard core sphere model of an appropriate fugacity. Similar constant-factor improvements in lower bounds are also obtained for general spherical codes, as well as for the expected density of random sphere packings in the Euclidean space $\mathbb R^d$.
Strong Cospectrality and Twin Vertices in Weighted Graphs
Published in Electron. J. Linear Algebra 38, 494-518 (2021)
• View Publication
• BIB
We explore algebraic and spectral properties of weighted graphs containing twin vertices that are useful in quantum state transfer. We extend the notion of adjacency strong cospectrality to arbitrary Hermitian matrices, with focus on the generalized adjacency matrix and the generalized normalized adjacency matrix. We then determine necessary and sufficient conditions such that a pair of twin vertices in a weighted graph exhibits strong cospectrality with respect to the above-mentioned matrices. We also generalize known results about equitable and almost equitable partitions, and use these to determine which joins of the form $X\vee H$, where $X$ is either the complete or empty graph, exhibit strong cospectrality.
Pattern-avoiding ascent sequences of length 3
Published
• View Publication
• BIB
Pattern-avoiding ascent sequences have recently been related to set-partition problems and stack-sorting problems. While the generating functions for several length-3 pattern-avoiding ascent sequences are known, those avoiding 000, 100, 110, 120 are not known. We have generated extensive series expansions for these four cases, and analysed them in order to conjecture the asymptotic behaviour.
We provide polynomial time algorithms for the 000 and 110 cases, and exponential time algorithms for the 100 and 120 cases. We also describe how the 000 polynomial time algorithm was detected somewhat mechanically given an exponential time algorithm.
For 120-avoiding ascent sequences we find that the generating function has stretched-exponential behaviour and prove that the growth constant is the same as that for 201-avoiding ascent sequences, which is known.
The other three generating functions have zero radius of convergence, which we also prove. For 000-avoiding ascent sequences we give what we believe to be the exact growth constant. We give the conjectured asymptotic behaviour for all four cases.
Co-degree threshold for rainbow perfect matchings in uniform hypergraphs
Published
• View Publication
• BIB
Let $k$ and $n$ be two integers, with $k\geq 3$, $n\equiv 0\pmod k$, and $n$ sufficiently large. We determine the $(k-1)$-degree threshold for the existence of a rainbow perfect matchings in $n$-vertex $k$-uniform hypergraph. This implies the result of Rödl, Ruciński, and Szemerédi on the $(k-1)$-degree threshold for the existence of perfect matchings in $n$-vertex $k$-uniform hypergraphs. In our proof, we identify the extremal configurations of closeness, and consider whether or not the hypergraph is close to the extremal configuration. In addition, we also develop a novel absorbing device and generalize the absorbing lemma of Rödl, Ruciński, and Szemerédi.
Chow rings of matroids are Koszul
Published
• View Publication
• BIB
Chow rings of matroids were instrumental in the resolution of the Heron-Rota-Welsh Conjecture by Adiprasito, Huh, and Katz and in the resolution of the Top-Heavy Conjecture by Braden, Huh, Matherne, Proudfoot, and Wang. The Chow ring of a matroid is a commutative, graded, Artinian, Gorenstein algebra with linear and quadratic relations defined by the matroid. Dotsenko conjectured that the Chow ring of any matroid is Koszul. The purpose of this paper is to prove Dotsenko's conjecture. We also show that the augmented Chow ring of a matroid is Koszul. As a corollary, we show that the Chow rings and augmented Chow rings of matroids have rational Poincaré series.
On the non-connectivity of moduli spaces of arrangements: the splitting-polygon structure
Published
• View Publication
• BIB
Questions that seek to determine whether a hyperplane arrangement property, be it geometric, arithmetic or topological, is of a combinatorial nature (that is determined by the intersection lattice) are abundant in the literature. To tackle such questions and provide a negative answer, one of the most effective methods is to produce a counterexample. To this end, it is essential to know how to construct arrangements that are lattice-equivalent. The more different they are, the more efficient it will be. In this paper, we present a method to construct arrangements of complex projective lines that are lattice-equivalent but lie in distinct connected components of their moduli space. To illustrate the efficiency of the method, we apply it to reconstruct all the classical examples of arrangements with disconnected moduli spaces: MacLane, Falk-Sturmfels, Nasir-Yoshinaga and Rybnikov. Moreover, we employ this method to produce novel examples of arrangements of eleven lines whose moduli spaces are formed by four connected components.
Graphs with prescribed radius, diameter, and center
Published in Graphs with prescribed radius, diameter, and center, International Journal of Mathematics and Computer Science, 16(2021), No. 4
• Search Publication
Among other things, it is shown that for every pair of positive integers $r$, $d$, satisfying $1<r<d\leq 2r$, and every finite simple graph $H,$ there is a connected graph $G$ with diameter $d$, radius $r$, and center $H.$
Upper bounds for the constants of Bennett's inequality and the Gale--Berlekamp switching game
Published
• View Publication
• BIB
In $1977$, G. Bennett proved, by means of non-deterministic methods, an inequality which plays a fundamental role in a series of optimization problems. More precisely, Bennett's inequality shows that, for $p_{1},p_{2} \in\lbrack1,\infty]$ and all positive integers $n_{1},n_{2}$, there exists a bilinear form $A_{n_{1},n_{2}}\colon\left( \mathbb{R}^{n_{1}},\left\Vert \cdot\right\Vert _{p_{1}}\right) \times\left( \mathbb{R}^{n_{2}},\left\Vert \cdot\right\Vert _{p_{2}}\right) \longrightarrow\mathbb{R}$ with coefficients $\pm1$ satisfying \[ \left\Vert A_{n_{1},n_{2}}\right\Vert \leq C_{p_{1},p_{2}}\max\left\{ n_{1}^{1-\frac{1}{p_{1}}}n_{2}^{\max\left\{ \frac{1}{2}-\frac{1}{p_{2} },0\right\} },n_{2}^{1-\frac{1}{p_{2}}}n_{1}^{\max\left\{ \frac{1}{2} -\frac{1}{p_{1}},0\right\} }\right\} \] for a certain constant $C_{p_{1},p_{2}}$ depending just on $p_{1},p_{2}$; moreover, the exponents of $n_{1},n_{2}$ cannot be improved. In this paper, using a constructive approach, we prove that $C_{p_{1},p_{2}}\leq\sqrt{8/5}$ whenever $p_{1},p_{2}\in\left[ 2,\infty\right] $ or $p_{1}=p_{2}=p\in\left[ 1,\infty\right] $. Our techniques are applied to provide new upper bounds for the constants of a combinatorial game, known as Gale--Berlekamp switching game or unbalancing lights problem. As a consequence, we improve estimates obtained by Brown and Spencer in $1971$ and by Carlson and Stolarski in $2004$.
Fine-Grained Cryptanalysis: Tight Conditional Bounds for Dense k-SUM and k-XOR
Published
• View Publication
• BIB
An average-case variant of the $k$-SUM conjecture asserts that finding $k$ numbers that sum to 0 in a list of $r$ random numbers, each of the order $r^k$, cannot be done in much less than $r^{\lceil k/2 \rceil}$ time. On the other hand, in the dense regime of parameters, where the list contains more numbers and many solutions exist, the complexity of finding one of them can be significantly improved by Wagner's $k$-tree algorithm. Such algorithms for $k$-SUM in the dense regime have many applications, notably in cryptanalysis.
In this paper, assuming the average-case $k$-SUM conjecture, we prove that known algorithms are essentially optimal for $k= 3,4,5$. For $k>5$, we prove the optimality of the $k$-tree algorithm for a limited range of parameters. We also prove similar results for $k$-XOR, where the sum is replaced with exclusive or.
Our results are obtained by a self-reduction that, given an instance of $k$-SUM which has a few solutions, produces from it many instances in the dense regime. We solve each of these instances using the dense $k$-SUM oracle, and hope that a solution to a dense instance also solves the original problem. We deal with potentially malicious oracles (that repeatedly output correlated useless solutions) by an obfuscation process that adds noise to the dense instances. Using discrete Fourier analysis, we show that the obfuscation eliminates correlations among the oracle's solutions, even though its inputs are highly correlated.
Pure pairs. IX. Transversal trees
Published in SIAM Journal on Discrete Mathematics, Volume 38(1), 2024, pp. 645-667
• View Publication
• BIB
Fix k>0, and let G be a graph, with vertex set partitioned into k subsets (`blocks') of approximately equal size. An induced subgraph of G is transversal (with respect to this partition) if it has exactly one vertex in each block (and therefore it has exactly k vertices). A pure pair in G is a pair X,Y of disjoint subsets of V(G) such that either all edges between X,Y are present or none are; and in the present context we are interested in pure pairs (X,Y) where each of X,Y is a subset of one of the blocks, and not the same block. This paper collects several results and open questions concerning how large a pure pair must be present if various types of transversal subgraphs are excluded.
On the Symmetric Difference Property in Difference Sets under Product Construction
A $(v, k, λ)$ symmetric design is said to have the symmetric difference property (SDP) if the symmetric difference of any three blocks is either a block or the complement of a block. Symmetric designs fulfilling this property have the nice property of having minimal rank, which makes them interesting to study. Thus, SDP designs become useful in coding theory applications. We show in this paper that difference sets formed by direct product construction of difference sets whose developments have the SDP also have the SDP. We also establish a few results regarding isomorphisms in product constructed SDP designs.
Computational Aspects of Problems on Visibility and Disk Graph Representations
This thesis focuses on two concepts which are widely studied in the field of computational geometry. Namely, visibility and unit disk graphs. In the field of visibility, we have studied the conflict-free chromatic guarding of polygons, for which we have described a polynomial-time algorithm that uses $O(n \log^2 n)$ colors to guard a polygon in a conflict-free setting, and proper coloring of polygon visibility graphs, for which we have described an algorithm that returns a proper 4-coloring for a simple polygon. Besides, we have shown that the 5-colorability problem is NP-complete on visibility graphs of simple polygons, and 4-colorability is NP-complete on visibility graphs of polygons with holes.
Then, we move further with the notion of visibility, and define a graph class which considers the real-world limitations for the applications of visibility graphs. That is, no physical object has infinite range, and two objects might not be mutually visible from a certain distance although there are no obstacles in-between. To model this property, we introduce unit disk visibility graphs, and show that the 3-colorability problem is NP-complete for unit disk visibility graphs of a set of line segments, and a polygon with holes.
After bridging the gap between the visibility and the unit disk graphs, we then present our results on the recognition of unit disk graphs in a restricted setting -- axes-parallel unit disk graphs. We show that the recognition of unit disk graphs is NP-complete when the disks are centered on pre-given parallel lines. If, on the other hand, the lines are not parallel to one another, the recognition problem is NP-hard even though the pre-given lines are axes-parallel (i.e. any pair is either parallel or perpendicular).
Inverse $K$-Chevalley formulas for semi-infinite flag manifolds, II: arbitrary weights in ADE type
Published
• View Publication
• BIB
We continue the study, begun in [Kouno-Naito-Orr-Sagaki, 2021], of inverse Chevalley formulas for the equivariant $K$-group of semi-infinite flag manifolds. Using the language of alcove paths, we reformulate and extend our combinatorial inverse Chevalley formula to arbitrary weights in all simply-laced types (conjecturally also for $E_8$).