title: Data-Driven Sample Average Approximation with Covariate Information

abstract: We study optimization for data-driven decision-making when we have observations of the uncertain parameters within the optimization model together with concurrent observations of covariates. Given a new covariate observation, the goal is to choose a decision that minimizes the expected cost conditioned on this observation. We investigate three data-driven frameworks that integrate a machine learning prediction model within a stochastic programming sample average approximation (SAA) for approximating the solution to this problem. Two of the SAA frameworks are new and use out-of-sample residuals of leave-one-out prediction models for scenario generation. The frameworks we investigate are flexible and accommodate parametric, nonparametric, and semiparametric regression techniques. We derive conditions on the data generation process, the prediction model, and the stochastic program under which solutions of these data-driven SAAs are consistent and asymptotically optimal, and also derive convergence rates and finite sample guarantees. Computational experiments validate our theoretical results, demonstrate the potential advantages of our data-driven formulations over existing approaches (even when the prediction model is misspecified), and illustrate the benefits of our new data-driven formulations in the limited data regime.


title: The Segre-Verlinde correspondence for the moduli space of stable bundles on a curve

abstract: We show that the classic Verlinde numbers on the moduli space of semistable vector bundles on a smooth projective curve can also be regarded as Segre numbers of natural universal complexes over the moduli space.


title: On technical considerations of UCI-regulated velodrome track design

abstract: A novel approach to velodrome design for UCI-regulated tracks is presented. The mathematical model uses differential geometry to form a three-dimensional ruled surface. The surface accounts for the safety zone, blue band, and track region, the latter of which is comprised of three types of segments: straight lines, the arcs of circles, and connecting transition curves. Following a first-principles approach, the general expressions are derived from the Frenet-Serret relations, as a function of the banking and curvature profiles, lengths of curve segments, and turn radii of the bends. Given the underdetermined nature of the design problem, particular solutions are obtained using a least-squares minimization of an objective function, within the framework of numerical optimization. Computer renderings of two designs, a symmetric assembly of quadrants as well as an asymmetric one, are presented to demonstrate the versatility of the approach, which may be used to design velodrome tracks of any UCI Category and track geometry specification.


title: $D$-dimensional cellular automata provide Salem's singular function $L_{\alpha}$ with $\alpha=1/(2D+1)$ and $1/(2^D+1)$

abstract: Salem's singular function is strictly increasing, continuous, and has a derivative equal to zero almost everywhere in $[0,1]$; it is also known as de Rham's singular function or Lebesgue's singular function. The parameter of Salem's singular function $L_{\alpha}$ is $\alpha \in (0, 1)$ and $\alpha \neq 1/2$. Our previous studies have shown that for some cases of which the limit set of spatio-temporal pattern of a cellular automaton (CA) is fractal, Salem's singular function with $\alpha = 1/3$, $1/4$, or $1/5$ is given by projecting the pattern onto the time axis. However, it remained unclear whether there exists a CA that gives Salem's singular function with a parameter $\alpha$ equal to the multiplicative inverse of an integer greater than $5$. In this paper, we construct CAs giving Salem's singular function with $\alpha= 1/(2D+1)$ and $\alpha = 1/(2^D+1)$ for each dimension $D \geq 1$. This implies that there exist CAs that give Salem's function with a parameter $\alpha$ equal to the multiplicative inverse of any integer greater than or equal to $3$. We also present the results of numerical experiments showing that for $D \leq 5$, the functions given by $D$-dimensional linear symmetric $2$-state radius-$1$ CAs other than the above two types cannot be Salem's function with $\alpha = 1/M$ for $M \in {\mathbb Z}_{\geq 3}$. In addition to the square lattice, the triangular and hexagonal lattices can be considered as regular lattices in the two-dimensional plane, and we also discuss functions obtained from CAs on these lattices.


title: On connection of the cosmic-ray coplanarity of most energetic particles with the collider long-range near-side "ridge" effect

abstract: Coplanarity of subcores of $\gamma$-ray--hadron families found in cosmic-ray experiments at $E_0 \gtrsim 10^{16}$ eV requires appearance of a coplanar generation of most energetic particles. Long-range near-side "ridge" effect in $ pp$ collisions at $\sqrt{s} = 7$ TeV was found by the CMS Collaboration in two-particle $\Delta\eta - \Delta\varphi$ correlation functions at $|\Delta\eta| \gtrsim 3$ and $|\Delta\varphi| \approx 0$. The FANSY 2.0 model reproduces both the hadron coplanarity and "ridge" effect.


title: Balanced Encoding of Near-Zero Correlation for an AES Implementation

abstract: Power analysis poses a significant threat to the security of cryptographic algorithms, as it can be leveraged to recover secret keys. While various software-based countermeasures exist to mitigate this non-invasive attack, they often involve a trade-off between time and space constraints. Techniques such as masking and shuffling, while effective, can noticeably impact execution speed and rely heavily on run-time random number generators. On the contrary, internally encoded implementations of block ciphers offer an alternative approach that does not rely on run-time random sources, but it comes with the drawback of requiring substantial memory space to accommodate lookup tables. Internal encoding, commonly employed in white-box cryptography, suffers from a significant security limitation as it does not effectively protect the secret key against statistical analysis. To overcome this weakness, this paper introduces a secure internal encoding method for an AES implementation. By addressing the root cause of vulnerabilities found in previous encoding methods, we propose a balanced encoding technique that aims to minimize the problematic correlation with key-dependent intermediate values. We analyze the potential weaknesses associated with the balanced encoding and present a method that utilizes complementary sets of lookup tables. In this approach, the size of the lookup tables is approximately 512KB, and the number of table lookups is 1,024. This is comparable to the table size of non-protected white-box AES-128 implementations, while requiring only half the number of lookups. By adopting this method, our aim is to introduce a non-masking technique that mitigates the vulnerability to statistical analysis present in current internally-encoded AES implementations.


title: D3C2-Net: Dual-Domain Deep Convolutional Coding Network for Compressive Sensing

abstract: Mapping optimization algorithms into neural networks, deep unfolding networks (DUNs) have achieved impressive success in compressive sensing (CS). From the perspective of optimization, DUNs inherit a well-defined and interpretable structure from iterative steps. However, from the viewpoint of neural network design, most existing DUNs are inherently established based on traditional image-domain unfolding, which takes one-channel images as inputs and outputs between adjacent stages, resulting in insufficient information transmission capability and inevitable loss of the image details. In this paper, to break the above bottleneck, we first propose a generalized dual-domain optimization framework, which is general for inverse imaging and integrates the merits of both (1) image-domain and (2) convolutional-coding-domain priors to constrain the feasible region in the solution space. By unfolding the proposed framework into deep neural networks, we further design a novel Dual-Domain Deep Convolutional Coding Network (D3C2-Net) for CS imaging with the capability of transmitting high-throughput feature-level image representation through all the unfolded stages. Experiments on natural and MR images demonstrate that our D3C2-Net achieves higher performance and better accuracy-complexity trade-offs than other state-of-the-arts.


title: Correlations Between COVID-19 and Dengue

abstract: A dramatic increase in the number of outbreaks of Dengue has recently been reported, and climate change is likely to extend the geographical spread of the disease. In this context, this paper shows how a neural network approach can incorporate Dengue and COVID-19 data as well as external factors (such as social behaviour or climate variables), to develop predictive models that could improve our knowledge and provide useful tools for health policy makers. Through the use of neural networks with different social and natural parameters, in this paper we define a Correlation Model through which we show that the number of cases of COVID-19 and Dengue have very similar trends. We then illustrate the relevance of our model by extending it to a Long short-term memory model (LSTM) that incorporates both diseases, and using this to estimate Dengue infections via COVID-19 data in countries that lack sufficient Dengue data.


title: Homogeneous involution on graded division algebras and their polynomial identities

abstract: In this short note, we describe the so-called homogeneous involution on finite-dimensional graded-division algebra over an algebraically closed field. We also compute their graded polynomial identities with involution. As pointed out by L. Fonseca and T. de Mello, a homogeneous involution naturally appears when dealing with graded polynomial identities and a compatible involution.


title: Dual forms of the orthogonality relations of q-orthogonal polynomials

abstract: In this paper, by introducing new matrix operations and using a specific inverse relation, we establish the dual forms of the orthogonality relations for some well-known discrete and continuous q-orthogonal polynomials from the Askey-scheme such as the little and big q-Jacobi, q-Racah, (generalized) q-Laguerre, as well as the Askey-Wilson polynomials. As one of the most interesting results, we show that the Askey-Wilson q-beta integral represented in terms of the VWP-balanced 8{\phi}7 series is just a dual form of the orthogonality relation of the Askey-Wilson polynomials.


title: Yielding in multi-component metallic glasses: Universal signatures of elastic modulus heterogeneities

abstract: Sheared multi-component bulk metallic glasses are characterized by both chemical and structural disorder that define their properties. We investigate the behavior of the local, microstructural elastic modulus across the plastic yielding transition in six Ni-based multi-component glasses, that are characterized by compositional features commonly associated with solid solution formability. We find that elastic modulus fluctuations display consistent percolation characteristics pointing towards universal behavior across chemical compositions and overall yielding sharpness characteristics. Elastic heterogeneity grows upon shearing via the percolation of elastically soft clusters within an otherwise rigid amorphous matrix, confirming prior investigations in granular media and colloidal glasses. We find clear signatures of percolation transition with spanning clusters that are universally characterized by scale-free characteristics and critical scaling exponents. The spatial correlation length and mean cluster size tend to diverge prior to yielding, with associated critical exponents that exhibit fairly weak dependence on compositional variations as well as macroscopic stress-strain curve details.


title: Prompt cusp formation from the gravitational collapse of peaks in the initial cosmological density field

abstract: I present an analytic model for the early post-collapse evolution of a spherical density peak on the coherence scale of the initial fluctuations in a universe filled with collisionless and pressure-free "dust". On a time-scale which is short compared to the peak's collapse time $t_0$, its inner regions settle into an equilibrium cusp with a power-law density profile, $\rho\propto r^{-12/7}$. Within this cusp, the circular orbit period $P$ at each radius is related to the enclosed mass $M$ by $P = t_0 (M/M_c)^{2/3}$ where $M_c$ is a suitably defined characteristic mass for the initial peak. The relaxation mechanism which produces this cusp gives insight into those which are active in high-resolution simulations of first halo formation in Cold or Warm Dark Matter universes, and, indeed, a simple argument suggests that the same power-law index $\gamma=-12/7$ should describe the prompt cusps formed during the collapse of generic peaks, independent of any symmetry assumption. Further work is needed to investigate whether additional factors are required to explain the slightly flatter exponent, $\gamma\approx -1.5$, found in high-resolution numerical simulations of peak collapse.


