搜索结果：over

Information velocity (IV) is a recently proposed notion to capture the speed of reliable information dissemination over a large-scale network. It is the speed at which reliable end-to-end communication over $k$ hops can be achieved within $t$ time instances, and is defined formally as the asymptotic ratio $k/t$ as $k$ tends to infinity subject to vanishing error probability. To date, even for a tandem of binary erasure channels without feedback, the optimal IV for disseminating multiple (say $m$) bits remains unknown. We make progress on this open problem by characterizing the optimal IV for the regime where the message size $m = o(k^{1/2})$. The main contribution lies in achievability, where we propose a simple bit-separation scheme that pipelines message bits in an orderly fashion with carefully designed temporal spacing so that the flows of different bits do not collide with one another with high probability. This is in sharp contrast to previous attempts in the literature where schemes involve coding over time and across nodes. To go beyond the regime $m = o(k^{1/2})$, we further investigate the setting where every node in the network has strictly causal access to the state inf

Let $W/K$ be a nonempty scheme over the field of fractions of a Henselian local ring $R$. A result of Gabber, Liu and Lorenzini shows that the GCD of the set of degrees of closed points on $W$ (which is called the index of $W/K$) can be computed from data pertaining only to the special fiber of a proper regular model of $W$ over $R$. We show that the entire set of degrees of closed points on $W$ can be computed from data pertaining only to the special fiber, provided the special fiber is a strict normal crossings divisor. As a consequence we obtain an algorithm to compute the degree set of any smooth curve over a Henselian field with finite or algebraically closed residue field. Using this we show that degree sets of curves over such fields can be dramatically different than degree sets of curves over finitely generated fields. For example, while the degree set of a curve over a finitely generated field contains all sufficiently large multiples of the index, there are curves over $p$-adic fields with index $1$ whose degree set excludes all integers that are coprime to $6$.

The $p^\infty$-fine Selmer group of an elliptic curve $E$ over a global field is a subgroup of the classical $p^\infty$-Selmer group. Coates and Sujatha discovered that the structure of the fine Selmer group of $E$ over certain $p$-adic Lie extensions of a number field is intricately related to some deep questions in classical Iwasawa theory. Inspired by a conjecture of Greenberg, they made prediction about the structure of the fine Selmer group over certain $p$-adic Lie extensions of a number field, which they called Conjecture B. In this article, we discuss some new cases of Conjecture B and its analogues over some $p$-adic Lie extensions of function fields of characteristic $p$.

The Riordan group ${\cal R}$ over the field ${\mathbb F}_2$ is a split extension of the Appell subgroup by the Nottingham group ${\cal N}({\mathbb F}_2)$. Using the lower central series of the Nottingham group obtained by C. Leedham-Green and S. McKay, the lower central series of ${\cal R}({\mathbb F}_2)$ is calculated. Considering the Riordan group over an arbitrary commutative ring with identity, where all Riordan arrays have only 1s on the main diagonal, it is also proved that the abelianization of this group is isomorphic to the direct product of the abelianization of the corresponding Lagrange subgroup and the additive group of the ground ring.

Automata over infinite objects are a well-established model with applications in logic and formal verification. Traditionally, acceptance in such automata is defined based on the set of states visited infinitely often during a run. However, there is a growing trend towards defining acceptance based on transitions rather than states. In this survey, we analyse the reasons for this shift and advocate using transition-based acceptance in the context of automata over infinite words. We present a collection of problems where the choice of formalism has a major impact and discuss the causes of these differences.

For a polynomial $u(x)$ in $\mathbb{Z}[x]$ and $r\in\mathbb{Z}$, we consider the orbit of $u$ at $r$ denoted and defined by $\mathcal{O}_u(r):=\{u^{(n)}(r)~|~n\in\mathbb{N}\}$. Here we study polynomials for which $0$ is in the orbit, and we call such polynomials \textit{nilpotent at }$r$ of index $m$ where $m$ is the minimum element of the set $\{n\in\mathbb N~|~u^{(n)}(r)=0\}$. We provide here a complete classification of these polynomials when $|r|\le 4$, with $|r|\le 1$ already covered in the author's previous paper, titled \textit{Locally nilpotent polynomials over $\mathbb Z$}. The central goal of this paper is to study the following questions: (i) relation between the integers $r$ and $m$ when the set of nilpotent polynomials at $r$ of index $m$ is non-empty, (ii) classification of the integer polynomials with nilpotency index $|r|$ for large enough $|r|$, and (iii) bounded integer polynomial sequences $\{r_n\}_{n\ge 0}$.

