Showing 20 papers (Total: 82505 papers, 47699 authors in database)
Some hypersurfaces over finite fields, minimal codes and secret sharing schemes
Published in Designs, Codes and Cryptography (2022) 90:1503-1519
• View Publication
• BIB
Linear error-correcting codes can be used for constructing secret sharing schemes; however finding in general the access structures of these secret sharing schemes and, in particular, determining efficient access structures is difficult. Here we investigate the properties of certain algebraic hypersurfaces over finite fields, whose intersection numbers with any hyperplane only takes a few values; these varieties give rise to $q$-divisible linear codes with at most $5$ weights. Furthermore, for $q$ odd these codes turn out to be minimal and we characterize the access structures of the secret sharing schemes based on their dual codes. Indeed, the secret sharing schemes thus obtained are democratic, that is each participant belongs to the same number of minimal access sets and can easily be described.
$q$-Analogs of strongly regular graphs
Published
• View Publication
• BIB
We introduce the notion of q-analogs of strongly regular graphs and give several examples of such structures. We prove a necessary condition on the parameters, show the connection to designs over finite fields, and present a classification.
Computing characteristic polynomials of hyperplane arrangements with symmetries
Published in Discrete & Computational Geometry (2023) 70:1356-1377
• View Publication
• BIB
We introduce a new algorithm computing the characteristic polynomials of hyperplane arrangements which exploits their underlying symmetry groups. Our algorithm counts the chambers of an arrangement as a byproduct of computing its characteristic polynomial. We showcase our julia implementation, based on OSCAR, on examples coming from hyperplane arrangements with applications to physics and computer science.
Lattice Conditional Independence Models and Hibi Ideals
Published in Transactions of the London Mathematical Society, Volume 9, Issue 1, 2022
• View Publication
• BIB
Lattice Conditional Independence models are a class of models developed first for the Gaussian case in which a distributive lattice classifies all the conditional independence statements. The main result is that these models can equivalently be described via a transitive directed acyclic graph (TDAG) in which, as is normal for causal models, the conditional independence is in terms of conditioning on ancestors in the graph. We demonstrate that a parallel stream of research in algebra, the theory of Hibi ideals, not only maps directly to the LCI models but gives a vehicle to generalise the theory from the linear Gaussian case. Given a distributive lattice (i) each conditional independence statement is associated with a Hibi relation defined on the lattice, (ii) the directed graph is given by chains in the lattice which correspond to chains of conditional independence, (iii) the elimination ideal of product terms in the chains gives the Hibi ideal and (iv) the TDAG can be recovered from a special bipartite graph constructed via the Alexander dual of the Hibi ideal. It is briefly demonstrated that there are natural applications to statistical log-linear models, time series, and Shannon information flow.
Shift modules, strongly stable ideals, and their dualities
We enrich the setting of strongly stable ideals (SSI): We introduce shift modules, a module category encompassing SSI's. The recently introduced duality on SSI's is given an effective conceptual and computational setting. We study strongly stable ideals in infinite dimensional polynomial rings, where the duality is most natural. Finally a new type of resolution for SSI's is introduced. This is the projective resolution in the category of shift modules.
Ordinary and symbolic powers of edge ideals of weighted oriented graphs
Published
• View Publication
• BIB
Let $\mathcal{D}$ be a weighted oriented graph and $I(\mathcal{D})$ be its edge ideal.
In this paper, we show that all the symbolic and ordinary powers of
$I(\mathcal{D})$ coincide when $\mathcal{D}$ is a weighted oriented certain class of tree.
Finally, we give necessary and sufficient conditions for the equality of ordinary and symbolic powers of naturally oriented lines.
Weak Bruhat interval modules of the 0-Hecke algebra
Published in Mathematische Zeitschrift (2022)
• View Publication
• BIB
The purpose of this paper is to provide a unified method for dealing with various 0-Hecke modules constructed using tableaux so far. To do this, we assign a $0$-Hecke module to each left weak Bruhat interval, called a weak Bruhat interval module. We prove that every indecomposable summand of the $0$-Hecke modules categorifying dual immaculate quasisymmetric functions, extended Schur functions, quasisymmetric Schur functions, and Young row-strict quasisymmetric Schur functions is a weak Bruhat interval module. We further study embedding into the regular representation, induction product, restriction, and (anti-)involution twists of weak Bruhat interval modules.
Exchange Properties of M-natural-concave Set Functions and Valuated Matroids
This is a survey article on the exchange properties characterizing M-natural-concave set functions and valuated matroids (M-concave set functions). The objective of this paper is to collect related results scattered in the literature and to give (reasonably) self-contained elementary proofs for them.
On the hollow enclosed by convex sets
Published in Geombinatorics XXX (3) (2021), 113-122
• Search Publication
For $n\leq d$, a family ${\cal F}=\{C_0,C_1,\ldots, C_n\}$ of compact convex sets in $R^d$ is called an $n$-critical family provided any $n$ members of ${\cal F}$ have a non-empty intersection, but $\bigcap_{i=0}^n C_i=\varnothing$. If $n=d$ then a lemma on the intersection of convex sets due to Klee implies that the $d+1$ members of the $d$-critical family enclose a `hollow' in $R^d$, a bounded connected component of $R^d\setminus\bigcup_{i=0}^n C_i.$ Here we prove that the closure of the convex hull of a hollow in $R^d$ is a $d$-simplex.
A slightly better bound on the crossing number in terms of the pair-crossing number
The crossing number of a graph $G$, ${\mbox{cr}}(G)$, is the minimum number of crossings, the pair-crossing number, ${\mbox{pcr}}(G)$, is the minimum number of pairs of crossing edges over all drawings of $G$. In this note we show that ${\mbox{cr}}(G)=O({\mbox{pcr}}(G)^{3/2}\log{\mbox{pcr}}(G))$, which is an improvement of the result of Matoušek, by a log factor.
Graphs whose all maximal induced forests are of the same order
In this paper, a new concept in graphs namely well-f-coveredness is introduced. We characterize all graphs with such property, whose maximum induced forests are of boundary order. Also we prove several propositions concerning with obtaining large well-f-covered graphs from smaller ones. By the way, some interesting classes of well-f-covered graphs are characterized.
A Modular First Formalisation of Combinatorial Design Theory
Published in International Conference on Intelligent Computer Mathematics (2021), 3-18
• View Publication
• BIB
Combinatorial design theory studies set systems with certain balance and symmetry properties and has applications to computer science and elsewhere. This paper presents a modular approach to formalising designs for the first time using Isabelle and assesses the usability of a locale-centric approach to formalisations of mathematical structures. We demonstrate how locales can be used to specify numerous types of designs and their hierarchy. The resulting library, which is concise and adaptable, includes formal definitions and proofs for many key properties, operations, and theorems on the construction and existence of designs.
A lower bound for essential covers of the cube
Published
• View Publication
• BIB
Essential covers were introduced by Linial and Radhakrishnan as a model that captures two complementary properties: (1) all variables must be included and (2) no element is redundant. In their seminal paper, they proved that every essential cover of the $n$-dimensional hypercube must be of size at least $Ω(n^{0.5})$. Later on, this notion found several applications in complexity theory. We improve the lower bound to $Ω(n^{0.52})$, and describe two applications.
Category Algebras and States on Categories
Published
• View Publication
• BIB
The purpose of this paper is to build a new bridge between category theory and a generalized probability theory known as noncommutative probability or quantum probability, which was originated as a mathematical framework for quantum theory, in terms of states as linear functionals defined on category algebras. We clarify that category algebras can be considered as generalized matrix algebras and that states on categories as linear functionals defined on category algebras turn out to be generalized of probability measures on sets as discrete categories. Moreover, by establishing a generalization of famous GNS (Gelfand-Naimark-Segal) construction, we obtain representations of category algebras of $^{\dagger}$-categories on certain generalized Hilbert spaces which we call semi-Hilbert modules over rigs.
Conic-Optimization Based Algorithms for Nonnegative Matrix Factorization
Published in Optimization Methods and Software 38 (4), pp. 837-859, 2023
• View Publication
• BIB
Nonnegative matrix factorization is the following problem: given a nonnegative input matrix $V$ and a factorization rank $K$, compute two nonnegative matrices, $W$ with $K$ columns and $H$ with $K$ rows, such that $WH$ approximates $V$ as well as possible. In this paper, we propose two new approaches for computing high-quality NMF solutions using conic optimization. These approaches rely on the same two steps. First, we reformulate NMF as minimizing a concave function over a product of convex cones--one approach is based on the exponential cone, and the other on the second-order cone. Then, we solve these reformulations iteratively: at each step, we minimize exactly, over the feasible set, a majorization of the objective functions obtained via linearization at the current iterate. Hence these subproblems are convex conic programs and can be solved efficiently using dedicated algorithms. We prove that our approaches reach a stationary point with an accuracy decreasing as $\mathcal{O}(\frac{1}{i})$, where $i$ denotes the iteration number. To the best of our knowledge, our analysis is the first to provide a convergence rate to stationary points for NMF. Furthermore, in the particular cases of rank-one factorizations (that is, $K=1$), we show that one of our formulations can be expressed as a convex optimization problem implying that optimal rank-one approximations can be computed efficiently. Finally, we show on several numerical examples that our approaches are able to frequently compute exact NMFs (that is, with $V = WH$), and compete favorably with the state of the art.
Measuring global properties of neural generative model outputs via generating mathematical objects
We train deep generative models on datasets of reflexive polytopes. This enables us to compare how well the models have picked up on various global properties of generated samples. Our datasets are complete in the sense that every single example, up to changes of coordinate, is included in the dataset. Using this property we also perform tests checking to what extent the models are merely memorizing the data. We also train models on the same dataset represented in two different ways, enabling us to measure which form is easiest to learn from. We use these experiments to show that deep generative models can learn to generate geometric objects with non-trivial global properties, and that the models learn some underlying properties of the objects rather than simply memorizing the data.
Nordhaus-Gaddum type inequality for the fractional matching number of a graph
Published
• View Publication
• BIB
The fractional matching number of a graph G, is the maximum size of a fractional matching of G. The following sharp lower bounds for a graph G of order n are proved, and all extremal graphs are characterized in this paper. (1)The sum of the fractional matching number of a graph G and the fractional matching number of its complement is not less than n/2 , where n is not less than 2. (2) If G and its complement are non-empty, then the sum of the fractional matching number of a graph G and the fractional matching number of its complement is not less than (n+1)/2, where n is not less than 28. (3) If G and its complement have no isolated vertices, then the sum of the fractional matching number of a graph G and the fractional matching number of its complement is not less than (n+4)/2, where n is not less than 28.
A Refinement of the Murnaghan-Nakayama Rule by Descents for Border Strip Tableaux
Published
• View Publication
• BIB
Lusztig's fake degree is the generating polynomial for the major index of standard Young tableaux of a given shape. Results of Springer and James & Kerber imply that, mysteriously, its evaluation at a $k$-th primitive root of unity yields the number of border strip tableaux with all strips of size $k$, up to sign. This is essentially the special case of the Murnaghan-Nakayama rule for evaluating an irreducible character of the symmetric group at a rectangular partition.
We refine this result to standard Young tableaux and border strip tableaux with a given number of descents. To do so, we introduce a new statistic for border strip tableaux, extending the classical definition of descents in standard Young tableaux. Curiously, it turns out that our new statistic is very closely related to a descent set for tuples of standard Young tableaux appearing in the quasisymmetric expansion of LLT polynomials given by Haglund, Haiman and Loehr.
Contextuality degree of quadrics in multi-qubit symplectic polar spaces
Published in Journal of Physics A: Mathematical and Theoretical 55 (2022) 475301
• View Publication
• BIB
Quantum contextuality takes an important place amongst the concepts of quantum computing that bring an advantage over its classical counterpart. For a large class of contextuality proofs, aka. observable-based proofs of the Kochen-Specker Theorem, we formulate the contextuality property as the absence of solutions to a linear system and define for a contextual configuration its degree of contextuality. Then we explain why subgeometries of binary symplectic polar spaces are candidates for contextuality proofs. We report the results of a software that generates these subgeometries, decides their contextuality and computes their contextuality degree for some small symplectic polar spaces. We show that quadrics in the symplectic polar space $W_n$ are contextual for $n=3,4,5$. The proofs we consider involve more contexts and observables than the smallest known proofs. This intermediate size property of those proofs is interesting for experimental tests, but could also be interesting in quantum game theory.
A note on long cycles in sparse random graphs
Published
• View Publication
• BIB
Let $L_{c,n}$ denote the size of the longest cycle in $G(n,{c}/{n})$, $c>1$ constant. We show that there exists a continuous function $f(c)$ such that $ L_{c,n}/n \to f(c)$ a.s. for $c\geq 20$, thus extending a result of the author and Frieze to smaller values of $c$. Thereafter, for $c\geq 20$, we determine the limit of the probability that $G(n,c/n)$ contains cycles of every length between the length of its shortest and its longest cycles as $n\to \infty$.