title: Stochastic modeling using Adomian method and fractionnal differential equations

abstract: In this paper, we propose a fractional differential equation of order one-half, to model the evolution through time of the dynamics of accumulation and elimination of the contaminant in human organism with a deficient immune system, during consecutive intakes of contaminated food. This process quantifies the exposure to toxins of subjects living with comorbidity (children not breast-fed, the elderly, pregnant women) to food-born diseases. The Adomian Decomposition Method and the fractional integration of Riemann Liouville are used in the modeling processes.


title: Soft logarithms in processes with heavy quarks

abstract: Observables involving heavy quarks can be computed in perturbative QCD in two different approximation schemes: either the quark mass dependence is fully retained, or it is retained only where needed to regulate the collinear singularity. The two schemes have different advantages and drawbacks. In particular, it is known that the structure of large logarithms arising from soft emissions is different in the two approaches. We investigate the origin of this difference in some detail, focussing on a few specific processes. We show that it is related to the non-commutativity of the small-mass and soft-emission limits. Finally, we perform the resummation of soft-emission logarithms to next-to-leading accuracy in the case of Higgs decay into a $b\bar b$ pair, in the scheme in which the quark mass dependence is fully accounted for.


title: An enhancement of formation of unstable $^{8}$Be nucleus with the growth of $\alpha$-particle multiplicity in fragmentation of relativistic nuclei

abstract: In this paper, the correlation between the formation of the unstable $^{8}$Be nucleus and accompanying $\alpha$ particles in the fragmentation of relativistic $^{16}$O, $^{22}$Ne, $^{28}$Si, and $^{197}$Au nuclei in a nuclear track emulsion is investigated. The $^{8}$Be decays are identified in a wide energy range by invariant masses calculated from 2$\alpha$-pair opening angles. The adopted approximations are verified by data on fragmentation of $^{16}$O nuclei in a hydrogen bubble chamber in a magnetic field. An increase in the $^{8}$Be contribution to the dissociation with the growth of $\alpha$-particle multiplicity is found.


title: Low-Dimensional Life of Critical Anderson Electron

abstract: We show that critical Anderson electron in 3 dimensions is present in its spatial effective support, which was recently determined to be a region of fractal dimension $\approx \! 8/3$, with probability 1 in infinite volume. Hence, its physics is fully confined to space of this lower dimension. Stated differently, effective description of space occupied by critical Anderson electron becomes a full description in infinite volume. We then show that it is a general feature of the effective counting dimension underlying these concepts, that its subnominal value implies an exact description by effective support.


title: Sharpness and non-sharpness of occupation measure bounds for integral variational problems

abstract: We analyze two recently proposed methods to establish a priori lower bounds on the minimum of general integral variational problems. The methods, which involve either `occupation measures' or a `pointwise dual relaxation' procedure, are shown to produce the same lower bound under a coercivity hypothesis ensuring their strong duality. We then show by a minimax argument that the methods actually evaluate the minimum for classes of one-dimensional, scalar-valued, or convex multidimensional problems. For generic problems, however, these methods should fail to capture the minimum and produce non-sharp lower bounds. We demonstrate this using two examples, the first of which is one-dimensional and scalar-valued with a non-convex constraint, and the second of which is multidimensional and non-convex in a different way. The latter example emphasizes the existence in multiple dimensions of nonlinear constraints on gradient fields that are ignored by occupation measures, but are built into the finer theory of gradient Young measures.


title: Scaling asymptotics of spectral Wigner functions

abstract: We prove that smooth Wigner-Weyl spectral sums at an energy level $E$ exhibit Airy scaling asymptotics across the classical energy surface $\Sigma_E$. This was proved earlier by the authors for the isotropic harmonic oscillator and the proof is extended in this article to all quantum Hamiltonians $-\hbar^2 \Delta + V$ where $V$ is a confining potential with at most quadratic growth at infinity. The main tools are the Herman-Kluk initial value parametrix for the propagator and the Chester-Friedman-Ursell normal form for complex phases with a one-dimensional cubic degeneracy. This gives a rigorous account of Airy scaling asymptotics of spectral Wigner distributions of M.V. Berry, A. Ozorio de Almeida and other physicists.


title: Membership Inference Attacks via Adversarial Examples

abstract: The raise of machine learning and deep learning led to significant improvement in several domains. This change is supported by both the dramatic rise in computation power and the collection of large datasets. Such massive datasets often include personal data which can represent a threat to privacy. Membership inference attacks are a novel direction of research which aims at recovering training data used by a learning algorithm. In this paper, we develop a mean to measure the leakage of training data leveraging a quantity appearing as a proxy of the total variation of a trained model near its training samples. We extend our work by providing a novel defense mechanism. Our contributions are supported by empirical evidence through convincing numerical experiments.


title: Bartlett's Delta revisited: Variance-optimal hedging in the lognormal SABR and in the rough Bergomi model

abstract: We derive analytic expressions for the variance-optimal hedging strategy and its mean-square hedging error in the lognormal SABR and in the rough Bergomi model. In the SABR model, we show that the variance-optimal hedging strategy coincides with the Delta adjustment of Bartlett [Wilmott magazine 4/6 (2006)]. We show both mathematically and in simulation that the efficiency of the variance-optimal strategy (in comparison to simple Delta hedging) depends strongly on the leverage parameter rho and - in a weaker sense - also on the roughness parameter H of the model, and give a precise quantification of this dependency.


title: Reduction by Symmetry in Obstacle Avoidance Problems on Riemannian Manifolds

abstract: This paper studies the reduction by symmetry of a variational obstacle avoidance problem. We derive the reduced necessary conditions in the case of Lie groups endowed with a left-invariant metric, and for its corresponding Riemannian homogeneous spaces by considering an alternative variational problem written in terms of a connection on the horizontal bundle of the Lie group. A number of special cases where the obstacle avoidance potential can be computed explicitly are studied in detail, and these ideas are applied to the obstacle avoidance task for a rigid body evolving on SO$(3)$ and for the unit sphere $S^2$.


title: Resonant behavior of the $pp \to \{pp\}_s \pi^0$ reaction at the energy $\sqrt{s}$ = 2.65 GeV

abstract: We report on measurements of the differential cross section $d\sigma/d\Omega$ in the energy region of $\sqrt{s}$ = 2.5-2.9 GeV of the reaction $pp \to \{pp\}_s \pi^0$ where $\{pp\}_s$ is a $^1\!S_0$ proton pair. The experiment has been performed with the ANKE spectrometer at COSY-J\"ulich. The data reveal a peak in the energy dependence of the forward $\{pp\}_s$ differential cross section at the energy $\sqrt{s}$ = 2.65 GeV with the width $\Gamma$ = 0.26 GeV, and also the cross section slope changes its sign in the region of the observed peak. This is an indication for the excitation of a new $D(2650)$ resonant state, that may be a dibaryon resonance system consisting of two excited baryons $\Delta(1232)$ and $N^*(1440)$.


title: Structure of $^{128,129,130}$Xe through multi-reference energy density functional calculations

abstract: Recently, values for the Kumar quadrupole deformation parameters of the nucleus $^{130}$Xe have been computed from the results of a Coulomb excitation experiment, indicating that this xenon isotope has a prominent triaxial ground state. Within a different context, it was recently argued that the analysis of particle correlations in the final states of ultra-relativistic heavy-ion collisions performed at the Large Hadron Collider (LHC) points to a similar structure for the adjacent isotope, $^{129}$Xe. In the present work, we report on state-of-the-art multi-reference energy density functional calculations that combine projection on proton and neutron number as well as angular momentum with shape mixing for the three isotopes $^{128,129,130}$Xe using the Skyrme-type pseudo-potential SLyMR1. Exploring the triaxial degree of freedom, we demonstrate that the ground states of all three isotopes display a very pronounced triaxial structure. Moreover, comparison with experimental results shows that the calculations reproduce fairly well the low-energy excitation spectrum of the two even-mass isotopes. By contrast, the calculation of $^{129}$Xe reveals some deficiencies of the effective interaction.


title: Scalable Proof Producing Multi-Threaded SAT Solving with Gimsatul through Sharing instead of Copying Clauses

abstract: We give a first account of our new parallel SAT solver Gimsatul. Its key feature is to share clauses physically in memory instead of copying them, which is the method of other state-of-the-art multi-threaded SAT solvers to exchange clauses logically. Our approach keeps information about which literals are watched in a clause local to a solving thread but shares the actual immutable literals of a clause globally among all solving threads. This design gives quite remarkable parallel scalability, allows aggressive clause sharing while keeping memory usage low and produces more compact proofs.


title: NLOS Transmission Analysis for Mobile SLIPT Using Resonant Beam

abstract: Simultaneous lightwave information and power transfer (SLIPT) is a potential way to meet the demands of sustainable power supply and high-rate data transfer in next-generation networks. Although resonant beam-based SLIPT (RB-SLIPT) can realize high-power energy transfer, high-rate data transfer, human safety, and self-alignment simultaneously, mobile transmission channel (MTC) analysis under non-line-of-sight (NLOS) propagation has not been investigated. In this paper, we propose analytical models and simulation tools for reflector-assisted NLOS transmission of RB-SLIPT, where transmission loss and accurate beam field profile of NLOS MTC can be obtained with a receiver at arbitrary positions and attitude angles. We establish analytical models relying on full diffraction theory for beam propagation between tilted or off-axis planes. Then, we provide three numerical methods (i.e., NUFFT-based, cubic interpolation-based, and linear interpolation-based methods) in simulations. Moreover, to deal with the contradiction between limited computing memory and high sampling requirements for long-range transmission analysis, we propose a multi-hop sliding window approach, which can reduce the sampling number by a factor of thousands. Finally, numerical results demonstrate that RB-SLIPT can achieve $4$W charging power and $12$bit/s/Hz data rate over $2$m distance in NLOS scenarios.


title: Coincidence postselection for genuine multipartite nonlocality: Causal diagrams and threshold efficiencies