We are interested in characterising the commutative rings for which a $1$-tilting cotorsion pair $(\mathcal{A}, \mathcal{T})$ provides for covers, that is when the class $\mathcal{A}$ is a covering class. We use Hrbek's bijective correspondence between the $1$-tilting cotorsion pairs over a commutative ring $R$ and the faithful finitely generated Gabriel topologies on $R$. Moreover, we use results of Bazzoni-Positselski, in particular a generalisation of Matlis equivalence and their characterisation of covering classes for $1$-tilting cotorsion pairs arising from flat injective ring epimorphisms. Explicitly, if $\mathcal{G}$ is the Gabriel topology associated to the $1$-tilting cotorsion pair $(\mathcal{A}, \mathcal{T})$, and $R_\mathcal{G}$ is the ring of quotients with respect to $\mathcal{G}$, we show that if $\mathcal{A}$ is covering then $\mathcal{G}$ is a perfect localisation (in Stenström's sense) and the localisation $R_\mathcal{G}$ has projective dimension at most one. Moreover, we show that $\mathcal{A}$ is covering if and only if both the localisation $R_\mathcal{G}$ and the quotient rings $R/J$ are perfect rings for every $J \in \mathcal{G}$. Rings satisfying the latter

We examine the power series ring $R[[X]]$ over a valuation ring $R$ of rank 1, with proper, dense value group. We give a counterexample to Hilbert's syzygy theorem for $R[[X]]$, i.e. an $R[[X]]$-module $C$ that is flat over $R$ and has flat dimension at least 2 over $R[[X]]$, contradicting a previously published result. The key ingredient in our construction is an exploration of the valuation theory of $R[[X]]$. We also use this theory to give a new proof that $R[[X]]$ is not a coherent ring, a fact which is essential in our construction of the module $C$.

Let $X$ be a normal projective variety over an algebraically closed field of characteristic zero. Let $D$ be a reduced Weil divisor on $X$. Let $G$ be a reductive linear algebraic group. We introduce the notion of a logarithmic connection on a principal $G$-bundle over $X$, which is singular along $D$. The existence of a logarithmic connection on the frame bundle associated with a vector bundle over $X$ is shown to be equivalent to the existence of a logarithmic covariant derivative on the vector bundle if the logarithmic tangent sheaf of $X$ is locally free. Additionally, when the algebraic group $G$ is semisimple, we show that a principal $G$-bundle admits a logarithmic connection if and only if the associated adjoint bundle admits one. We also prove that the existence of a logarithmic connection on a principal bundle over a toric variety, singular along the boundary divisor, is equivalent to the existence of a torus equivariant structure on the bundle.

Over-the-air federated learning (OTA-FL) exploits the inherent superposition property of wireless channels to integrate the communication and model aggregation. Though a naturally promising framework for wireless federated learning, it requires care to mitigate physical layer impairments. In this work, we consider a heterogeneous edge-intelligent network with different edge device resources and non-i.i.d. user dataset distributions, under a general non-convex learning objective. We leverage the Reconfigurable Intelligent Surface (RIS) technology to augment OTA-FL system over simultaneous time varying uplink and downlink noisy communication channels under imperfect CSI scenario. We propose a cross-layer algorithm that jointly optimizes RIS configuration, communication and computation resources in this general realistic setting. Specifically, we design dynamic local update steps in conjunction with RIS phase shifts and transmission power to boost learning performance. We present a convergence analysis of the proposed algorithm, and show that it outperforms the existing unified approach under heterogeneous system and imperfect CSI in numerical results.

This paper presents a decentralized algorithm for solving distributed convex optimization problems in dynamic networks with time-varying objectives. The unique feature of the algorithm lies in its ability to accommodate a wide range of communication systems, including previously unsupported ones, by abstractly modeling the information exchange in the network. Specifically, it supports a novel communication protocol based on the "over-the-air" function computation (OTA-C) technology, that is designed for an efficient and truly decentralized implementation of the consensus step of the algorithm. Unlike existing OTA-C protocols, the proposed protocol does not require the knowledge of network graph structure or channel state information, making it particularly suitable for decentralized implementation over ultra-dense wireless networks with time-varying topologies and fading channels. Furthermore, the proposed algorithm synergizes with the "superiorization" methodology, allowing the development of new distributed algorithms with enhanced performance for the intended applications. The theoretical analysis establishes sufficient conditions for almost sure convergence of the algorithm to

In this paper, we introduce a new perspective on training deep neural networks capable of state-of-the-art performance without the need for the expensive over-parameterization by proposing the concept of In-Time Over-Parameterization (ITOP) in sparse training. By starting from a random sparse network and continuously exploring sparse connectivities during training, we can perform an Over-Parameterization in the space-time manifold, closing the gap in the expressibility between sparse training and dense training. We further use ITOP to understand the underlying mechanism of Dynamic Sparse Training (DST) and indicate that the benefits of DST come from its ability to consider across time all possible parameters when searching for the optimal sparse connectivity. As long as there are sufficient parameters that have been reliably explored during training, DST can outperform the dense neural network by a large margin. We present a series of experiments to support our conjecture and achieve the state-of-the-art sparse training performance with ResNet-50 on ImageNet. More impressively, our method achieves dominant performance over the overparameterization-based sparse methods at extreme sp

