2025-04-02 | | Total: 226
In an abelian category, the (bi)fibration of subobjects is isomorphic to the (bi)fibration of quotients. This property captures a substantial information about the exactness structure of a category. Indeed, as it was shown by the second author and T.~Weighill, categories equipped with a proper factorization system such that the opfibration of subobjects relative to the factorization system is isomorphic to the fibration of relative quotients are precisely the Grandis exact categories. Motivated by on-going work of the second author with Ülo Reimaa, indicating that the 2-category of abelian categories (with suitably chosen morphisms) satisfies some 2-dimensional exactness conditions, in this paper we propose a 2-dimensional notion of a Grandis exact category. We reach such definition as an outcome of characterizing those (1,1)-proper factorization systems on a 2-category in the sense of M.~Dupont and E.~Vitale, for which the weak 2-opfibration of relative 2-subobjects is biequivalent to the weak 2-fibration of relative 2-quotients.
We introduce ninfty, a header-only C++ library distributed under an MIT Open Source License designed for the study of enumeration problems arising in homotopical combinatorics. The ninfty repository moreover contains a folder with data files for many common finite groups. This is in addition to Sage code which can be used to generate input data for further finite groups, and Sage code for generating input data for abstract lattices which may not arise at the subgroup lattice of a group.
Let G be a Hilbert space and B(G) the algebra of bounded operators, H=L2([0,∞);G). An operator-valued function Q∈L∞,loc([0,∞);B(G)) determines a multiplication operator in H by (Qy)(x)=Q(x)y(x), x⩾. We say that an operator L_0 in a Hilbert space is a Schrödinger type operator, if it is unitarily equivalent to -d^2/dx^2+Q(x) on a relevant domain. The paper provides a characterization of a class of such operators. The characterization is given in terms of properties of an evolutionary dynamical system associated with L_0. It provides a way to construct a functional Schrödinger model of L_0.
In this paper we discuss nonholonomic contact Lagrangian and Hamiltonian systems, that is, systems with a kind of dissipation that are also subject to nonholonomic constraints. We introduce the so-called contact Eden bracket that allows us to obtain the evolution of any observable. Finally, we present a particular vector subspace of observables where the dynamics remain unconstrained.
Let \mathcal{G} be a quantum graph without quantum sources and E_\mathcal{G} be the quantum edge correspondence for \mathcal{G}. Our main results include sufficient conditions for simplicity of the Cuntz-Pimsner algebra \mathcal{O}_{E_\mathcal{G}} in terms of \mathcal{G} and for defining a surjection from the quantum Cuntz-Krieger algebra \mathcal{O}(\mathcal{G}) onto a particular relative Cuntz-Pimsner algebra for E_\mathcal{G}. As an application of these two results, we give the first example of a quantum graph with distinct quantum Cuntz-Krieger and local quantum Cuntz-Krieger algebras. We also characterize simplicity of \mathcal{O}_{E_\mathcal{G}} for some fundamental examples of quantum graphs, including rank-one quantum graphs on a single full matrix algebra, complete quantum graphs, and trivial quantum graphs. Along the way, we provide an equivalent condition for minimality of E_\mathcal{G} and sufficient conditions for aperiodicity of E_\mathcal{G} in terms of the underlying quantum graph \mathcal{G}.
We construct symmetric square type L-series for vector-valued modular forms transforming under the Weil representation associated to a discriminant form. We study Hecke operators and integral representations to investigate their properties, deriving functional equations and infinite product expansions.
We describe the eigenvalues and eigenvectors of real-analytic, non-self-adjoint Berezin--Toeplitz operators, up to exponentially small error, on complex one-dimensional compact manifolds, under the hypothesis of regularity of the energy levels. These results form a complex version of the Bohr-Sommerfeld quantization conditions; they hold under a hypothesis that the skew-adjoint part is small but can be of principal order with respect to the semiclassical parameter. To this end, we develop a calculus of Fourier Integral Operators and Lagrangian states associated with complex Lagrangians; these tools can be of independent interest.
We study the distribution of the set of copies of some given graph H in the random graph G(n,p), focusing on the case when H = K_r. Our main results capture the 'leading term' in the difference between this distribution and the 'independent hypergraph model', where (in the case H = K_r) each copy is present independently with probability \pi = p^{\binom{r}{2}}. As a concrete application, we derive a new upper bound on the number of K_r-factors in G(n,p) above the threshold for such factors to appear. We will prove our main results in a much more general setting, so that they also apply to random hypergraphs, and also (for example) to the case when p is constant and r = r(n) \sim 2\log_{1/p}(n).
For every countable infinite group that admits \mathbb{Z} as a homomorphic image, we show that for each m\in\mathbb{N}, there exists a minimal action whose topological sequence entropy is \log(m). Furthermore, for every countable infinite group G that contains a finite index normal subgroup G' isomorphic to \mathbb{Z}^r, and for every m\in \mathbb{N}, we found a free minimal action with topological sequence entropy \log(n), where m\leq n\leq m^{2^r[G:G']}. In both cases, we also show that the aforementioned minimal actions admit non-trivial independence tuples of size n but do not admit non-trivial independence tuples of size n+1 for some n\geq m.
In this work, we propose an exponentially convergent numerical method for the Caputo fractional propagator S_\alpha(t) and the associated mild solution of the Cauchy problem with time-independent sectorial operator coefficient A and Caputo fractional derivative of order \alpha \in (0,2) in time. The proposed methods are constructed by generalizing the earlier developed approximation of S_\alpha(t) with help of the subordination principle. Such technique permits us to eliminate the dependence of the main part of error estimate on \alpha, while preserving other computationally relevant properties of the original approximation: native support for multilevel parallelism, the ability to handle initial data with minimal spatial smoothness, and stable exponential convergence for all t \in [0, T]. Ultimately, the use of subordination leads to a significant improvement of the method's convergence behavior, particularly for small \alpha < 0.5, and opens up further opportunities for efficient data reuse. To validate theoretical results, we consider applications of the developed methods to the direct problem of solution approximation, as well as to the inverse problem of fractional order identification.
We consider finite normal covers of an infinite translation surface with a large Veech group - the Chamanara surface. We give a characterization for these covers to have Veech groups which are large themselves, that is, which are of finite index in the Veech group of the Chamanara surface. For covers of degree 2, we study these large Veech groups in detail. As an application, we show that every free group in finitely many generators can be realized as the projective Veech group of a translation surface of finite area.
In 1980, Thomassen stated his Weak Linkage conjecture: for odd positive integers k, if a graph G is k-edge-connected, then, for any collection of k pairs of vertices \{s_1,t_1\}, ..., \{s_k,t_k\} in G, not necessarily distinct, there are pairwise edge-disjoint paths P_1,...,P_k in G, with P_i joining s_i and t_i. In 1991, Huck proved that the conclusion holds if G is finite and (k+1)-edge-connected. We prove that Huck's theorem holds also for all infinite graphs, extending and improving a result of Ok, Richter and Thomassen for 1-ended, locally finite graphs. A novel key tool in the proof is the Linking Fan Proposition proved in Section 3. To show the potential and usefulness of this proposition in other contexts, we present in the last section a new result, similar to a result of Thomassen, on the existence of 2k-edge-connected finite immersions in (2k+2)-edge-connected infinite graphs, and as a corollary we also reprove a statement on k-arc-connected orientations.
In this paper, we consider the class \mathcal{C}^d of sphere intersection graphs in \mathbb{R}^d for d \geq 2. We show that for each integer t, the class of all graphs in \mathcal{C}^d that exclude K_{t,t} as a subgraph has strongly sublinear separators. We also prove that \mathcal{C}^d has asymptotic dimension at most 2d+2.
We construct moduli spaces of framed logarithmic connections and also moduli spaces of framed parabolic connections. It is shown that these moduli spaces possess a natural algebraic symplectic structure. We also give an upper bound of the transcendence degree of the algebra of regular functions on the moduli space of parabolic connections.
For a jointly integrable partially hyperbolic diffeomorphism f on a 3-manifold M with virtually solvable fundamental group which satisfies Diophantine condition along the center foliation, we show that the cohomological equation \varphi = u\circ f - u + c has a continuous solution u if and only if \varphi has trivial periodic cycle functional.
We address the problem of nonparametric estimation of the spectral density for a centered stationary Gaussian time series under local differential privacy constraints. Specifically, we propose new interactive privacy mechanisms for three tasks: estimating a single covariance coefficient, estimating the spectral density at a fixed frequency, and estimating the entire spectral density function. Our approach achieves faster rates through a two-stage process: we apply first the Laplace mechanism to the truncated value and then use the former privatized sample to gain knowledge on the dependence mechanism in the time series. For spectral densities belonging to Hölder and Sobolev smoothness classes, we demonstrate that our estimators improve upon the non-interactive mechanism of Kroll (2024) for small privacy parameter \alpha, since the pointwise rates depend on n\alpha^2 instead of n\alpha^4. Moreover, we show that the rate (n\alpha^4)^{-1} is optimal for estimating a covariance coefficient with non-interactive mechanisms. However, the L_2 rate of our interactive estimator is slower than the pointwise rate. We show how to use these estimators to provide a bona-fide locally differentially private covariance matrix estimator.
We prove that, as m grows, any family of m homotopically distinct closed curves on a surface induces a number of crossings that grows at least like (m \log m)^2. We use this to answer two questions of Pach, Tardos and Toth related to crossing numbers of drawings of multigraphs where edges are required to be non-homotopic. Furthermore, we generalize these results, obtaining effective bounds with optimal growth rates on every orientable surface.
A toric amplitude is a rational function associated to a simplicial polyhedral fan. The definition is inspired by scattering amplitudes in particle physics. We prove algebraic properties of such amplitudes and study the geometry of their zero loci. These hypersurfaces play the role of Warren's adjoint via a dual volume interpretation. We investigate their Fano schemes and singular loci via the nef cone and toric irrelevant ideal of the fan.
We show a stability result for the recently established Brunn--Minkowski inequality in compact simple Lie groups. Namely, we prove that if two compact subsets A, B of a compact simple Lie group G satisfy \mu(AB)^{1/d'} \leq (1 + \epsilon)\left(\mu(A)^{1/d'} + \mu(B)^{1/d'}\right) where AB is the Minkowski product \{ab : a \in A, b \in B\}, d' denotes the minimal codimension of a proper closed subgroup and \mu is a Haar measure, then A and B must approximately look like neighbourhoods of a proper subgroup H of codimension d', with an error that depends quantitatively on d', \epsilon and the ratio \frac{\mu(A)}{\mu(B)}. This result implies an improved error rate in the Brunn--Minkowski inequality in compact simple Lie groups \mu(AB)^{\frac{1}{d'}} \geq (1-C\mu(A)^{\frac{2}{d'}})\left(\mu(A)^{\frac{1}{d'}} + \mu(B)^{\frac{1}{d'}}\right) sharp, up to the constant C which depends on d' and \frac{\mu(A)}{\mu(B)} alone. Our approach builds upon an earlier paper of the author proving the Brunn--Minkowski inequality, and stability in the case A=B. We employ a combinatorial multi-scale analysis and study so-called density functions. Additionally, the asymmetry between A and B introduces new challenges, requiring the use of non-abelian Fourier theory and stability results for the Prékopa--Leindler inequality.
Robust optimization(RO) is an important tool for handling optimization problem with uncertainty. The main objective of RO is to solve optimization problems due to uncertainty associated with constraints satisfying all realizations of uncertain values within a given uncertainty set. The challenge of RO is to reformulate the constraints so that the uncertain optimization problem is transformed into a tractable deterministic form. In this paper, we have given more emphasis to study the robust counterpart(RC) of the RO problems and have developed a mathematical model on the solution strategy for robust linear optimization problems, where the constraints only are associated with uncertainties. The box and ellipsoidal uncertainty sets are considered and some illustrative numerical examples have been solved in each corresponding case for validating our proposed method.
We introduce the Brackets package for the computer algebra system Macaulay2, which provides convenient syntax for computations involving the classical invariants of the special linear group. We describe our implementation of bracket rings and Grassmann-Cayley algebras, and illustrate basic functionality such as the straightening algorithm on examples from projective and enumerative geometry.
In this work, we address the efficient computation of parameterized systems of linear equations, with possible nonlinear parameter dependence. When the matrix is highly sensitive to the parameters, mean-based preconditioning might not be enough. For this scenario, we explore an approach in which several preconditioners are placed in the parameter space during a precomputation step. To determine the optimal placement of a limited number of preconditioners, we estimate the expected number of iterations with respect to a given preconditioner a priori and use a location-allocation strategy to optimize the placement of the preconditioners. We elaborate on our methodology for the Helmholtz problem with exterior Dirichlet scattering at high frequencies, and we estimate the expected number of GMRES iterations via a gray-box Gaussian process regression approach. We illustrate our approach in two practical applications: scattering in a domain with a parametric refractive index and scattering from a scatterer with parameterized shape. Using these numerical examples, we show how our methods leads to runtime savings of about an order of magnitude. Moreover, we investigate the effect of the parameter dimension and the importance of dimension anisotropy on their efficacy.
We show that mean field optimal controls satisfy a first order optimality condition (at a.e. time) without any a priori requirement on their spatial regularity. This principle is obtained by a careful limit procedure of the Pontryagin maximum principle for finite particle systems. In particular, our result applies to the case of mean field selective optimal control problems for multipopulation and replicator dynamics.
In the article we study the simple unital communitative three-dimensional algebras over an algebraically closed field of characteristic not equal to 2. It is proved that every simple unital communitative three-dimensional algebra of nil-rank 2 is isotopic to Jordan algebra of a symmetric bilinear nondegenerate form on a two-dimensional vector space.
In this paper, we provide a geometric characterization of virtual nonlinear nonholonomic constraints from a symplectic perspective. Under a transversality assumption, there is a unique control law making the trajectories of the associated closed-loop system satisfy the virtual nonlinear nonholonomic constraints. We characterize them in terms of the symplectic structure on TQ induced by a Lagrangian function and the almost-tangent structure. In particular, we show that the closed-loop vector field satisfies a geometric equation of Chetaev type. Moreover, the closed-loop dynamics is obtained as the projection of the uncontrolled dynamics to the tangent bundle of the constraint submanifold defined by the virtual constraints.