abstract: Genuine multipartite nonlocality (GMN), the strongest form of multipartite nonlocality that describes fully collective nonlocal correlations among all experimental parties, can be observed when different distant parties each locally measure a particle from a shared entangled many-particle state. For the demonstration of GMN, the experimentally observed statistics are typically postselected: Events for which some parties do not detect a particle must be discarded. This coincidence postselection generally leads to the detection loophole that invalidates a proper nonlocality demonstration. In this work, we address how to close the detection loophole for a coincidence detection in demonstrations of nonlocality and GMN. We first show that if the number of detected particles is conserved, i.e., using ideal and noiseless experimental devices, one can employ causal diagrams and the no-signalling principle to prove that a coincidence postselection cannot create any detection loophole. Furthermore, for realistic experimental devices with finite detection efficiencies, we show how a general Bell inequality can be sharpened such that its new version is still valid after a postselection of the measurement data. In this case, there are threshold detection efficiencies that, if surpassed in the experiment, lead to the possibility to demonstrate nonlocality and GMN without opening the detection loophole. Our results imply that genuine $N$-partite nonlocality can be generated from $N$ independent particle sources even when allowing for non-ideal detectors.


title: Determination of Thickness-dependent Damping Constant and Plasma Frequency for Ultrathin Ag and Au Films: Nanoscale Dielectric Function

abstract: There is an ever increasing interest in the development of plasmonic 2D nanomaterials, with widespread applications in optoelectronics, high resolution microscopy, imaging and sensing, among others. With the current ability of ultrathin noble metal film deposition down to a few monolayers in thickness, there is a need for an analytical expression of the thickness dependent complex dielectric function for predicting optical properties for arbitrary thicknesses. The free and bound electron contributions to the dielectric function are dealt with independently, since their influences affect separate wavelengths ranges. The former is dealt within the Drude model framework for large wavelengths with appropriately addressed damping constant and plasma frequency parameters to account for thickness dependence. Applying our previously developed method, we determine these parameters for specific film thicknesses, based on refractive index experimental values for Ag and Au thin films. Fitting separately each one of these parameters allowed us to find an analytical expression for their dependence on arbitrary film thickness and consequently for the free electron contribution. Concerning bound electrons, it is seen that its contribution for small wavelengths is the same for all analyzed thicknesses and may be set equal to the bulk bound contribution. Taking all these facts into account, the complex dielectric function can be rewritten analytically, in terms of the bulk dielectric function plus corrective film thickness dependent terms. In particular, the fitting process for the damping constant allows us to determine that the electron scattering at the film boundary is mainly diffusive (inelastic) for both silver and gold thin films. It is also shown that, in accordance with theoretical studies, plasma frequency shows a red shift as the film thickness decreases.


title: Disintegration of Gaussian Measures for Sequential Assimilation of Linear Operator Data

abstract: Gaussian processes appear as building blocks in various stochastic models and have been found instrumental to account for imprecisely known, latent functions. It is often the case that such functions may be directly or indirectly evaluated, be it in static or in sequential settings. Here we focus on situations where, rather than pointwise evaluations, evaluations of prescribed linear operators at the function of interest are (sequentially) assimilated. While working with operator data is increasingly encountered in the practice of Gaussian process modelling, mathematical details of conditioning and model updating in such settings are typically by-passed. Here we address these questions by highlighting conditions under which Gaussian process modelling coincides with endowing separable Banach spaces of functions with Gaussian measures, and by leveraging existing results on the disintegration of such measures with respect to operator data. Using recent results on path properties of GPs and their connection to RKHS, we extend the Gaussian process - Gaussian measure correspondence beyond the standard setting of Gaussian random elements in the Banach space of continuous functions. Turning then to the sequential settings, we revisit update formulae in the Gaussian measure framework and establish equalities between final and intermediate posterior mean functions and covariance operators. The latter equalities appear as infinite-dimensional and discretization-independent analogues of Gaussian vector update formulae.


title: Production of proton-rich nuclei in the vicinity of 100Sn via multinucleon transfer reactions

abstract: The production of new proton-rich nuclei in the vicinity of 100Sn is investigated via multinucleon transfer reactions within the framework of microscopic time-dependent Hartree-Fock (TDHF) and statistical model GEMINI++. The TDHF+GEMINI method has demonstrated the reliable description in the multinucleon transfer dynamics and the agreement between theoretical results and experimental data is quite satisfactory in the observed transfer reactions. We reveal the production cross sections of proton-rich nuclei in 100Sn region via multinucleon transfer reactions to be several orders of magnitude higher than those measured via fusion-evaporation and projectile fragmentation experiments. About 19 new proton-rich isotopes with cross sections of larger than 1 nb are predicted to be produced in multinucleon transfer reaction of 58Ni with 112Sn. The reaction mechanisms are discussed to lead the experimental production of these previously unreported nuclei. Multinucleon transfer reactions provide a fascinating possibility to reach the proton drip-line in 100Sn region and beyond.


title: Towards the Neuroevolution of Low-level Artificial General Intelligence

abstract: In this work, we argue that the search for Artificial General Intelligence (AGI) should start from a much lower level than human-level intelligence. The circumstances of intelligent behavior in nature resulted from an organism interacting with its surrounding environment, which could change over time and exert pressure on the organism to allow for learning of new behaviors or environment models. Our hypothesis is that learning occurs through interpreting sensory feedback when an agent acts in an environment. For that to happen, a body and a reactive environment are needed. We evaluate a method to evolve a biologically-inspired artificial neural network that learns from environment reactions named Neuroevolution of Artificial General Intelligence (NAGI), a framework for low-level AGI. This method allows the evolutionary complexification of a randomly-initialized spiking neural network with adaptive synapses, which controls agents instantiated in mutable environments. Such a configuration allows us to benchmark the adaptivity and generality of the controllers. The chosen tasks in the mutable environments are food foraging, emulation of logic gates, and cart-pole balancing. The three tasks are successfully solved with rather small network topologies and therefore it opens up the possibility of experimenting with more complex tasks and scenarios where curriculum learning is beneficial.


title: An introductory lecture on Generalised Parton Distributions

abstract: These lecture notes on Generalised Parton Distributions aim at providing a general picture of the field on the theoretical and phenomenological sides to master and Ph.D. students. They go along with the lecture given at the Baryon International School of Physics in 2021.


title: Error-analysis for the Sorkin and Peres tests performed on a quantum computer

abstract: We use quantum computers to test the foundations of quantum mechanics through quantum algorithms that implement some of the experimental tests as the basis of the theory's postulates. These algorithms can be used as a test of the physical theory under the premise of a perfect hardware or as a test of the hardware under the premise that quantum theory is correct. In this paper, we show how the algorithms can be used to test the efficacy of a quantum computer in obeying the postulates of quantum mechanics. We study the effect of different types of errors on the results of experimental tests of the postulates. A salient feature of this error analysis is that it is deeply rooted in the fundamentals of quantum mechanics as it highlights how systematic errors affect the quantumness of the quantum computer.


title: Encoding Concepts in Graph Neural Networks

abstract: The opaque reasoning of Graph Neural Networks induces a lack of human trust. Existing graph network explainers attempt to address this issue by providing post-hoc explanations, however, they fail to make the model itself more interpretable. To fill this gap, we introduce the Concept Encoder Module, the first differentiable concept-discovery approach for graph networks. The proposed approach makes graph networks explainable by design by first discovering graph concepts and then using these to solve the task. Our results demonstrate that this approach allows graph networks to: (i) attain model accuracy comparable with their equivalent vanilla versions, (ii) discover meaningful concepts that achieve high concept completeness and purity scores, (iii) provide high-quality concept-based logic explanations for their prediction, and (iv) support effective interventions at test time: these can increase human trust as well as significantly improve model performance.


title: Identifying $D$ mesons from Radiative $W$ decays at the Large Hadron Collider

abstract: In this paper we present two machine learning algorithms to identify $D$ mesons produced in a color singlet state from radiative $W$ boson decays at the LHC. The combined network algorithm is able to identify $D$ mesons via its hadronic decays with an efficiency of 47% while suppressing a background of quark and gluon jets by a factor of 100. Using the developed algorithm, we perform a prospective study for the measurement of $\mathcal{B}(W\to D_{s}\gamma)$.


title: Resonant single-shot CNOT in remote double quantum dot spin qubits

abstract: A critical element towards the realization of scalable quantum processors is non-local coupling between nodes. Scaling connectivity beyond nearest-neighbor interactions requires the implementation of a mediating interaction often termed a 'quantum bus'. Cavity photons have long been used as a bus by the superconducting qubit community, but it has only recently been demonstrated that spin-based qubits in double quantum dot architectures can reach the strong coupling regime and exhibit spin-spin interactions via the exchange of real or virtual photons. Two-qubit gate operations are predicted in the dispersive regime where cavity loss plays a less prominent role. In this work we propose a framework for ac-driven quantum gates, in the context of a CNOT operation, between two non-local single-spin qubits dispersively coupled to a common mode of a superconducting resonator. We expect gate times near 150 ns and fidelities above 90% with existing technology.


title: Categorification of Negative Information using Enrichment

abstract: In many engineering applications it is useful to reason about "negative information". For example, in planning problems, providing an optimal solution is the same as giving a feasible solution (the "positive" information) together with a proof of the fact that there cannot be feasible solutions better than the one given (the "negative" information). We model negative information by introducing the concept of "norphisms", as opposed to the positive information of morphisms. A "nategory" is a category that has "nom"-sets in addition to hom-sets, and specifies the interaction between norphisms and morphisms. In particular, we have composition rules of the form morphism + norphism $\to$ norphism. Norphisms do not compose by themselves; rather, they use morphisms as catalysts. After providing several applied examples, we connect nategories to enriched category theory. Specifically, we prove that categories enriched in de Paiva's dialectica categories GC, in the case C = Set and equipped with a modified monoidal product, define nategories which satisfy additional regularity properties. This formalizes negative information categorically in a way that makes negative and positive morphisms equal citizens.


title: Rogue waves with two different double-periodic wave backgrounds and their modulational instabilities of a fifth-order nonlinear Schr\"odinger equation