We investigate the question of the existence of a non-vanishing section of the tangent bundle on a smooth affine quadric hypersurface $Q^o$ over a given perfect field $k$. In case $Q^o$ admits a $k$-rational point, we give necessary and sufficient conditions for such existence. We apply these conditions in a number of examples, including the case of the algebraic $n$-sphere over $k$, $S^n_k\subset \mathbb{A}^{n+1}_k$, defined by the equation $\sum_{i=1}^{n+1}x_i^2=1$.

Programs with a continuous state space or that interact with physical processes often require notions of equivalence going beyond the standard binary setting in which equivalence either holds or does not hold. In this paper we explore the idea of equivalence taking values in a quantale V, which covers the cases of (in)equations and (ultra)metric equations among others. Our main result is the introduction of a V-equational deductive system for linear λ-calculus together with a proof that it is sound and complete. In fact we go further than this, by showing that linear λ-theories based on this V-equational system form a category that is equivalent to a category of autonomous categories enriched over 'generalised metric spaces'. If we instantiate this result to inequations, we get an equivalence with autonomous categories enriched over partial orders. In the case of (ultra)metric equations, we get an equivalence with autonomous categories enriched over (ultra)metric spaces. We additionally show that this syntax-semantics correspondence extends to the affine setting. We use our results to develop examples of inequational and metric equational systems for higher-order programming in the

Let $G$ be a simple group over a global function field $K$, and let $π$ be a cuspidal automorphic representation of $G$. Suppose $K$ has two places $u$ and $v$ (satisfying a mild restriction on the residue field cardinality), at which the group $G$ is quasi-split, such that $π_u$ is tempered and $π_v$ is unramified and generic. We prove that $π_w$ is tempered at all unramified places $K_w$ at which $G$ is unramified quasi-split. More generally, the set of unitary spherical representations is partitioned according to nilpotent conjugacy classes in the Lie algebra of $G$. We show that if $π_v$ is in the set corresponding to the nilpotent class $N$, and if $π_u$ satisfies an analogous hypothesis, then $π_w$ belongs to the same class $N$, where $w$ is as above. These results are consistent with conjectures of Shahidi and Arthur. The proofs use the Galois parametrization of cuspidal representations due to V. Lafforgue to relate the local Satake parameters of $π$ to Deligne's theory of Frobenius weights. The main observation is that, in view of the classification of unitary spherical representations, due to Barbasch and the first-named author, the theory of weights excludes almost all co

This work concerns developing communication- and computation-efficient methods for large-scale multiple testing over networks, which is of interest to many practical applications. We take an asymptotic approach and propose two methods, proportion-matching and greedy aggregation, tailored to distributed settings. The proportion-matching method achieves the global BH performance yet only requires a one-shot communication of the (estimated) proportion of true null hypotheses as well as the number of p-values at each node. By focusing on the asymptotic optimal power, we go beyond the BH procedure by providing an explicit characterization of the asymptotic optimal solution. This leads to the greedy aggregation method that effectively approximates the optimal rejection regions at each node, while computation efficiency comes from the greedy-type approach naturally. Moreover, for both methods, we provide the rate of convergence for both the FDR and power. Extensive numerical results over a variety of challenging settings are provided to support our theoretical findings.

A Poisson system is a Poisson point process and a group action, together forming a measure-preserving dynamical system. Ornstein and Weiss proved Poisson systems over many amenable groups were isomorphic in their 1987 paper. We consider Poisson systems over non-discrete, non-compact, locally compact Polish groups, and we prove by construction all Poisson systems over such a group are finitarily isomorphic, producing examples of isomorphisms for non-amenable group actions. As a corollary, we prove Poisson systems and products of Poisson systems are finitarily isomorphic. For a Poisson system over a group belonging to a slightly more restrictive class than above, we further prove it splits into two Poisson systems whose intensities sum to the intensity of the original, generalizing the same result for Poisson systems over Euclidean space proved by Holroyd, Lyons, and Soo.

Let $A$ be an abelian variety over the function field $K$ of a curve over a finite field. We describe several mild geometric conditions ensuring that the group $A(K^{\rm perf})$ is finitely generated and that the $p$-primary torsion subgroup of $A(K^{\rm sep})$ is finite. This gives partial answers to questions of Scanlon, Ghioca and Moosa, and Poonen and Voloch. We also describe a simple theory (used to prove our results) relating the Harder-Narasimhan filtration of vector bundles to the structure of finite flat group schemes of height one over projective curves over perfect fields. Finally, we use our results to give a complete proof of a conjecture of Esnault and Langer on Verschiebung divisibility of points in abelian varieties over function fields.

Our starting point is Mumford's conjecture, on representations of Chevalley groups over fields, as it is phrased in the preface of "Geometric Invariant Theory". After extending the conjecture appropriately, we show that it holds over an arbitrary commutative base ring. We thus obtain the first fundamental theorem of invariant theory (often referred to as Hilbert's fourteenth problem) over an arbitrary Noetherian ring. We also prove results on the Grosshans graded deformation of an algebra in the same generality. We end with tentative finiteness results for rational cohomology over the integers.