We propose a DBI vertex brane + $N_c$ fundamental strings configuration for a probe baryon in the finite-temperature thermal gauge field via AdS/CFT correspondence. In particular, we investigate properties of this configuration in QCD_4 and warped...
For composite nonsmooth optimization problems, Forward-Backward algorithm achieves model identification (e.g. support identification for the Lasso) after a finite number of iterations, provided the objective function is regular enough. Results concer...
The structure and $B(E1)$ transition strength of $^{19}$B are investigated in a $^{17}\text{B}+n+n$ model, triggered by a recent experiment showing that $^{19}$B exhibits a well pronounced two-neutron halo structure. Preliminary analysis of the exper...
We give a bound for the virtually cyclic dimension of groups with a normal subgroup of finite index which satisfies that every infinite virtually-cyclic subgroup is contained in a unique maximal such subgroup. As an application we provide a bound for...
Molecular spiders are synthetic catalytic DNA-based nanoscale walkers. We study the mean first passage time for abstract models of spiders moving on a finite two-dimensional lattice with various boundary conditions, and compare it with the mean first...
Tracking multiple objects through time is an important part of an intelligent transportation system. Random finite set (RFS)-based filters are one of the emerging techniques for tracking multiple objects. In multi-object tracking (MOT), a common assu...
As reinforcement learning algorithms are being applied to increasingly complicated and realistic tasks, it is becoming increasingly difficult to solve such problems within a practical time frame. Hence, we focus on a \textit{satisficing} strategy tha...
We show that the unit area Liouville quantum gravity sphere can be constructed in two equivalent ways. The first, which was introduced by the authors and Duplantier, uses a Bessel excursion measure to produce a Gaussian free field variant on the cyli...
A topological mating is a map defined by gluing together the filled Julia sets of two quadratic polynomials. The identifications are visualized and understood by pinching ray-equivalence classes of the formal mating. For postcritically finite polynom...
Jun 23, 2016 · "Starring" is the form used for gerunds and present participles. Those are non-finite verb forms. They do not create predicates. This film stars Dustin Hoffman. a film starring Dustin Hoffman …
We consider the extension of two variable logic with quantifiers that state that the number of elements where a formula holds should belong to a given ultimately periodic set. We show that both satisfiability and finite satisfiability of the logic ar...
We are concerned with describing the structure of the set of points in the unit interval which, when subjected to rotation by irrational alpha modulo one, for all finite portions of the orbit contain at least as many points in the bottom half of th...
At finite temperatures ($\geq 10^7$K), $^{76}$Se is abundant in the core of massive stars and electron capture on $^{76}$Se has a consequential role to play in the dynamics of core collapse. The present work may be classified into two main categories...
We propose a new model to calculate stellar electron capture rates for neutron-rich nuclei. These nuclei are encountered in the core-collapse of a massive star. Using the Shell Model Monte Carlo approach, we first calculate the finite temperature o...
We study quadratic approximations for two families of hyperquadratic continued fractions in the field of Laurent series over a finite field. As the first application, we give the answer to a question of the second author concerning Diophantine expone...
As an analogue of Mahler's classification for real numbers, Bundschuh introduced a classification for Laurent series over a finite field, divided into $A,S,T,U$-numbers.It is known that each of $A,S,U$-numbers is nonempty.On the other hand, the exist...
We study the spectral representation of finite temperature, out of time ordered (OTO) correlators on the multi-time-fold generalised Schwinger-Keldysh contour. We write the contour-ordered correlators as a sum over time-order permutations acting on a...
We investigate a correspondence between the complexity hierarchy of constraint satisfaction problems and a hierarchy of logical compactness hypotheses for finite relational structures. It seems that the harder a constraint satisfaction problem is, th...
Jun 23, 2016 · "Starring" is the form used for gerunds and present participles. Those are non-finite verb forms. They do not create predicates. This film stars Dustin Hoffman. a film starring Dustin Hoffman …
Birman-Menasco proved that there are finitely many knots having a given genus and braid index. We give a quantitative version of Birman-Menasco finiteness theorem, an estimate of the crossing number of knots in terms of genus and braid index. This ha...
Siran constructed infinite families of k-crossing-critical graphs for every k > 2 and Kochol constructed such families of simple graphs for every k > 1. Richter and Thomassen argued that, for any given k > 0 and r > 5, there are only finitely many...
We present the third generation of the constraint answer set system clingcon, combining Answer Set Programming (ASP) with finite domain constraint processing (CP). While its predecessors rely on a black-box approach to hybrid solving by integrating t...
The game of Cops and Robber is traditionally played on a finite graph. The purpose of this note is to introduce and analyze the game that is played on an arbitrary geodesic space. The game is defined in such a way that it preserves the beauty and pow...
gprMax is open source software that simulates electromagnetic wave propagation using the Finite-Difference Time-Domain (FDTD) method for numerical modelling of Ground Penetrating Radar (GPR) (⭐ 813)
This paper proposes a novel method for designing finite-horizon discrete-valued switching signals in linear switched systems based on discreteness-promoting regularization. The inherent combinatorial optimization problem is reformulated as a continuo...
The intrusive (sample-free) spectral stochastic finite element method (SSFEM) is a powerful numerical tool for solving stochastic partial differential equations (PDEs). However, it is not widely adopted in academic and industrial applications because...
In this article, we address Amit--Ashurst conjecture on lower bounds of a probability distribution associated to a word on a finite nilpotent group. We obtain an extension of a result of Camina, Iniguez, and Thillaisundaram by providing improved boun...
We describe numerical and analytical investigations of causal sets sprinkled into spacetime manifolds. The first part of the paper is a numerical study of finite causal sets sprinkled into Alexandrov subsets of Minkowski spacetime of dimensions $1 +...
Relativistic treatment of the finite speed of light correction in absolute gravimeters, as evolved by Rothleitner and Francis in Metrologia 2011, 48 442-445, following the initial publication in Metrologia 2011, 48 187-195, leads to spurious conclusi...
We construct a finitely-presented group such that its Vogel-Levine localization is not transfinitely nilpotent. This answers a problem of J. P. Levine....
We give an efficient deterministic algorithm that outputs an expanding generating set for any finite abelian group. The size of the generating set is close to the randomized construction of Alon and Roichman (1994), improving upon various determinist...
This work concerns the construction and characterization of product kernels for multivariate approximation from a finite set of discrete samples. To this end, we consider composing different component kernels, each acting on a low-dimensional Euclide...
Infinitary Combinatorics shows interesting contrasts, with many similarities but also several important differences with its finite analog. The purpose of this paper is to present some concrete examples, both of similarities and of radical difference...
Finite difference solution of 2D Poisson equation. Can handle Dirichlet, Neumann and mixed boundary conditions. (⭐ 75)
We translate Brown's criterion for homological finiteness properties to the setting of Bredon homology....
We show that Brown's lemma is equivalent to Sigma02-induction over RCA0* and that the finite version of Brown's lemma is provable in RCA0 but not in RCA0*....
We give a simple proof that the orbit space of the $p$-subgroup complex of a finite group is contractible using Brown-Forman discrete Morse theory. This result was originally conjectured by Webb and proved by Symonds....
In this paper, we shed new light on the Flexible Atom Conjecture. We first give finite representation results for relation algebras $33_{37}, 35_{37}$, $77_{83}$, $78_{83}$, $80_{83}$, $82_{83}$, $83_{83}$, $1310_{1316}$, $1313_{1316}$, $1315_{1316}$...
A classical result, the Stone embedding, characterizes profinite sets as totally disconnected, compact Hausdorff spaces. Building on "Pyknotic objects, I. Basic notions", which introduced a derived Stone embedding of the pro-category of $π$-finite s...
Profinite algebras are the residually finite compact algebras; their underlying topological spaces are Stone spaces. We extend the theory of profinite algebras to a more general setting of Stone topological algebras. We introduce Stone pseudovarietie...