abstract: In this article, we derive rogue wave (RW) solutions of a fifth-order nonlinear Schr\"odinger equation over a double-periodic wave background. Choosing the elliptic functions (combinations of $cn$, $dn$ and $sn$) as seed solutions in the first iteration of Darboux transformation and utilizing the nonlinearization of Lax pair procedure, we create the double-periodic wave background for the fifth-order nonlinear Schr\"odinger equation. By introducing the second linearly independent solution, we generate the RW solutions on the created background for three different eigenvalues. We demonstrate the differences that occur in the appearance of RWs due to the lower-order and higher-order dispersions terms. We examine the derived solution in detail for certain system and elliptic modulus parameters values and highlight some interesting features that we obtain from our studies. We also calculate the growth rate for instability of double-periodic solutions under different values of elliptic modulus parameter.


title: RobotIO: A Python Library for Robot Manipulation Experiments

abstract: Setting up robot environments to quickly test newly developed algorithms is still a difficult and time consuming process. This presents a significant hurdle to researchers interested in performing real-world robotic experiments. RobotIO is a python library designed to solve this problem. It focuses on providing common, simple, and well structured python interfaces for robots, grippers, and cameras, etc. These are provided with implementations of these interfaces for common hardware. This enables code using RobotIO to be portable across different robot setups. In terms of architecture, RobotIO is designed to be compatible with OpenAI gym environments, as well as ROS; examples of both of these are provided. The library comes together with a number of helpful tools, such as camera calibration scripts and episode recording functionality that further support algorithm development.


title: Non-perturbative determination of the collisional broadening kernel and medium-induced radiation in QCD plasmas

abstract: Collisional broadening in QCD plasmas leads to the emission of medium induced radiation, which governs the energy loss of highly energetic particles or jets. While recent studies have obtained non-perturbative contributions to the collisional broadening kernel $C(b_\bot)$ using lattice simulation of the dimensionally reduced long-distance effective theory of QCD, Electrostatic QCD (EQCD), so far all phenomenological calculations of jet quenching rely on perturbative determinations of the collisional broadening kernel. By matching the short-distance behavior of the lattice extracted EQCD broadening kernel, we determine the fully matched QCD broadening kernel non-perturbatively. We present results for the collisional broadening kernel in impact-parameter ($C_{\rm QCD}(b_\bot)$)) and momentum space ($C_{\rm QCD}(q_\bot)$) and employ them to determine the rates of medium induced radiation in infinite and finite size QCD plasmas. By contrasting our results with leading and next-to-leading order perturbative determinations as well as various approximations of the splitting rates employed in the literature, we investigate the effect of the non-peturbative determination of CQCD($q_\bot$) on medium-induced radiation rates.


title: Higgs in Nilpotent Supergravity: Vacuum Energy and Festina Lente

abstract: In this note we study supergravity models with constrained superfields. We construct a supergravity framework in which all (super)symmetry breaking dynamics happen in vacuum with naturally (or otherwise asymptotically) vanishing energy. Supersymmetry is generically broken in multiple sectors each of them is parametrized by a nilpotent goldstino superfield. Dynamical fields (the Higgs, inflaton, etc) below the supersymmetry breaking scale are constrained superfields of various types. In this framework, there is a dominant supersymmetry breaking sector which uplifts the potential to zero value. Other sources of supersymmetry breaking have (asymptotically) vanishing contribution to vacuum energy such that supersymmetry is locally restored. Demanding vanishing vacuum energy constrains the structure of the superpotential and Kahler potential; there is a superpotential term for each secluded sector directly interacting with a nilpotent superfield and the Kahler potential must have a shift symmetry along Higgs field directions. This structure is inspired by elements that appear in string theory. We also study the Higgs dynamics during inflation and show that the swampland Festina Lente bound could be realized in this framework.


title: Exact spectral norm error of sample covariance

abstract: Let $X_1,\ldots,X_n$ be i.i.d. centered Gaussian vectors in $\mathbb{R}^p$ with covariance $\Sigma$, and let $\hat{\Sigma}\equiv n^{-1}\sum_{i=1}^n X_iX_i^\top$ be the sample covariance. A central object of interest in the non-asymptotic theory of sample covariance is the spectral norm error $||\hat{\Sigma}-\Sigma||$ of the sample covariance $\hat{\Sigma}$. In the path-breaking work of Koltchinskii and Lounici [KL17a], the `zeroth-order' magnitude of $||\hat{\Sigma}-\Sigma||$ is characterized by the dimension-free two-sided estimate $\mathbb{E} \{||\hat{\Sigma}-\Sigma||/||\Sigma||\}\asymp \sqrt{r(\Sigma)/n}+r(\Sigma)/n $, using the so-called effective rank $r(\Sigma)\equiv \mathrm{tr}(\Sigma)/||\Sigma||$. The goal of this paper is to provide a dimension-free first-order characterization for $||\hat{\Sigma}-\Sigma||$. We show that \begin{equation*} \bigg|\frac{\mathbb{E} \{||\hat{\Sigma}-\Sigma||/||\Sigma||\} }{\mathbb{E}\sup_{\alpha \in [0,1]}\{(\alpha+n^{-1/2}\mathscr{G}_{\Sigma}(h;\alpha))^2-\alpha^2\}}- 1\bigg| \leq \frac{C}{\sqrt{r(\Sigma)} }, \end{equation*} where $\{\mathscr{G}_{\Sigma}(h;\alpha): \alpha \in [0,1]\}$ are (stochastic) Gaussian widths over spherical slices of the (standardized) $\Sigma$-ellipsoid, playing the role of a first-order analogue to the zeroth-order characteristic $r(\Sigma)$. As an immediate application of the first-order characterization, we obtain a version of the Koltchinskii-Lounici bound with optimal constants. In the more special context of spiked covariance models, our first-order characterization reveals a new phase transition of $||\hat{\Sigma}-\Sigma||$ that exhibits qualitatively different behavior compared to the BBP phase transitional behavior of $||\hat{\Sigma}||$. A similar phase transition is also proved for the associated eigenvector.


title: Effect on the Electronic and Magnetic Properties of Antiferromagnetic Topological Insulator MnBi$_2$Te$_4$ with Sn Doping

abstract: We thoroughly investigate the effect of nonmagnetic Sn doping on the electronic and magnetic properties of antiferromagnetic topological insulator MnBi$_2$Te$_4$. We observe that Sn doping reduces the out-of-plane antiferromagnetic (AFM) interactions in MnBi$_2$Te$_4$ up to 68\% of Sn concentration and above the system is found to be paramagnetic. In this way, the anomalous Hall effect observed at a very high field of 7.8 T in MnBi$_2$Te$_4$ is reduced to 2 T with 68\% of Sn doping. Electrical transport measurements suggest that all compositions are metallic in nature, while the low-temperature resistivity is sensitive to the AFM ordering and to the doping-induced disorder. Hall effect study demonstrates that Sn actually dopes electrons into the system, thus, enhancing the electron carrier density almost by two orders at 68\% of Sn. In contrast, SnBi$_2$Te$_4$ is found to be a p-type system. Angle-resolved photoemission spectroscopy (ARPES) studies show that the topological properties are intact at least up to 55\% of Sn as the Dirac surface states are present in the valance band, but in SnBi$_2$Te$_4$ we are unable to detect the topological states due to heavy hole doping. Overall, Sn doping significantly affects the electronic and magnetic properties of MnBi$_2$Te$_4$.


title: Fairness and Randomness in Machine Learning: Statistical Independence and Relativization

abstract: Fair Machine Learning endeavors to prevent unfairness arising in the context of machine learning applications embedded in society. Despite the variety of definitions of fairness and proposed "fair algorithms", there remain unresolved conceptual problems regarding fairness. In this paper, we dissect the role of statistical independence in fairness and randomness notions regularly used in machine learning. Thereby, we are led to a suprising hypothesis: randomness and fairness can be considered equivalent concepts in machine learning. In particular, we obtain a relativized notion of randomness expressed as statistical independence by appealing to Von Mises' century-old foundations for probability. This notion turns out to be "orthogonal" in an abstract sense to the commonly used i.i.d.-randomness. Using standard fairness notions in machine learning, which are defined via statistical independence, we then link the ex ante randomness assumptions about the data to the ex post requirements for fair predictions. This connection proves fruitful: we use it to argue that randomness and fairness are essentially relative and that both concepts should reflect their nature as modeling assumptions in machine learning.


title: Near-Quantum-Noise Axion Dark Matter Search at CAPP around 9.5 $\mu$eV

abstract: We report the results of an axion dark matter search over an axion mass range of 9.39-9.51 ${\mu}$eV. A flux-driven Josephson parametric amplifier (JPA) was added to the cryogenic receiver chain. A system noise temperature of as low as 200 mK was achieved, which is the lowest recorded noise among published axion cavity experiments with phase-insensitive JPA operation. In addition, we developed a two-stage scanning method which boosted the scan speed by 26%. As a result, a range of two-photon coupling in a plausible model for the QCD axion was excluded with an order of magnitude higher in sensitivity than existing limits.


title: Magnetotransport in graphene/Pb0.24Sn0.76Te heterostructures: finding a way to avoid catastrophe

abstract: While heterostructures are ubiquitous tools enabling new physics and device functionalities, the palette of available materials has never been richer. Combinations of two emerging material classes, two-dimensional materials and topological materials, are particularly promising because of the wide range of possible permutations that are easily accessible. Individually, both graphene and Pb0.24Sn0.76Te (PST) are widely investigated for spintronic applications because graphene's high carrier mobility and PST's topologically protected surface states are attractive platforms for spin transport. Here, we combine monolayer graphene with PST and demonstrate a hybrid system with properties enhanced relative to the constituent parts. Using magnetotransport measurements, we find carrier mobilities up to 20,000 cm2/Vs and a magnetoresistance approaching 100 percent, greater than either material prior to stacking. We also establish that there are two distinct transport channels and determine a lower bound on the spin relaxation time of 4.5 ps. The results can be explained using the polar catastrophe model, whereby a high mobility interface state results from a reconfiguration of charge due to a polar/non-polar interface interaction. Our results suggest that proximity induced interface states with hybrid properties can be added to the still growing list of remarkable behaviors in these novel materials.


title: Dipole dynamics of an interacting bosonic mixture

abstract: We unravel the coupled dipole dynamics of a two-species Bose-Einstein condensate with tunable interspecies interaction. We produce a degenerate mixture of $^{41}$K-$^{87}$Rb in an optical trap and we study the dipole oscillations of both atomic species in the linear response regime. Varying the interspecies interaction from the weakly to the strongly attractive side, we measure the frequencies and the composition of the two dipole eigenmodes. For enough strong interactions, even beyond the mean-field collapse, we find that the frequency of the low-energy eigenmode is determined only by the bare trap frequencies and the species population imbalance. The experimental results are well reproduced by numerical simulations based on two coupled Gross-Pitaevskii equations. Our findings provide a detailed picture of the dipole excitations in asymmetric bosonic mixtures.


title: Lightweight and Progressively-Scalable Networks for Semantic Segmentation

abstract: Multi-scale learning frameworks have been regarded as a capable class of models to boost semantic segmentation. The problem nevertheless is not trivial especially for the real-world deployments, which often demand high efficiency in inference latency. In this paper, we thoroughly analyze the design of convolutional blocks (the type of convolutions and the number of channels in convolutions), and the ways of interactions across multiple scales, all from lightweight standpoint for semantic segmentation. With such in-depth comparisons, we conclude three principles, and accordingly devise Lightweight and Progressively-Scalable Networks (LPS-Net) that novelly expands the network complexity in a greedy manner. Technically, LPS-Net first capitalizes on the principles to build a tiny network. Then, LPS-Net progressively scales the tiny network to larger ones by expanding a single dimension (the number of convolutional blocks, the number of channels, or the input resolution) at one time to meet the best speed/accuracy tradeoff. Extensive experiments conducted on three datasets consistently demonstrate the superiority of LPS-Net over several efficient semantic segmentation methods. More remarkably, our LPS-Net achieves 73.4% mIoU on Cityscapes test set, with the speed of 413.5FPS on an NVIDIA GTX 1080Ti, leading to a performance improvement by 1.5% and a 65% speed-up against the state-of-the-art STDC. Code is available at \url{https://github.com/YihengZhang-CV/LPS-Net}.


title: High-order harmonic generation by sub-cycle laser pulses and associated scaling laws

abstract: We studied the high-harmonic generation by the interaction of sub-cycle laser pulses with the He atom. The sub-cycle pulses are modeled using the complex source vector beam model, which is an exact solution to Maxwell's equations and accurately models the sub-cycle field profiles. We observed that the harmonic cutoff could be extended with the variation of the sub-cycle pulse duration, mainly because of the inherent blueshift associated with shorter pulses. The scaling laws for the harmonic yield and harmonic cutoff energy with pulse duration and fundamental driver wavelengths are also deduced. Furthermore, a detailed wavelet analysis of harmonic generation by sub-cycle pulses is carried out. The appropriate filtering and superposition of the harmonics gave rise to a single attosecond pulse of duration ~ 100 as.


title: Small $A_\infty$ results for Dahlberg-Kenig-Pipher operators in sets with uniformly rectifiable boundaries

abstract: In the present paper, we consider elliptic operators $L=-\textrm{div}(A\nabla)$ in a domain bounded by a chord-arc surface $\Gamma$ with small enough constant, and whose coefficients $A$ satisfy a weak form of the Dahlberg-Kenig-Pipher condition of approximation by constant coefficient matrices, with a small enough Carleson norm, and show that the elliptic measure with pole at infinity associated to $L$ is $A_\infty$-absolutely continuous with respect to the surface measure on $\Gamma$, with a small $A_\infty$ constant. In other words, we show that for relatively flat uniformly rectifiable sets and for operators with slowly oscillating coefficients the elliptic measure satisfies the $A_\infty$ condition with a small constant and the logarithm of the Poisson kernel has small oscillations.


title: Krylov Complexity in Open Quantum Systems

abstract: Krylov complexity is a novel measure of operator complexity that exhibits universal behavior and bounds a large class of other measures. In this letter, we generalize Krylov complexity from a closed system to an open system coupled to a Markovian bath, where Lindbladian evolution replaces Hamiltonian evolution. We show that Krylov complexity in open systems can be mapped to a non-hermitian tight-binding model in a half-infinite chain. We discuss the properties of the non-hermitian terms and show that the strengths of the non-hermitian terms increase linearly with the increase of the Krylov basis index $n$. Such a non-hermitian tight-binding model can exhibit localized edge modes that determine the long-time behavior of Krylov complexity. Hence, the growth of Krylov complexity is suppressed by dissipation, and at long-time, Krylov complexity saturates at a finite value much smaller than that of a closed system with the same Hamitonian. Our conclusions are supported by numerical results on several models, such as the Sachdev-Ye-Kitaev model and the interacting fermion model. Our work provides insights for discussing complexity, chaos, and holography for open quantum systems.

categories: cond-mat.str-el cond-mat.quant-gas cond-mat.stat-mech quant-ph


title: Efficient Search of the k Shortest Non-Homotopic Paths by Eliminating Non-k-Optimal Topologies

abstract: An efficient algorithm to solve the $k$ shortest non-homotopic path planning ($k$-SNPP) problem in a 2D environment is proposed in this paper. Motivated by accelerating the inefficient exploration of the homotopy-augmented space of the 2D environment, our fundamental idea is to identify the non-$k$-optimal path topologies as early as possible and terminate the pathfinding along them. This is a non-trivial practice because it has to be done at an intermediate state of the path planning process when locally shortest paths have not been fully constructed. In other words, the paths to be compared have not rendezvoused at the goal location, which makes the homotopy theory, modelling the spatial relationship among the paths having the same endpoint, not applicable. This paper is the first work that develops a systematic distance-based topology simplification mechanism to solve the $k$-SNPP task, whose core contribution is to assert the distance-based order of non-homotopic locally shortest paths before constructing them. If the order can be predicted, then those path topologies having more than $k$ better topologies are proven free of the desired $k$ paths and thus can be safely discarded during the path planning process. To this end, a hierarchical topological tree is proposed as an implementation of the mechanism, whose nodes are proven to expand in non-homotopic directions and edges (collision-free path segments) are proven locally shortest. With efficient criteria that observe the order relations between partly constructed locally shortest paths being imparted into the tree, the tree nodes that expand in non-$k$-optimal topologies will not be expanded. As a result, the computational time for solving the $k$-SNPP problem is reduced by near two orders of magnitude.


title: Controlled gel expansion through colloid oscillation

abstract: We model the behaviour of a single colloid embedded in a cross-linked polymer gel, immersed in a viscous background fluid. External fields actuate the particle into a periodic motion, which deforms the embedding matrix and creates a local micro-cavity, containing the particle and any free volume created by its motion. This cavity exists only as long as the particle is actuated and, when present, reduces the local density of the material, leading to swelling. We show that the model exhibits rich resonance features, but is overall characterised by clear scaling laws at low and high driving frequencies, and a pronounced resonance at intermediate frequencies. Our model predictions suggest that both the magnitude and position of the resonance can be varied by varying the material's elastic modulus or cross-linking density, whereas the local viscosity primarily has a dampening effect. Our work implies appreciable free-volume generation is possible by dispersing a collection of colloids in the medium, even at the level of a simple superposition approximation.


title: Contraction property of differential operator on Fock space

abstract: In the recent paper, \cite{tilli} Nicola and Tilli proved the Faber-Krahn inequality, which for $p=2$, states the following. If $f\in\mathcal{F}_\alpha^2$ is an entire function from the corresponding Fock space, then $$\frac{1}{\pi}\int_{\Omega} |f(z)|^2 e^{-\pi |z|^2} dx dy \le (1-e^{-|\Omega|}) \|f\|^2_{2,\pi}.$$ Here $\Omega$ is a domain in the complex plane and $|\Omega|$ is its Lebesgue measure. This inequality is sharp and equality can be attained. We prove the following sharp inequality $$\int_{\Omega} \frac{|f^{(n)}(z)|^2e^{-\pi |z|^2}}{\pi^n n ! L_n(-\pi |z|^2)}dxdy \le (1-e^{-(n+1)|\Omega|})\|f\|^2_{2,\pi},$$ where $L_n$ is Laguerre polynomial, and $n\in\{0,1,2,3,4\} $. For $n=0$ it coincides with the result of Nicola and Tilli.


title: Neural Radiance Transfer Fields for Relightable Novel-view Synthesis with Global Illumination

abstract: Given a set of images of a scene, the re-rendering of this scene from novel views and lighting conditions is an important and challenging problem in Computer Vision and Graphics. On the one hand, most existing works in Computer Vision usually impose many assumptions regarding the image formation process, e.g. direct illumination and predefined materials, to make scene parameter estimation tractable. On the other hand, mature Computer Graphics tools allow modeling of complex photo-realistic light transport given all the scene parameters. Combining these approaches, we propose a method for scene relighting under novel views by learning a neural precomputed radiance transfer function, which implicitly handles global illumination effects using novel environment maps. Our method can be solely supervised on a set of real images of the scene under a single unknown lighting condition. To disambiguate the task during training, we tightly integrate a differentiable path tracer in the training process and propose a combination of a synthesized OLAT and a real image loss. Results show that the recovered disentanglement of scene parameters improves significantly over the current state of the art and, thus, also our re-rendering results are more realistic and accurate.


title: Distribution of periodic orbits in the homology group of a knot complement

abstract: Consider a transitive Anosov flow on a closed $3$-manifold. After removing a finite set of null-homologous periodic orbits, we study the distribution of the remaining periodic orbits in the homology of the knot complement.


title: Non-Gaussian Measures in Infinite Dimensional Spaces: the Gamma-Grey Noise

abstract: In the context of non-Gaussian analysis, Schneider [27] introduced grey noise measures, built upon Mittag-Leffler functions; analogously, grey Brownian motion and its generalizations were constructed (see, for example, [25], [6], [7], [8]). In this paper, we construct and study a new non-Gaussian measure, by means of the incomplete-gamma function (exploiting its complete monotonicity). We label this measure Gamma-grey noise and we prove, for it, the existence of Appell system. The related generalized processes, in the infinite dimensional setting, are also defined and, through the use of the Riemann-Liouville fractional operators, the (possibly tempered) Gamma-grey Brownian motion is consequently introduced. A number of different characterizations of these processes are also provided, together with the integro-differential equation satisfied by their transition densities. They allow to model anomalous diffusions, mimicking the procedures of classical stochastic calculus.


title: An equality of Monge-Amp\`ere measures

abstract: Let $u$ and $v$ be two plurisubharmonic functions in the domain of definition of the Monge-Amp\`ere operator on a domain $\Omega\subset {\bf C}^n$. We prove that if $u=v$ on a plurifinely open set $U\subset \Omega$ that is Borel measurable, then $(dd^cu)^n|_U=(dd^cv)^n|_U$. This result was proved by Bedford and Taylor in the case where $u$ and $v$ are locally bounded, and by El Kadiri and Wiegerinck when $u$ and $v$ are finite, and by Hai and Hiep when $U$ is of the form $U=\bigcup_{j=1}^m\{\varphi_j>\psi_j\}$, where $\varphi_j$, $\psi_j$, $j=1,...,m$, are plurisubharmonic functions on $\Omega$.


title: A Semi-automatic Cell Tracking Process Towards Completing the 4D Atlas of C. elegans Development

abstract: The nematode Caenorhabditis elegans (C. elegans) is used as a model organism to better understand developmental biology and neurobiology. C. elegans features an invariant cell lineage, which has been catalogued and observed using fluorescence microscopy images. However, established methods to track cells in late-stage development fail to generalize once sporadic muscular twitching has begun. We build upon methodology which uses skin cells as fiducial markers to carry out cell tracking despite random twitching. In particular, we present a cell nucleus segmentation and tracking procedure which was integrated into a 3D rendering GUI to improve efficiency in tracking cells across late-stage development. Results on images depicting aforementioned muscle cell nuclei across three test embryos suggest the fiducial markers in conjunction with a classic tracking paradigm overcome sporadic twitching.


title: Robust Output Analysis with Monte-Carlo Methodology

abstract: In predictive modeling with simulation or machine learning, it is critical to accurately assess the quality of estimated values through output analysis. In recent decades output analysis has become enriched with methods that quantify the impact of input data uncertainty in the model outputs to increase robustness. However, most developments are applicable assuming that the input data adheres to a parametric family of distributions. We propose a unified output analysis framework for simulation and machine learning outputs through the lens of Monte Carlo sampling. This framework provides nonparametric quantification of the variance and bias induced in the outputs with higher-order accuracy. Our new bias-corrected estimation from the model outputs leverages the extension of fast iterative bootstrap sampling and higher-order influence functions. For the scalability of the proposed estimation methods, we devise budget-optimal rules and leverage control variates for variance reduction. Our theoretical and numerical results demonstrate a clear advantage in building more robust confidence intervals from the model outputs with higher coverage probability.

categories: stat.ME math.PR math.ST stat.CO stat.ML stat.TH


title: Plausible presence of new state in neutron stars with masses above $0.98M_{\rm TOV}$

abstract: We investigate the neutron star (NS) equation of state (EOS) by incorporating multi-messenger data of GW170817, PSR J0030+0451, PSR J0740+6620, and state-of-the-art theoretical progresses, including the information from chiral effective field theory ($\chi$EFT) and perturbative quantum chromodynamics (pQCD) calculation. Taking advantage of the various structures sampling by a single-layer feed-forward neural network model embedded in the Bayesian nonparametric inference, the structure of NS matter's sound speed $c_{\rm s}$ is explored in a model-agnostic way. It is found that a peak structure is common in the $c_{\rm s}^2$ posterior, locating at $2.4-4.8\rho_{\rm sat}$ (nuclear saturation density) and $c_{\rm s}^2$ exceeds ${c^{2}}/{3}$ at 90\% credibility. The non-monotonic behavior suggests evidence of the state deviating from hadronic matter inside the very massive NSs. Assuming the new/exotic state is featured as it is softer than typical hadronic models or even with hyperons, we find that a sizable ($\geq 10^{-3}M_\odot$) exotic core, likely made of quark matter, is plausible for the NS with a gravitational mass above about $0.98M_{\rm TOV}$, where $M_{\rm TOV}$ represents the maximum gravitational mass of a non-rotating cold NS. The inferred $M_{\rm TOV} = 2.18^{+0.27}_{-0.13}M_\odot$ (90\% credibility) is well consistent with the value of $2.17^{+0.15}_{-0.12}M_\odot$ estimated independently with GW170817/GRB 170817A/AT2017gfo assuming a temporary supramassive NS remnant formed after the merger. PSR J0740+6620, the most massive NS detected so far, may host an exotic core with a probability of $\approx 0.36$.


title: Elastic membranes spanning deformable boundaries

abstract: We perform a variational analysis of an elastic membrane spanning a closed curve which may sustain bending and torsion. First, we deal with parametrized curves and linear elastic membranes proving the existence of equilibria and finding first-order necessary conditions for minimizers computing the first variation. Second, we study a more general case, both for the boundary curve and for the membrane, using the framed curve approach. The infinite dimensional version of the Lagrange multipliers' method is applied to get the first-order necessary conditions. Finally, a numerical approach is presented and employed in several numerical test cases.


title: Period two solution for a class of distributed delay differential equations

abstract: We study the existence of a periodic solution for a differential equation with distributed delay. It is shown that, for a class of distributed delay diferential quations, a symmetric period 2 solution, where the period is twice the maximum delay, is given as a periodic solution of a Hamiltonian system of ordinary differential equations. Proof of the idea is based on (Kaplan & Yorke, 1974, J. Math. Anal. Appl.) for a discrete delay differential equation with an odd nonlinear function. To illustrate the results, we present distributed delay differential equations that have periodic solutions expressed in terms of the Jacobi elliptic functions.


title: Cryogenic front-end amplifier design for large SiPM arrays in the DUNE FD1-HD photon detection system

abstract: The photon detection system of the first far detector (FD1-HD) of the DUNE experiment will detect scintillation photons produced by particle interactions in a kiloton-scale liquid Argon time projection chamber. The photon detectors of choice are silicon photomultipliers (SiPM), 6$\times$6 mm$^2$ each, arranged in groups of 48, which present a significantly low impedance to the front-end electronics. This paper details the design of a cryogenic amplifier with exceptionally low white voltage noise of 0.37 nV$\sqrt{Hz}$, based on a silicon-germanium input transistor and a BiCMOS fully differential operational amplifier. It yields excellent single photoelectron resolution even at low overvoltage values. The signal rise time is below 100 ns, and the dynamic range is about 2000 photoelectrons at the typical operating overvoltage. It draws 0.7 mA from a single 3.3 V supply, for a power consumption of 2.4 mW per channel. Simplified models were developed to predict the single photolectron signal shape and the signal to noise ratio, with a good match to measured performance.


title: Wave packet propagation and the materialization of classical trajectories

abstract: Unbound wave packets propagating to macroscopic space and time coordinates become proportional to their (Fourier transform) momentum distribution at earlier times whereby the asymptotic coordinates and the initial momenta are connected everywhere by appropriate classical trajectories. This asymptotic imaging theorem is relevant to every quantum reaction involving macroscopic extraction and detection of fragments emerging from a microscopic volume. It justifies the usual assumption of classical particle motion used in the design of particle detectors. We illustrate this quantum to semiclassical transition with the example of the free propagation of a wave packet in one dimension, a standard problem treated in introductory lectures on quantum mechanics. We indicate generalizations appropriate for more advanced discussions.


title: Bogoliubov theory for the dilute Fermi gas in three dimensions

abstract: In a dilute system of N fermions with spin 1/2 in three dimensions, we study the correlation energy which is given by the difference between the ground state energy and the energy of the non-interacting Fermi sea state. We review some recent results from the paper by Falconi et al. [Ann. Henri Poincar\'e 22 (2021), 2283-2353], where we make use of the almost-bosonic nature of the low-energy excitations of the system which can be effectively described by Bogoliubov theory.


title: $\mathcal{V}$-Polyhedral Disjunctive Cuts

abstract: We introduce $\mathcal{V}$-polyhedral disjunctive cuts (VPCs) for generating valid inequalities from general disjunctions. Cuts are critical to integer programming solvers, but the benefit from many families is only realized when the cuts are applied recursively, causing numerical instability and "tailing off" of cut strength after several rounds. To mitigate these difficulties, the VPC framework offers a practical method for generating strong cuts without resorting to recursion. The framework starts with a disjunction whose terms partition the feasible region into smaller subproblems, then obtains a collection of points and rays from the disjunctive terms, from which we build a linear program whose feasible solutions correspond to valid disjunctive cuts. Though a na\"{i}ve implementation would result in an exponentially-sized optimization problem, we show how to efficiently construct this linear program, such that it is much smaller than the one from the alternative higher-dimensional cut-generating linear program. This enables us to test strong multiterm disjunctions that arise from the leaf nodes of a partial branch-and-bound tree. In addition to proving useful theoretical properties of the cuts, we evaluate their performance computationally through an implementation in the open-source COIN-OR framework. In the results, VPCs from a strong disjunction significantly improve the gap closed compared to existing cuts in solvers, and they also decrease some instances' solving time when used with branch and bound.


title: Improved Measurements of Galaxy Star Formation Stochasticity from the Intrinsic Scatter of Burst Indicators

abstract: Measurements of short-timescale star formation variations (i.e., "burstiness") are integral to our understanding of star formation feedback mechanisms and the assembly of stellar populations in galaxies. We expand upon the work of Broussard et al. (2019) by introducing a new analysis of galaxy star formation burstiness that accounts for variations in the $Q_{sg}=\mathrm{E(B-V)_{stars}}/\mathrm{E(B-V)_{gas}}$ distribution, a major confounding factor. We use Balmer decrements from the MOSFIRE Deep Evolution Field (MOSDEF) survey to measure $Q_{sg}$, which we use to construct mock catalogs from the Santa Cruz Semi-Analytic Models and Mufasa cosmological hydrodynamical simulation based on 3D-HST, Fiber Multi-Object Spectrograph (FMOS)-COSMOS, and MOSDEF galaxies with H$\alpha$ detections. The results of the mock catalogs are compared against observations using the burst indicator $\eta = \log_{10}(\mathrm{SFR_{H\alpha}/SFR_{NUV}})$, with the standard deviation of the $\eta$ distribution indicating burstiness. We find decent agreement between mock and observed $\eta$ distribution shapes; however, the FMOS-COSMOS and MOSDEF mocks show a systematically low median and scatter in $\eta$ in comparison to the observations. This work also presents the novel approach of analytically deriving the relationship between the intrinsic scatter in $\eta$, scatter added by measurement uncertainties, and observed scatter, resulting in an intrinsic burstiness measurement of $0.06-0.16$ dex.


title: Results on $\mathrm{K}_1$ of general quadratic groups

abstract: In the first part of this article we discuss the relative cases of Quillen-Suslin's local-global principle for the general quadratic (Bak's unitary) groups, and its applications for the (relative) stable and unstable $\mathrm{K}_1$-groups. The second part is dedicated to the graded version of the local-global principle for the general quadratic groups and its application to deduce a result for Bass' nil groups.


title: Heat transport in an optical lattice via Markovian feedback control

abstract: Ultracold atoms offer a unique opportunity to study many-body physics in a clean and well-controlled environment. However, the isolated nature of quantum gases makes it difficult to study transport properties of the system, which are among the key observables in condensed matter physics. In this work, we employ Markovian feedback control to synthesize two effective thermal baths that couple to the boundaries of a one-dimensional Bose-Hubbard chain. This allows for the realization of a heat-current-carrying state. We investigate the steady-state heat current, including its scaling with system size and its response to disorder. In order to study large systems, we use semi-classical Monte-Carlo simulation and kinetic theory. The numerical results from both approaches show, as expected, that for non- and weakly interacting systems with and without disorder one finds the same scaling of the heat current with respect to the system size as it is found for systems coupled to thermal baths. Finally, we propose and test a scheme for measuring the energy flow. Thus, we provide a route for the quantum simulation of heat-current-carrying steady states of matter in atomic quantum gases.


title: The two-photon decay of X(6900) from light-by-light scattering at the LHC

abstract: The LHCb Collaboration has recently discovered a structure around 6.9 GeV in the double-$J/\psi$ mass distribution, possibly a first fully-charmed tetraquark state $X(6900)$. Based on vector-meson dominance (VMD) such a state should have a significant branching ratio for decaying into two photons. We show that the recorded LHC data for the light-by-light scattering may indeed accommodate for such a state, with a $\gamma \gamma$ branching ratio of order of $10^{-4}$, which is larger even than the value inferred by the VMD. The spin-parity assignment $0^{-+}$ is in better agreement with the VMD prediction than $0^{++}$, albeit not significantly at the current precision. Further light-by-light scattering data in this region, clarifying the nature of this state, should be obtained in the Run 3 and probably in the high-luminosity phase of the LHC (Run 4 etc.).


title: Neutron stars in degenerate higher-order scalar-tensor theories

abstract: We study neutron star configurations in a simple shift-symmetric subfamily of degenerate higher-order scalar-tensor (DHOST) theories, whose deviations from General Relativity (GR) are characterized by a single parameter. We compute the radial profiles of neutron stars in these theories of modified gravity, using several realistic equations of state for the neutron star matter. We find neutron stars with masses and radii significantly larger than their GR counterparts. We then consider slowly-rotating solutions and determine the relation between the dimensionless moment of inertia and the compactness, relation that has the property to be almost insensitive to the equation of state.


title: Early results from GLASS-JWST. IX: First spectroscopic confirmation of low-mass quiescent galaxies at $z>2$ with NIRISS

abstract: How passive galaxies form, and the physical mechanisms which prevent star formation over long timescales, are some of the most outstanding questions in understanding galaxy evolution. The properties of quiescent galaxies over cosmic time provide crucial information to identify the quenching mechanisms. Passive galaxies have been confirmed and studied out to $z\sim4$, but all of these studies have been limited to massive systems (mostly with $\log{(M_{\rm star}/M_{\odot})}>10.8$). Using James Webb Space Telescope (JWST) NIRISS grism slitless spectroscopic data from the GLASS JWST ERS program, we present spectroscopic confirmation of two quiescent galaxies at $z_{\rm spec}=2.650^{+0.004}_{-0.006}$ and $z_{\rm spec}=2.433^{+0.032}_{-0.016}$ (3$\sigma$ errors) with stellar masses of $\log{(M_{\rm star}/M_{\odot})}=10.53^{+0.18}_{-0.06}$ and $\log{(M_{\rm star}/M_{\odot})}=9.93^{+0.06}_{-0.07}$ (corrected for magnification factors of $\mu=2.0$ and $\mu=2.1$, respectively). The latter represents the first spectroscopic confirmation of the existence of low-mass quiescent galaxies at cosmic noon, showcasing the power of JWST to identify and characterize this enigmatic population.


title: Towards Mapping and Assessing Sidewalk Accessibility Across Sociocultural and Geographic Contexts

abstract: Despite the important role of sidewalks in supporting mobility, accessibility, and public health, there is a lack of high-quality datasets and corresponding analyses on sidewalk existence and condition. Our work explores a twofold vision: first, to develop scalable mechanisms to locate and assess sidewalks in cities across the world, and second, to use this data to support new urban analyses and mobility tools. We report on two preliminary urban science explorations enabled by our approach: exploring geo-spatial patterns and key correlates of sidewalk accessibility and examining differences in sidewalk infrastructure across regions.


title: On the magnetic laplacian with a piecewise constant magnetic field in $\mathbb{R}^3_+$

abstract: We consider the Neumann realization of the magnetic laplacian in $\mathbb{R}^3_+$, in the case in which the magnetic field has a piecewise constant strength and a uniform direction. This operator is expected to be an effective model in studying the threshold to the normal state for a 3D superconductor exposed to a discontinuous magnetic field. We review some recent results above the infimum of the spectrum of the aforementioned operator.


title: Generalized Deep Thermalization for Free Fermions

abstract: In non-interacting isolated quantum systems out of equilibrium, local subsystems typically relax to non-thermal stationary states. In the standard framework, information on the rest of the system is discarded, and such states are described by a Generalized Gibbs Ensemble (GGE), maximizing the entropy while respecting the constraints imposed by the local conservation laws. Here we show that the latter also completely characterize a recently introduced projected ensemble (PE), constructed by performing projective measurements on the rest of the system and recording the outcomes. By focusing on the time evolution of fermionic Gaussian states in a tight-binding chain, we put forward a random ensemble constructed out of the local conservation laws, which we call deep GGE (dGGE). For infinite-temperature initial states, we show that the dGGE coincides with a universal Haar random ensemble on the manifold of Gaussian states. For both infinite and finite temperatures, we use a Monte Carlo approach to test numerically the predictions of the dGGE against the PE. We study in particular the $k$-moments of the state covariance matrix and the entanglement entropy, finding excellent agreement. Our work provides a first step towards a systematic characterization of projected ensembles beyond the case of chaotic systems and infinite temperatures.


title: Proprioceptive Slip Detection for Planetary Rovers in Perceptually Degraded Extraterrestrial Environments

abstract: Slip detection is of fundamental importance for the safety and efficiency of rovers driving on the surface of extraterrestrial bodies. Current planetary rover slip detection systems rely on visual perception on the assumption that sufficient visual features can be acquired in the environment. However, visual-based methods are prone to suffer in perceptually degraded planetary environments with dominant low terrain features such as regolith, glacial terrain, salt-evaporites, and poor lighting conditions such as dark caves and permanently shadowed regions. Relying only on visual sensors for slip detection also requires additional computational power and reduces the rover traversal rate. This paper answers the question of how to detect wheel slippage of a planetary rover without depending on visual perception. In this respect, we propose a slip detection system that obtains its information from a proprioceptive localization framework that is capable of providing reliable, continuous, and computationally efficient state estimation over hundreds of meters. This is accomplished by using zero velocity update, zero angular rate update, and non-holonomic constraints as pseudo-measurement updates on an inertial navigation system framework. The proposed method is evaluated on actual hardware and field-tested in a planetary-analog environment. The method achieves greater than 92% slip detection accuracy for distances around 150 m using only an IMU and wheel encoders.


title: A Copositive Framework for Analysis of Hybrid Ising-Classical Algorithms

abstract: Recent years have seen significant advances in quantum/quantum-inspired technologies capable of approximately searching for the ground state of Ising spin Hamiltonians. The promise of leveraging such technologies to accelerate the solution of difficult optimization problems has spurred an increased interest in exploring methods to integrate Ising problems as part of their solution process, with existing approaches ranging from direct transcription to hybrid quantum-classical approaches rooted in existing optimization algorithms. While it is widely acknowledged that quantum computers should augment classical computers, rather than replace them entirely, comparatively little attention has been directed toward deriving analytical characterizations of their interactions. In this paper, we present a formal analysis of hybrid algorithms in the context of solving mixed-binary quadratic programs (MBQP) via Ising solvers. By leveraging an existing completely positive reformulation of MBQPs, as well as a new strong-duality result, we show the exactness of the dual problem over the cone of copositive matrices, thus allowing the resulting reformulation to inherit the straightforward analysis of convex optimization. We propose to solve this reformulation with a hybrid quantum-classical cutting-plane algorithm. Using existing complexity results for convex cutting-plane algorithms, we deduce that the classical portion of this hybrid framework is guaranteed to be polynomial time. This suggests that when applied to NP-hard problems, the complexity of the solution is shifted onto the subroutine handled by the Ising solver.


title: The nature of deformation-induced dislocations in SrTiO3: Insights from atomistic simulations

abstract: The nature of mechanically induced dislocations in SrTiO3 at low temperatures has been a disputed matter for a long time. Here we provide a systematic overview of the existing knowledge on dislocations in stoichiometric SrTiO3 complemented by computational models of several of the proposed dislocation types. Based on atomistic simulations we reveal their structure and mobility and put our focus on the splitting into partial dislocations, because this mechanism is held responsible for the good dislocation mobility in strontium titanate. Our results reveal that dislocations with a {1-10} glide plane (types A, B, and C) show easy glide behavior due to their glide dissociated configuration. The motion of dislocations on {001} glide planes (type E), however, is prohibited due to high Peierls barriers, as is the case for the {1-1-2} glide plane (type D). For dislocations with (partial) edge character the dissociation into partials is shown to be very sensitive to the charge state of the dislocation core. Since, in turn, dislocation mobility is strongly related to the dissociation of dislocations, the macroscopic ductility may in some cases have a direct relation to the charge at the dislocation core.


title: Ties in ranking scores can be treated as weighted samples

abstract: Prior proposals for cumulative statistics suggest making tiny random perturbations to the scores (independent variables in a regression) in order to ensure the scores' uniqueness. Uniqueness means that no score for any member of the population or subpopulation being analyzed is exactly equal to any other member's score. It turns out to be possible to construct from the original data a weighted data set that modifies the scores, weights, and responses (dependent variables in the regression) such that the new scores are unique and (together with the new weights and responses) yield the desired cumulative statistics for the original data. This reduces the problem of analyzing data with scores that may not be unique to the problem of analyzing a weighted data set with scores that are unique by construction. Recent proposals for cumulative statistics have already detailed how to process weighted samples whose scores are unique.


title: Electronic structure and correlations in planar trilayer nickelate Pr4Ni3O8

abstract: The recent discovery of superconductivity in hole-doped planar nickelates R1-xSrNiO2 (R=Pr,Nd) raises the foundational question of how the electronic structure and electronic correlations of these Ni1+ compounds compare to those of the Cu2+ cuprate superconductors. Here, we present an Angle-Resolved Photoemission Spectroscopy (ARPES) study of the trilayer nickelate Pr4Ni3O8, revealing an electronic structure and Fermi surface very similar to that of the hole-doped cuprates but with a few critical differences. Specifically, the main portions of the Fermi surface are extremely similar to that of the bilayer cuprates, with an additional piece that can accommodate additional hole doping. We find that the electronic correlations are about twice as strong in the nickelates and are almost k-independent, indicating that they originate from a local effect-likely the Mott interaction, whereas the cuprate interactions are somewhat less local. Nevertheless, the nickelates still demonstrate an approximately linear in energy and linear in temperature scattering rate. Understanding the similarities and differences between these two related families of strongly-correlated novel superconductors is an important challenge.


title: Four-Dimensional Emittance Measurements of Ultrafast Electron Diffraction Optics Corrected Up to Sextupole Order

abstract: Ultrafast electron diffraction (UED) is a technique in which short-pulse electron beams can probe the femtosecond-scale evolution of atomic structure in matter driven far from equilibrium. As an accelerator physics challenge, UED imposes stringent constraints on the brightness of the probe electron beam. The low normalized emittance employed in UED, often at the 10 nm scale and below, is particularly sensitive to both applied field aberrations and space charge effects. The role of aberrations is increasingly important in small probe systems that often feature multiple orders of magnitude variations in beam size during transport. In this work, we report the correction of normal quadrupole, skew quadrupole, and sextupole aberrations via dedicated corrector elements in an ultrafast electron micro-diffraction beamline. To do this, we generate precise 4-dimensional phase space maps of rf-compressed electron beams, and find excellent agreement with aberration-free space charge simulations. Finally, we discuss the role a probe-forming aperture can play in improving the brightness of bunches with appreciable space charge effects.


title: Existence of harmonic maps and eigenvalue optimization in higher dimensions

abstract: We prove the existence of nonconstant harmonic maps of optimal regularity from an arbitrary closed manifold $(M^n,g)$ of dimension $n>2$ to any closed, non-aspherical manifold $N$ containing no stable minimal two-spheres. In particular, this gives the first general existence result for harmonic maps from higher-dimensional manifolds to a large class of positively curved targets. In the special case of the round spheres $N=\mathbb{S}^k$, $k\geq 3$, we obtain a distinguished family of nonconstant harmonic maps $M\to \mathbb{S}^k$ of index at most $k+1$, with singular set of codimension at least $7$ for $k$ sufficiently large. Furthermore, if $3\leq n\leq 5$, we show that these smooth harmonic maps stabilize as $k$ becomes large, and correspond to the solutions of an eigenvalue optimization problem on $M$, generalizing the conformal maximization of the first Laplace eigenvalue on surfaces.


title: Two-term spectral asymptotics in linear elasticity

abstract: We establish the two-term spectral asymptotics for boundary value problems of linear elasticity on a smooth compact Riemannian manifold of arbitrary dimension. We also present some illustrative examples and give a historical overview of the subject. In particular, we correct erroneous results published in [J. Geom. Anal. 31 (2021), 10164--10193].


title: Galois specialization to symmetric points and the inverse Galois problem up to $S_n$

abstract: The paper is concerned with the following version of Hilbert's irreducibility theorem: if $\pi: X \to Y$ is a Galois $G$-covering of varieties over a number field $k$ and $H \subset G$ is a subgroup, then for all sufficiently large and sufficiently divisible $n$ there exist a degree $n$ closed point $y \in |Y|$ and $x \in \pi^{-1}(y)$ for which $k(x)/k(y)$ is a Galois $H$-extension, and $k(y)/k$ is an $S_n$-extension. The result has interesting corollaries when applied to moduli spaces of various kinds. For instance, for every finite group $G$ there is a constant $N$ such that for all $n>N$ there is a degree $n$, $S_n$-extension $F/\mathbb{Q}$ such that over $F$ the inverse Galois problem for $G$ has a solution.


title: A Simple and Elegant Mathematical Formulation for the Acyclic DAG Partitioning Problem

abstract: This work addresses the NP-Hard problem of acyclic directed acyclic graph (DAG) partitioning problem. The acyclic partitioning problem is defined as partitioning the vertex set of a given directed acyclic graph into disjoint and collectively exhaustive subsets (parts). Parts are to be assigned such that the total sum of the vertex weights within each part satisfies a common upper bound and the total sum of the edge costs that connect nodes across different parts is minimized. Additionally, the quotient graph, i.e., the induced graph where all nodes that are assigned to the same part are contracted to a single node and edges of those are replaced with cumulative edges towards other nodes, is also a directed acyclic graph. That is, the quotient graph itself is also a graph that contains no cycles. Many computational and real-life applications such as in computational task scheduling, RTL simulations, scheduling of rail-rail transshipment tasks and Very Large Scale Integration (VLSI) design make use of acyclic DAG partitioning. We address the need for a simple and elegant mathematical formulation for the acyclic DAG partitioning problem that enables easier understanding, communication, implementation, and experimentation on the problem.


title: On the birational geometry of matroids

abstract: This paper investigates isomorphisms of Bergman fans of matroids respecting different fan structures, which we regard as matroid analogs of birational maps. We show that isomorphisms respecting the fine fan structure are induced by matroid isomorphisms. We introduce Cremona automorphisms of the coarse structure of Bergman fans, which are not induced by matroid automorphisms. We show that the automorphism group of the coarse fan structure is generated by matroid automorphisms and Cremona maps in the case of rank 3 matroids which are not parallel connections and for modularly complemented matroids.


title: Qubit Vitrification and Entanglement Criticality on a Quantum Simulator

abstract: Many elusive quantum phenomena emerge from the interaction of a quantum system with its classical environment. Quantum simulators enable us to program this interaction by using measurement operations. Measurements generally remove part of the quantum entanglement built between the qubits inside a simulator. While in simple cases entanglement may disappear at a constant rate as we measure qubits one by one, the evolution of entanglement under measurements for a given class of quantum states is generally unknown. Here, we show that consecutive measurements of the qubits in a quantum simulator can lead to criticality, separating two phases of entanglement. We prepare an entangled superposition of ground states to a classical spin model and show that progressively measuring the qubits drives the simulator into a spin glass phase of entanglement. By entangling and measuring up to 48 qubits in this fashion, we determine the vitrification point and its critical exponent, which obey spin glass theory exactly. Our findings show that measurements alone can trigger entanglement criticality and suggest that coupling to a classical environment can drive critical phenomena in more general quantum states.


title: Intricacies of formulating measurement-based small signal models of inverter based resources

abstract: The increasing number of inverter based resources (IBRs) connected to modern power systems necessitate accurate modeling of IBRs in stability studies. Measurement-based modeling approaches can create an impedance/admittance model of IBRs to be subsequently used in small signal stability studies. Such measurement-based approaches have previously been successfully used for dc-dc converters but present unique challenges for three-phase IBRs. This paper discusses the choices and challenges that can lead to an incorrect model from measurement-based approaches as well as mitigation mechanisms of the adverse impacts using an illustrative example. A discussion of small signal stability assessment involving such admittance models is also provided. It is seen through the illustrative example shown that the injection signal and the model fitting procedure, the phase locked loop used for the measurement device, and the grid impedance may impact the accuracy of the measurement-based admittance model of the IBRs.


title: A Direct Construction of Complete Complementary Code with Zero Correlation Zone property for Prime-Power Length

abstract: In this paper, we propose a direct construction of a novel type of code set, which has combined properties of complete complementary code (CCC) and zero-correlation zone (ZCZ) sequences and called it complete complementary-ZCZ (CC-ZCZ) code set. The code set is constructed by using multivariable functions. The proposed construction also provides Golay-ZCZ codes with new lengths, i.e., prime-power lengths. The proposed Golay-ZCZ codes are optimal and asymptotically optimal for binary and non-binary cases, respectively, by \emph{Tang-Fan-Matsufuzi} bound. Furthermore, the proposed direct construction provides novel ZCZ sequences of length $p^k$, where $k$ is an integer $\geq 2$. We establish a relationship between the proposed CC-ZCZ code set and the first-order generalized Reed-Muller (GRM) code, and proved that both have the same Hamming distance. We also counted the number of CC-ZCZ code set in first-order GRM codes. The column sequence peak-to-mean envelope power ratio (PMEPR) of the proposed CC-ZCZ construction is derived and compared with existing works. The proposed construction is also deduced to Golay-ZCZ and ZCZ sequences which are compared to the existing work. The proposed construction generalizes many of the existing work.


title: Storm Surge Modeling as an Application of Local Time-stepping in MPAS-Ocean

abstract: This paper presents the first scientific application of local time-stepping (LTS) schemes in the Model for Prediction Across Scales-Ocean (MPAS-O). We use LTS schemes in a single-layer, global ocean model that predicts the storm surge around the eastern coast of the United States during Hurricane Sandy. The variable-resolution meshes used are of unprecedentedly high resolution in MPAS-O, containing cells as small as 125 meters wide in Delaware Bay. It is shown that a particular, third-order LTS scheme (LTS3) produces sea-surface height (SSH) solutions that are of comparable quality to solutions produced by the classical four-stage, fourth-order Runge-Kutta method (RK4) with a uniform time step on the same meshes. Furthermore, LTS3 is up to 35% faster in the best cases, showing that LTS schemes are viable for use in MPAS-O with the added benefit of substantially less computational cost. The results of these performance experiments inform us of the requirements for efficient mesh design for LTS schemes. In particular, we see that for LTS to be efficient on a given mesh, it is important to have enough cells using the coarse time-step relative to those using the fine time-step, typically at least 1:5.