title: A differential topological study of compact manifolds having simple structures

abstract: The present paper mainly presents, for example, explicit classifications of compact smooth manifolds having non-empty boundaries and simple structures where the dimensions are general. Studies of this type is fundamental and important. They also remain to be immature and difficult. This is due to the fact that the dimensions are high and this has prevented us from studying the manifolds in geometric and constructive ways. Moreover, most of the present work is motivated by explicit studies of higher dimensional variants of Morse functions: especially so-called special generic maps. The class of special generic maps is a natural class containing canonical projections of unit spheres and Morse functions on homotopy spheres with exactly two singular points. Their images are in general (compact) manifolds smoothly immersed to the targets and the dimensions of the images and the targets coincide. They know much about the topologies and the differentiable structures of the manifolds of the domains. The author has previously studied related problems and the present study is also a new study closely related to them. Last, we also present a dream for contribution to studies of special generic maps and higher dimensional variants of Morse functions and manifolds admitting them.


title: Multi-channel Resource Allocation for Smooth Streaming: Non-convexity and Bandits

abstract: User dissatisfaction due to buffering pauses during streaming is a significant cost to the system, which we model as a non-decreasing function of the frequency of buffering pause. Minimization of total user dissatisfaction in a multi-channel cellular network leads to a non-convex problem. Utilizing a combinatorial structure in this problem, we first propose a polynomial time joint admission control and channel allocation algorithm which is provably (almost) optimal. This scheme assumes that the base station (BS) knows the frame statistics of the streams. In a more practical setting, where these statistics are not available a priori at the BS, a learning based scheme with provable guarantees is developed. This learning based scheme has relation to regret minimization in multi-armed bandits with non-i.i.d. and delayed reward (cost). All these algorithms require none to minimal feedback from the user equipment to the base station regarding the states of the media player buffer at the application layer, and hence, are of practical interest.


title: Non-Hermitian dislocation modes: Stability and melting across exceptional points

abstract: The traditional bulk-boundary correspondence assuring robust gapless modes at the edges and surfaces of insulating and nodal topological materials gets masked in non-Hermitian (NH) systems by the skin effect, manifesting an accumulation of a macroscopic number of states near such interfaces. Here we show that dislocation lattice defects are immune to such skin effect or at most display a \emph{weak} skin effect (depending on its relative orientation with the Burgers vector), and as such they support robust topological modes in the bulk of a NH system, specifically when the parent Hermitian phase features band inversion at a finite momentum. However, the dislocation modes gradually lose their support at their core when the system approaches an exceptional point, and finally melt into the boundary of the system across the NH band gap closing. We explicitly demonstrate these findings for a two-dimensional NH Chern insulator, thereby establishing that dislocation lattice defects can be instrumental to experimentally probe pristine NH topology.


title: Pauli energy contribution to nucleus-nucleus interaction

abstract: Background: The Pauli exclusion principle plays a crucial role as a building block of many-body quantal systems comprised of fermions. It also induces a "Pauli repulsion" in the interaction between di-nuclear systems. It has been shown in [Phys. Rev. C 95, 031601 (2017)] that the Pauli repulsion widens the nucleus-nucleus potential barrier, thus hindering sub-barrier fusion. Purpose: To investigate the proton and neutron contributions to the Pauli repulsion, both in the bare potential neglecting shape polarization and transfer between the reactants, as well as in the dynamical potential obtained by accounting for such dynamical rearrangements. Methods: As the basis of our study we utilize the Pauli kinetic energy (PKE) obtained by studying the nuclear localization function (NLF). Recently this approach has been generalized to incorporate all of the dynamical and time-odd terms present in the nuclear energy density functional. This approach is employed in the DCFHF and DC-TDHF methods. Results: The PKE spatial distribution shows that a repulsion occurs in the neck between the nuclei when they first touch. Inside the barrier, neutrons can contribute significantly more to the Pauli repulsion in neutron-rich systems. Dynamical effects tend to lower the Pauli repulsion near the barrier. Proton and neutron dynamical contributions to the PKE significantly differ inside the barrier for asymmetric collisions, which is interpreted as an effect of multinucleon transfer. Conclusions: The PKE is shown to make a significant contribution to nuclear interaction potentials. Protons and neutrons can play very different roles in both the bare potential and in the dynamical rearrangement. Further microscopic studies are required to better understand the role of transfer and to investigate the effect of pairing and deformation.


title: Spectral Normalisation for Deep Reinforcement Learning: an Optimisation Perspective

abstract: Most of the recent deep reinforcement learning advances take an RL-centric perspective and focus on refinements of the training objective. We diverge from this view and show we can recover the performance of these developments not by changing the objective, but by regularising the value-function estimator. Constraining the Lipschitz constant of a single layer using spectral normalisation is sufficient to elevate the performance of a Categorical-DQN agent to that of a more elaborated \rainbow{} agent on the challenging Atari domain. We conduct ablation studies to disentangle the various effects normalisation has on the learning dynamics and show that is sufficient to modulate the parameter updates to recover most of the performance of spectral normalisation. These findings hint towards the need to also focus on the neural component and its learning dynamics to tackle the peculiarities of Deep Reinforcement Learning.


title: Smectic vortex glass

abstract: We show that in type-II superconductors a magnetic field applied transversely to correlated columnar disorder, drives a phase transition to a distinct "smectic" vortex glass (SmVG) state. SmVG is characterized by an infinitely anisotropic electrical transport, resistive (dissipationless) for current perpendicular to (along) columnar defects. Its positional order is also quite unusual, long-ranged with true Bragg peaks along columnar defects and logarithmically rough vortex lattice distortions with quasi-Bragg peaks transverse to columnar defects. For low temperatures and sufficiently weak columnar-only disorder, SmVG is a true topologically-ordered "Bragg glass", characterized by a vanishing dislocation density. At sufficiently long scales the residual ever-present point disorder converts this state to a more standard, but highly anisotropic vortex glass.

categories: cond-mat.supr-con cond-mat.dis-nn cond-mat.soft cond-mat.stat-mech


title: Performance-aware placement and chaining scheme for virtualized network functions: a particle swarm optimization approach

abstract: Network functions virtualization (NFV) is a new concept that has received the attention of both researchers and network providers. NFV decouples network functions from specialized hardware devices and virtualizes these network functions as software instances called virtualized network functions (VNFs). NFV leads to various benefits, including more flexibility, high resource utilization, and easy upgrades and maintenances. Despite recent works in this field, placement and chaining of VNFs need more attention. More specifically, some of the existing works have considered only the placement of VNFs and ignored the chaining part. So, they have not provided an integrated view of host or bandwidth resources and propagation delay of paths. In this paper, we solve the VNF placement and chaining problem as an optimization problem based on the particle swarm optimization (PSO) algorithm. Our goal is to minimize the required number of used servers, the average propagation delay of paths, and the average utilization of links while meeting network demands and constraints. Based on the obtained results, the algorithm proposed in this study can find feasible and high-quality solutions.


title: A better measure of relative prediction accuracy for model selection and model estimation

abstract: Surveys show that the mean absolute percentage error (MAPE) is the most widely used measure of forecast accuracy in businesses and organizations. It is however, biased: When used to select among competing prediction methods it systematically selects those whose predictions are too low. This is not widely discussed and so is not generally known among practitioners. We explain why this happens. We investigate an alternative relative accuracy measure which avoids this bias: the log of the accuracy ratio: log (prediction / actual). Relative accuracy is particularly relevant if the scatter in the data grows as the value of the variable grows (heteroscedasticity). We demonstrate using simulations that for heteroscedastic data (modelled by a multiplicative error factor) the proposed metric is far superior to MAPE for model selection. Another use for accuracy measures is in fitting parameters to prediction models. Minimum MAPE models do not predict a simple statistic and so theoretical analysis is limited. We prove that when the proposed metric is used instead, the resulting least squares regression model predicts the geometric mean. This important property allows its theoretical properties to be understood.


title: Several special cases of a square problem

abstract: Here is a square problem: in a unit square, is there a point with four rational distances to the vertices? A probability argument suggests a negative answer. This paper proves several special cases of the square problem: if the point sits on the diagonals, the midlines or the edges of the square, or the side-length of the square is n times the distance from the point to one side (both $n$ and $(n^2+4)$ are prime numbers), the distances from this point to the four vertices can not be all rational. However, this paper does not prove a more general situation. The proof here can be extended to the whole plane, instead of being limited to the interior of the square. Key Words: discrete Geometry; rational distance; a square problem.


title: Quantum Fisher Cosmology: Confronting Observations and the Trans-Planckian Problem

abstract: The aim of Quantum Fisher Cosmology is to use the quantum Fisher information about pure de Sitter states to derive model independent observational consequences of the existence of a primordial phase of the Universe of de Sitter accelerated expansion. These quantum features are encoded in a scale dependent quantum cosmological tilt that defines what we can call the de Sitter universality class. The experimental predictions are: i) A phase transition from red into blue tilt at a scale order $k= 1$ Mpc$^{-1}$ that naturally solves the cosmological trans-Planckian problem, ii) A spectral index for curvature fluctuations at CMB scales $k= 0.05$ Mpc$^{-1}$ equal to $0.0328$, iii) A tilt running at scale $k=0.002$ Mpc$^{-1}$ equal to $-0.0019$, iv) An enhancement of the amplitude of CMB peaks for extremely high multipoles ($l > 10^5$) that can provide a natural mechanism for primordial black hole formation as a source of dark matter, v) A lack of power at scales of $8$ Mpc with respect to the CMB scale that can explain the $\sigma_8$ tension.


title: Dwarf satellites of high-z Lyman Break Galaxies: a free lunch for JWST

abstract: We show that the James Webb Space Telescope will be able to detect dwarf satellites of high-$z$ Lyman Break Galaxies (LBGs). To this aim, we use cosmological simulations following the evolution of a typical $M_\star\simeq10^{10}\rm M_\odot$ LBG up to $z\simeq6$, and analyse the observational properties of its five satellite dwarf galaxies ($10^7{\rm M_\odot}<M_\star<10^9{\rm M_\odot}$). Modelling their stellar emission and dust attenuation, we reconstruct their rest-frame UV-optical spectra for $6<z<6.5$. JWST/NIRCam synthetic images show that the satellites can be spatially resolved from their host, and their emission is detectable by planned deep surveys. Moreover, we build synthetic spectral energy distributions and colour-magnitude diagrams for the satellites. We conclude that the color $\rm F200W-F356W$ is a powerful diagnostic tool for understanding their physical properties once they have been identified. For example, $\rm F200W-F356W~\lesssim-0.25$ can be used to identify star-bursting ($\rm SFR\sim5~M_\odot yr^{-1}$), low-mass ($M_\star\lesssim5\times 10^8\rm M_\odot$) systems, with $\sim80\%$ of their stars being young and metal-poor ($\log(Z_\star/Z_\odot) < -0.5$).


title: Extended Calculation of Dark Matter-Electron Scattering in Crystal Targets

abstract: We extend the calculation of dark matter direct detection rates via electronic transitions in general dielectric crystal targets, combining state-of-the-art density functional theory calculations of electronic band structures and wave functions near the band gap, with semi-analytic approximations to include additional states farther away from the band gap. We show, in particular, the importance of all-electron reconstruction for recovering large momentum components of electronic wave functions, which, together with the inclusion of additional states, has a significant impact on direct detection rates, especially for heavy mediator models and at $\mathcal{O}(10\,\text{eV})$ and higher energy depositions. Applying our framework to silicon and germanium (that have been established already as sensitive dark matter detectors), we find that our extended calculations can appreciably change the detection prospects. Our calculational framework is implemented in an open-source program $\texttt{EXCEED-DM}$ (EXtended Calculation of Electronic Excitations for Direct detection of Dark Matter), to be released in an upcoming publication.


title: Neutron star structure with a new force between quarks

abstract: The discovery of nondiffuse sources of gravitational waves through compact-object mergers opens new prospects for the study of physics beyond the Standard Model. In this paper, we study the effects of a new force between quarks, suggested by the gauging of baryon number, on pure neutron matter at supranuclear densities. This leads to a stiffening of the equation of state, allowing neutron stars to be both larger and heavier and possibly accommodating the light progenitor of GW190814 as a neutron star. The role of conventional three-body forces in neutron star structure is still poorly understood, though they can act in a similar way, implying that the mass and radius do not in themselves resolve whether new physics is coming into play. However, a crucial feature of the scenario we propose is that the regions of the new physics parameter space that induce observable changes to neutron star structure are testable at low-energy accelerator facilities. This testability distinguishes our scenario from other classes of new phenomena in dense matter.


title: New Thermal Relic Targets for Inelastic Vector-Portal Dark Matter

abstract: We examine the vector-portal inelastic dark matter (DM) model with DM mass $m_\chi$ and dark photon mass $m_{A'}$, in the `forbidden dark matter' regime where $1 \lesssim m_{A'}/m_\chi \lesssim 2$, carefully tracking the dark sector temperature throughout freezeout. The inelastic nature of the dark sector relaxes the stringent cosmic microwave background (CMB) and self-interaction constraints compared to symmetric DM models. We determine the CMB limits on both annihilations involving excited states and annihilation into $e^+e^-$ through initial-state-radiation of an $A'$, as well as limits on the DM self-scattering, which proceeds at the one-loop level. The unconstrained parameter space serves as an ideal target for accelerator $A'$ searches, and provides a DM self-interaction cross section that is large enough to observably impact small-scale structure.


title: Uniform Forward-Modeling Analysis of Ultracool Dwarfs. II. Atmospheric Properties of 55 Late-T Dwarfs

abstract: We present a large forward-modeling analysis for 55 late-T (T7-T9) dwarfs, using low-resolution ($R\approx150$) near-infrared spectra and cloudless Sonora-Bobcat model atmospheres. We derive the objects' effective temperatures, surface gravities, metallicities, radii, masses, and luminosities using our newly developed Bayesian framework, and use the resulting population properties to test the model atmospheres. We find (1) our objects' fitted metallicities are 0.3-0.4 dex lower than those of nearby stars; (2) their ages derived from spectroscopic parameters are implausibly young; (3) their fitted temperatures show a similar spread as empirical temperature scales at a given spectral type but are $\sim100$ K hotter for $\geqslant$T8 dwarfs; and (4) their spectroscopically inferred masses are unphysically small. These results suggest the Sonora-Bobcat assumptions of cloudless and chemical-equilibrium atmospheres do not adequately reproduce late-T dwarf spectra. We also find a gravity- and a metallicity-dependence of temperatures. Combining the resulting parameter posteriors of our sample, we quantify the degeneracy between surface gravity and metallicity such that an increase in $Z$ combined with a $3.4\times$ increase in $\log{g}$ results in a spectrum that has similar fitted parameters. We note the systematic difference between our 1.0-2.5 $\mu$m spectra and the Sonora-Bobcat models is $\approx$2-4% of the objects' peak $J$-band fluxes, implying modeling systematics will exceed measurement uncertainties when analyzing data with $J$-band S/N $\gtrsim50$. Using our large sample, we examine the fitting residuals as a function of wavelength and atmospheric properties to discern how to improve the models. Our work constitutes the largest analysis of brown dwarf spectra using multi-metallicity models and the most systematic examination of ultracool model atmospheres to date.


title: Synergies of top and $B$ anomalies in SMEFT

abstract: We present constraints on Wilson coefficients from a combined fit to data from top-quark and beauty-physics measurements within the Standard Model effective field theory. We consider present data on top-quark pair production and decay, $b\to s$ flavor changing neutral currents, and $Z\to b\bar b$ decay, as well as different future scenarios. These comprise projections for HL-LHC, Belle II, and a lepton collider using the example of CLIC. We investigate opportunities for detecting deviations from the Standard Model hinted at by present data on $b\to s$ transitions. In the fit, we find strong synergies between top-quark and beauty physics that allow to tighten constraints on various coefficients.


title: Bayes-based orbital elements estimation in triple hierarchical stellar systems

abstract: Under certain rather prevalent conditions (driven by dynamical orbital evolution), a hierarchical triple stellar system can be well approximated, from the standpoint of orbital parameter estimation, as two binary star systems combined. Even under this simplifying approximation, the inference of orbital elements is a challenging technical problem because of the high dimensionality of the parameter space, and the complex relationships between those parameters and the observations (astrometry and radial velocity). In this work we propose a new methodology for the study of triple hierarchical systems using a Bayesian Markov-Chain Monte Carlo-based framework. In particular, graphical models are introduced to describe the probabilistic relationship between parameters and observations in a dynamically self-consistent way. As information sources we consider the cases of isolated astrometry, isolated radial velocity, as well as the joint case with both types of measurements. Graphical models provide a novel way of performing a factorization of the joint distribution (of parameter and observations) in terms of conditional independent components (factors), so that the estimation can be performed in a two-stage process that combines different observations sequentially. Our framework is tested against three well-studied benchmark cases of triple systems, where we determine the inner and outer orbital elements, coupled with the mutual inclination of the orbits, and the individual stellar masses, along with posterior probability (density) distributions for all these parameters. Our results are found to be consistent with previous studies. We also provide a mathematical formalism to reduce the dimensionality in the parameter space for triple hierarchical stellar systems in general.


title: Strong lensing signatures of self-interacting dark matter in low-mass halos

abstract: Core formation and runaway core collapse in models with self-interacting dark matter (SIDM) significantly alter the central density profiles of collapsed halos. Using a forward modeling inference framework with simulated datasets, we demonstrate that flux ratios in quadruple image strong gravitational lenses can detect the unique structural properties of SIDM halos, and statistically constrain the amplitude and velocity dependence of the interaction cross section in halos with masses between $10^6 - 10^{10} M_{\odot}$. Measurements on these scales probe self-interactions at velocities below $30 \ \rm{km} \ \rm{s^{-1}}$, a relatively unexplored regime of parameter space, complimenting constraints at higher velocities from galaxies and clusters. We cast constraints on the amplitude and velocity dependence of the interaction cross section in terms of $\sigma_{20}$, the cross section amplitude at $20 \ \rm{km} \ \rm{s^{-1}}$. With 50 lenses, a sample size available in the near future, and flux ratios measured from spatially compact mid-IR emission around the background quasar, we forecast $\sigma_{20} < 11-23 \ \rm{cm^2} \rm{g^{-1}}$ at $95 \%$ CI, depending on the amplitude of the subhalo mass function, and assuming cold dark matter (CDM). Alternatively, if $\sigma_{20} = 19.2 \ \rm{cm^2}\rm{g^{-1}}$ we can rule out CDM with a likelihood ratio of 20:1, assuming an amplitude of the subhalo mass function that results from doubly-efficient tidal disruption in the Milky Way relative to massive elliptical galaxies. These results demonstrate that strong lensing of compact, unresolved sources can constrain SIDM structure on sub-galactic scales across cosmological distances, and the evolution of SIDM density profiles over several Gyr of cosmic time.


title: MUSEQuBES: Characterizing the circumgalactic medium of redshift $\approx3.3$ Ly$\alpha$ emitters

abstract: We present the first characterization of the circumgalactic medium of Ly$\alpha$ emitters (LAEs), using a sample of 96 $z\approx3.3$ LAEs detected with the VLT/MUSE in fields centered on 8 bright background quasars. The LAEs have low Ly$\alpha$ luminosities ($\sim 10^{42}\,\text{erg}\,\text{s}^{-1}$) and star formation rates (SFRs) $\sim 1~\text{M}_\odot\,\text{yr}^{-1}$, which for main sequence galaxies corresponds to stellar masses of only $\sim 10^{8.6}\,\text{M}_\odot$. The median transverse distance between the LAEs and the quasar sightlines is 165 proper kpc (pkpc). We stacked the high-resolution quasar spectra and measured significant excess HI and CIV absorption near the LAEs out to 500 $\text{km}\,\text{s}^{-1}$ and at least $\approx 250$ pkpc (corresponding to $\approx 7$ virial radii). At $\lesssim 30~\text{km}\,\text{s}^{-1}$ from the galaxies the median HI and CIV optical depths are enhanced by an order of magnitude. The absorption is significantly stronger around the $\approx 1/3$ of our LAEs that are part of `groups', which we attribute to the large-scale structures in which they are embedded. We do not detect any strong dependence of either the HI or CIV absorption on transverse distance (over the range $\approx 50-250$ pkpc), redshift, or the properties of the Ly$\alpha$ emission line (luminosity, full width at half maximum, or equivalent width). However, for HI, but not CIV, the absorption at $\lesssim 100\,\text{km}\,\text{s}^{-1}$ from the LAE does increase with the SFR. This suggests that LAEs surrounded by more HI tend to have higher SFRs.


title: Berezinskii-Kosterlitz-Thouless transition transport in spin-triplet superconductor

abstract: As the spin-triplet superconductivity arises from the condensation of spinful Cooper pairs, its full characterization requires not only charge ordering, but also spin ordering. For a two-dimensional (2D) easy-plane spin-triplet superconductor, this na\"{i}vely seems to suggest the possibility of two distinct Berezinskii-Kosterlitz-Thouless (BKT) phase transitions, one in the charge sector and the other in the spin sector. However, it has been recognized that there are actually three possible BKT transitions, involving the deconfinement of, respectively, the conventional vortices, the merons and the half-quantum vortices with vorticity in both the charge and the spin current. We show how all the transitions can be characterized by the relation between the voltage drop and the spin-polarized current bias. This study reveals that, due to the hitherto unexamined transport of half-quantum vortices, there is an upper bound on the spin supercurrent in a quasi-long range ordered spin-triplet superconductor, which provides a means for half-quantum vortex detection via transport measurements and deeper understanding of fluctuation effects in superconductor-based spintronic devices.


title: Espresso and Stochastic Acceleration of Ultra-high-energy Cosmic Rays in Relativistic Jets

abstract: In the espresso scenario, ultra-high-energy (UHE) cosmic rays (CRs) are produced via a one-shot reacceleration of galactic-like CRs in the relativistic jets of active galactic nuclei, independently of the scattering rate dictated by magnetic fluctuations. In Mbarek & Caprioli (2019), we traced test-particle CRs in high-resolution magnetohyrodynamic (MHD) jet simulations and found that the associated spectral slope, chemical composition, and anisotropy are consistent with UHECR phenomenology. In this work, we extend such an analysis by including sub-grid pitch-angle scattering to model small-scale magnetic turbulence that cannot be resolved by MHD simulations. We find that a large scattering rate unlocks stochastic acceleration and fosters the energization of lower-energy CRs, which eventually leads to harder UHECR spectra. Yet, the particles that achieve the highest energies (up to the Hillas limit) are invariably produced by espresso acceleration and their spectrum is independent of the assumed sub-grid scattering rate.


title: Chemodynamical signatures of bar resonances in the Galactic disk: current data and future prospects

abstract: The Galactic disk exhibits complex chemical and dynamical substructure thought to be induced by the bar, spiral arms, and satellites. Here, we explore the chemical signatures of bar resonances in action and velocity space and characterize the differences between the signatures of corotation and higher-order resonances using test particle simulations. Thanks to recent surveys, we now have large datasets containing metallicities and kinematics of stars outside the solar neighborhood. We compare the simulations to the observational data from Gaia EDR3 and LAMOST DR5 and find weak evidence for a slow bar with the "hat" moving group ($250~\text{km/s} \lesssim v_\phi \lesssim 270~\text{km/s}$) associated with its outer Lindblad resonance and "Hercules" ($170~\textrm{km/s} \lesssim v_\phi \lesssim 195~\text{km/s}$) with corotation. While constraints from current data are limited by their spatial footprint, stars closer in azimuth than the Sun to the bar's minor axis show much stronger signatures of the bar's outer Lindblad and corotation resonances in test particle simulations. Future datasets with greater azimuthal coverage, including the final Gaia data release, will allow reliable chemodynamical identification of bar resonances.


title: Anharmonic classical time crystals: A coresonance pattern formation mechanism

abstract: Driven many-body systems have been shown to exhibit discrete time crystal phases characterized by broken discrete time-translational symmetry. This has been achieved generally through a subharmonic response, in which the system undergoes one oscillation every other driving period. Here, we demonstrate that classical time crystals do not need to resonate in a subharmonic fashion but instead can also exhibit a continuously tunable anharmonic response to driving, which we show can emerge through a coresonance between modes in different branches of the dispersion relation in a parametrically driven medium. This response, characterized by a typically incommensurate ratio between the resonant frequencies and the driving frequency, is demonstrated by introducing a time crystal model consisting of an array of coupled pendula with alternating lengths. Importantly, the coresonance mechanism is the result of a bifurcation involving a fixed point and an invariant torus, with no intermediate limit cycles. This bifurcation thus gives rise to a many-body symmetry-breaking phenomenon directly connecting the symmetry-unbroken phase with a previously uncharacterized phase of matter, which we call an anharmonic time crystal phase. The mechanism is shown to generalize to driven media with any number of coupled fields and is expected to give rise to anharmonic responses in a range of weakly damped pattern-forming systems, with potential applications to the study of nonequilibrium phases, frequency conversion, and acoustic cloaking.


title: Complex Dirac structures: invariants and local structure

abstract: We study complex Dirac structures, that is, Dirac structures in the complexified generalized tangent bundle. These include presymplectic foliations, transverse holomorphic structures, CR-related geometries and generalized complex structures. We introduce two invariants, the order and the (normalized) type. We show that, together with the real index, they allow us to obtain a pointwise classification of complex Dirac structures. For constant order, we prove the existence of an underlying real Dirac structure, which generalizes the Poisson structure associated to a generalized complex structure. For constant real index and order, we prove a splitting theorem, which gives a local description in terms of a presymplectic leaf and a small transversal.


title: Playing quantum nonlocal games with six noisy qubits on the cloud

abstract: Nonlocal games are extensions of Bell inequalities, aimed at demonstrating quantum advantage. These games are well suited for noisy quantum computers because they only require the preparation of a shallow circuit, followed by the measurement of non-commuting observable. Here, we consider the minimal implementation of the nonlocal game proposed in Science 362, 308 (2018). We test this game by preparing a 6-qubit cluster state using quantum computers on the cloud by IBM, Ionq, and Honeywell. Our approach includes several levels of optimization, such as circuit identities and error mitigation and allows us to cross the classical threshold and demonstrate quantum advantage in one quantum computer. We conclude by introducing a different inequality that allows us to observe quantum advantage in less accurate quantum computers, at the expense of probing a larger number of circuits.


title: The Atacama Cosmology Telescope: Microwave Intensity and Polarization Maps of the Galactic Center

abstract: We present arcminute-resolution intensity and polarization maps of the Galactic center made with the Atacama Cosmology Telescope (ACT). The maps cover a 32 deg$^2$ field at 98, 150, and 224 GHz with $\vert l\vert\le4^\circ$, $\vert b\vert\le2^\circ$. We combine these data with Planck observations at similar frequencies to create coadded maps with increased sensitivity at large angular scales. With the coadded maps, we are able to resolve many known features of the Central Molecular Zone (CMZ) in both total intensity and polarization. We map the orientation of the plane-of-sky component of the Galactic magnetic field inferred from the polarization angle in the CMZ, finding significant changes in morphology in the three frequency bands as the underlying dominant emission mechanism changes from synchrotron to dust emission. Selected Galactic center sources, including Sgr A*, the Brick molecular cloud (G0.253+0.016), the Mouse pulsar wind nebula (G359.23-0.82), and the Tornado supernova remnant candidate (G357.7-0.1), are examined in detail. These data illustrate the potential for leveraging ground-based Cosmic Microwave Background polarization experiments for Galactic science.


title: On the Random Motion of Nuclear Objects in a Fuzzy Dark Matter Halo

abstract: Fuzzy Dark Matter (FDM), consisting of ultralight bosons ($m_{\rm b} \sim 10^{-22}\ \rm eV$), is an intriguing alternative to Cold Dark Matter. Numerical simulations that solve the Schr\"odinger-Poisson (SP) equation show that FDM halos consist of a central solitonic core, which is the ground state of the SP equation, surrounded by an envelope of interfering excited states. These excited states also interfere with the soliton, causing it to oscillate and execute a confined random walk with respect to the halo center of mass. Using high-resolution numerical simulations of a $6.6 \times 10^9 M_{\odot}$ FDM halo with $m_{\rm b} = 8 \times 10^{-23}\ \rm eV$ in isolation, we demonstrate that the wobbling, oscillating soliton gravitationally perturbs nuclear objects, such as supermassive black holes or dense star clusters, causing them to diffuse outwards. In particular, we show that, on average, objects with mass $\lesssim 0.3 \%$ of the soliton mass ($M_{\rm sol}$) are expelled from the soliton in $\sim 3\ \rm Gyr$, after which they continue their outward diffusion due to gravitational interactions with the soliton and the halo granules. More massive objects ($\gtrsim 1 \% M_{\rm sol}$), while executing a random walk, remain largely confined to the soliton due to dynamical friction. We also present an effective treatment of the diffusion, based on kinetic theory, that accurately reproduces the outward motion of low mass objects and briefly discuss how the observed displacements of star clusters and active galactic nuclei from the centers of their host galaxies can be used to constrain FDM.


title: The fate of twin stars on the unstable branch: implications for the formation of twin stars

abstract: Hybrid hadron-quark equations of state that give rise a third family of stable compact stars have been shown to be compatible with the LIGO-Virgo event GW170817. Stable configurations in the third family are called hybrid hadron-quark stars. The equilibrium stable hybrid hadron-quark star branch is separated by the stable neutron star branch with a branch of unstable hybrid hadron-quark stars. The end-state of these unstable configurations has not been studied, yet, and it could have implications for the formation and existence of twin stars -- hybrid stars with the same mass as neutron stars but different radii. We modify existing hybrid hadron-quark equations of state with a first-order phase transition in order to guarantee a well-posed initial value problem of the equations of general relativistic hydrodynamics, and study the dynamics of non-rotating or rotating unstable twin stars via 3-dimensional simulations in full general relativity. We find that unstable twin stars naturally migrate toward the hadronic branch. Before settling into the hadronic regime, these stars undergo (quasi)radial oscillations on a dynamical timescale while the core bounces between the two phases. Our study suggests that it may be difficult to form stable twin stars if the phase transition is sustained over a large jump in energy density, and hence it may be more likely that astrophysical hybrid hadron-quark stars have masses above the twin star regime. We also study the minimum-mass instability for hybrid stars, and find that these configurations do not explode, unlike the minimum-mass instability for neutron stars. Additionally, our results suggest that oscillations between the two Quantum Chromodynamic phases could provide gravitational wave signals associated with such phase transitions in core-collapse supernovae and white dwarf-neutron star mergers.


title: Genesis of morpho-kinematic lopsidedness in minor merger of galaxies

abstract: An $m=1$ lopsided asymmetry is common in disc galaxies. Here, we investigate the excitation of an $m=1$ lopsidedness in host galaxies during minor mergers while choosing a set of 1:10 merger models (with varying orbital configurations, morphology of the host galaxy) from the GalMer galaxy merger library. We show that a minor merger triggers a prominent $m=1$ lopsidedness in stars of the host galaxy. The strength of the $m=1$ lopsidedness undergoes a transient amplification phase after each pericenter passage of the satellite, in concordance with past findings of exciting an $m=1$ lopsidedness by tidal encounters. However, once the merger happens, and the post-merger remnant readjusts itself, the lopsidedness disappears in short time-scale ($\sim$ 500-850 Myr). Furthermore, a delayed merger can drive a prolonged ($\sim$2 Gyr) lopsidedness in the host galaxy. We demonstrate that the $m=1$ lopsidedness rotates with a well-defined pattern speed which is much slower than the $m=2$ bar pattern speed, and is retrograde with respect to the bar. This gives rise to a dynamical scenario where the Inner Lindblad resonance of the $m=1$ lopsidedness falls in between the corotation and the Outer Lindblad resonance of the $m=2$ bar mode. A kinematic lopsidedness also arises in the host galaxy; the resulting temporal variation closely follows that of the density lopsidedness. The minor merger also triggers a transient off-centred stellar disc-dark matter halo configuration due to the tidal encounter with the satellite.


title: Quantum Monte Carlo simulations in the trimer basis: first-order transitions and thermal critical points in frustrated trilayer magnets

abstract: The phase diagrams of highly frustrated quantum spin systems can exhibit first-order quantum phase transitions and thermal critical points even in the absence of any long-ranged magnetic order. However, all unbiased numerical techniques for investigating frustrated quantum magnets face significant challenges, and for generic quantum Monte Carlo methods the challenge is the sign problem. Here we report on a general quantum Monte Carlo approach with a loop-update scheme that operates in any basis, and we show that, with an appropriate choice of basis, it allows us to study a frustrated model of coupled spin-1/2 trimers: simulations of the trilayer Heisenberg antiferromagnet in the spin-trimer basis are sign-problem-free when the intertrimer couplings are fully frustrated. This model features a first-order quantum phase transition, from which a line of first-order transitions emerges at finite temperatures and terminates in a thermal critical point. The trimer unit cell hosts an internal degree of freedom that can be controlled to induce an extensive entropy jump at the quantum transition, which alters the shape of the first-order line. We explore the consequences for the thermal properties in the vicinity of the critical point, which include profound changes in the lines of maxima defined by the specific heat. Our findings reveal trimer quantum magnets as fundamental systems capturing in full the complex thermal physics of the strongly frustrated regime.


title: Circular dichroism as a probe for topology in three-dimensional semimetals

abstract: Higher-pseudospin fermions, associated with multiple band-crossings in topological semimetals, are the condensed matter analogues of higher-spin fermions in high-energy physics. In this paper, we demonstrate that analyzing the response of a circular drive is an effective way to detect the topology of the lowest-energy Bloch band, as it can be connected to a frequency-dependent probe. The dichroic response exhibits circular dichroism due to the differential excitation rates by the left- and right-circular orientations of a time-periodic drive, induced on a filled band, because of the geometrical properties of the Bloch bands. Our analytical approximation reveals that the dichroic response is quantized for isotropic systems, when the frequency of the drive is above a critical value, and thus correctly infers the ground-state Chern number. We demonstrate this through explicit numerical computations by considering three kinds of semimetals with pseudospin values of 1/2, 1, and 3/2, respectively, and all having linear dispersions. Furthermore, we investigate the effects of tilt and anisotropy on the systems, and find that although tilt does not have any effect on the response, the presence of anisotropy can drastically hamper the quantization. Our scheme thus provides an important methodology for designing future experiments to detect the topology of band structures.


title: An Empirical Study of Compression-friendly Community Detection Methods

abstract: Real-world graphs are massive in size and we need a huge amount of space to store them. Graph compression allows us to compress a graph so that we need a lesser number of bits per link to store it. Of many techniques to compress a graph, a typical approach is to find clique-like caveman or traditional communities in a graph and encode those cliques to compress the graph. On the other side, an alternative approach is to consider graphs as a collection of hubs connecting spokes and exploit it to arrange the nodes such that the resulting adjacency matrix of the graph can be compressed more efficiently. We perform an empirical comparison of these two approaches and show that both methods can yield good results under favorable conditions. We perform our experiments on ten real-world graphs and define two cost functions to present our findings.


title: On the influence of halo mass accretion history on galaxy properties and assembly bias

abstract: Halo assembly bias is the secondary dependence of the clustering of dark-matter haloes on their assembly histories at fixed halo mass. This established dependence is expected to manifest itself on the clustering of the galaxy population, a potential effect commonly known as galaxy assembly bias. Using the IllustrisTNG300 magnetohydrodynamical simulation, we analyse the dependence of the properties and clustering of galaxies on the shape of the specific mass accretion history of their hosting haloes (sMAH). We first show that several halo and galaxy properties strongly correlate with the slope of the sMAH ($\beta$) at fixed halo mass. Namely, haloes with increasingly steeper $\beta$ increment their halo masses faster at early times, and their hosted galaxies present larger stellar-to-halo mass ratios, lose their gas faster, reach the peak of their star formation histories at higher redshift, and become quenched earlier. We also demonstrate that $\beta$ is more directly connected to these key galaxy formation properties than other broadly employed halo proxies, such as formation time. Finally, we measure the secondary dependence of galaxy clustering on $\beta$ at fixed halo mass as a function of redshift. By tracing back the evolution of individual haloes, we show that the amplitude of the galaxy assembly bias signal for the progenitors of $z=0$ galaxies increases with redshift, reaching a factor of 2 at $z = 1$ for haloes of $M_\mathrm{halo}=10^{11.5}-10^{12}$ $h^{-1}\mathrm{M}_\odot$. The measurement of the evolution of assembly bias along the merger tree provides a new theoretical perspective to the study of secondary bias. Our findings, which show a tight relationship between halo accretion and both the clustering and the observational properties of the galaxy population, have also important implications for the generation of mock catalogues for upcoming cosmological surveys.


title: Hermitian Symmetric Spaces for Graph Embeddings

abstract: Learning faithful graph representations as sets of vertex embeddings has become a fundamental intermediary step in a wide range of machine learning applications. The quality of the embeddings is usually determined by how well the geometry of the target space matches the structure of the data. In this work we learn continuous representations of graphs in spaces of symmetric matrices over C. These spaces offer a rich geometry that simultaneously admits hyperbolic and Euclidean subspaces, and are amenable to analysis and explicit computations. We implement an efficient method to learn embeddings and compute distances, and develop the tools to operate with such spaces. The proposed models are able to automatically adapt to very dissimilar arrangements without any apriori estimates of graph features. On various datasets with very diverse structural properties and reconstruction measures our model ties the results of competitive baselines for geometrically pure graphs and outperforms them for graphs with mixed geometric features, showcasing the versatility of our approach.


title: Spectroscopy of Rubidium atoms in solid matrices of rare gases: experimental results and theoretical analysis

abstract: We present an experimental and theoretical investigation of the spectroscopy of dilute alkali atoms in a solid matrix of inert gases at cryogenic temperatures, specifically Rubidium atoms in a solid Argon or Neon matrix, and related aspects of the interaction energies between the alkali atoms and the atoms of the solid matrix. The system considered is relevant for matrix isolation spectroscopy, and it is at the basis of a recently proposed detector of cosmological axions, exploiting magnetic-type transitions between Zeeman sublevels of alkali atoms in a magnetic field, tuned to the axion mass, assumed in the meV range. Axions are one of the supposed constituents of the dark matter (DM) of the Universe. This kind of spectroscopy could be also relevant for the experimental search of new physics beyond the Standard Model, in particular the search of violations of time-reversal or parity-charge-conjugation (CP) symmetry. In order to efficiently resolve the axion-induced transition in alkali-doped solid matrices, it is necessary to reduce as much as possible the spectral linewidth of the electronic transitions involved. The theoretical investigation presented in this paper aims to estimate the order of magnitude of the inhomogeneous contribution to the linewidth due to the alkali--matrix interactions (Coulomb/exchange and dispersion), and to compare the theoretical results with our experimental measurements of spectra of dilute Rubidium atoms in Argon and Neon solid matrix. The comparison of the expected or measured spectral linewidths will be important for selecting the most appropriate combination of alkali atoms and matrix inert elements to be used in the proposed axion detection scheme. It is finally suggested that dilute Lithium atoms diffused in a cold parahydrogen solid matrix could be, overall, a good system upon which the proposed detector could be based.


title: Outward Migration of Super-Jupiters

abstract: Recent simulations show that giant planets of about one Jupiter mass migrate inward at a rate that differs from the Type II prediction. Here we show that at higher masses, planets migrate outward. Our result differs from previous ones because of our longer simulation times, lower viscosity, and our boundary conditions that allow the disk to reach viscous steady state. We show that, for planets on circular orbits, the transition from inward to outward migration coincides with the known transition from circular to eccentric disks that occurs for planets more massive than a few Jupiters. In an eccentric disk, the torque on the outer disk weakens due to two effects: the planet launches weaker waves, and those waves travel further before damping. As a result, the torque on the inner disk dominates, and the planet pushes itself outward. Our results suggest that the many super-Jupiters observed by direct-imaging at large distances from the star may have gotten there by outward migration.


title: Polygrammar: Grammar for Digital Polymer Representation and Generation

abstract: Polymers are widely-studied materials with diverse properties and applications determined by different molecular structures. It is essential to represent these structures clearly and explore the full space of achievable chemical designs. However, existing approaches are unable to offer comprehensive design models for polymers because of their inherent scale and structural complexity. Here, we present a parametric, context-sensitive grammar designed specifically for the representation and generation of polymers. As a demonstrative example, we implement our grammar for polyurethanes. Using our symbolic hypergraph representation and 14 simple production rules, our PolyGrammar is able to represent and generate all valid polyurethane structures. We also present an algorithm to translate any polyurethane structure from the popular SMILES string format into our PolyGrammar representation. We test the representative power of PolyGrammar by translating a dataset of over 600 polyurethane samples collected from literature. Furthermore, we show that PolyGrammar can be easily extended to the other copolymers and homopolymers such as polyacrylates. By offering a complete, explicit representation scheme and an explainable generative model with validity guarantees, our PolyGrammar takes an important step toward a more comprehensive and practical system for polymer discovery and exploration. As the first bridge between formal languages and chemistry, PolyGrammar also serves as a critical blueprint to inform the design of similar grammars for other chemistries, including organic and inorganic molecules.


title: On the Stability of Solitary Wave Solutions for a Generalized Fractional Benjamin-Bona-Mahony Equation

abstract: In this paper we establish a rigorous spectral stability analysis for solitary waves associated to a generalized fractional Benjamin-Bona-Mahony type equation. Besides the well known smooth and positive solitary wave with large wave speed, we present the existence of smooth negative solitary waves having small wave speed. The spectral stability is then determined by analysing the behaviour of the associated linearized operator around the wave restricted to the orthogonal of the tangent space related to the momentum at the solitary wave. Since the analytical solution is not known, we generate the negative solitary waves numerically by using Petviashvili method. We also present some numerical experiments to observe the stability properties of solitary waves for various values of the order of nonlinearity and fractional derivative. Some remarks concerning the orbital stability are also celebrated.


title: Gaussian graphical models with graph constraints for magnetic moment interaction in high entropy alloys

abstract: This article is motivated by studying the interaction of magnetic moments in high entropy alloys (HEAs), which plays an important role in guiding HEA designs in materials science. While first principles simulations can capture magnetic moments of individual atoms, explicit models are required to analyze their interactions. This is essentially an inverse covariance matrix estimation problem. Unlike most of the literature on graphical models, the inverse covariance matrix possesses inherent structural constraints encompassing node types, topological distance of nodes, and partially specified conditional dependence patterns. The present article is, to our knowledge, the first to consider such intricate structures in graphical models. In particular, we introduce graph constraints to formulate these structures that arise from domain knowledge and are critical for interpretability, which leads to a Bayesian conditional autoregressive model with graph constraints (CARGO) for structured inverse covariance matrices. The CARGO method enjoys efficient implementation with a modified Gauss-Seidel scheme through proximity operators for closed-form posterior exploration. We establish algorithmic convergence for the proposed algorithm under a verifiable stopping criterion. Simulations show competitive performance of CARGO relative to several other methods and confirm our convergence analysis. In a novel real data application to HEAs, the proposed methods lead to data-driven quantification and interpretation of magnetic moment interactions with high tractability and transferability.


title: Mars Astrobiological Cave and Internal habitability Explorer (MACIE): A New Frontiers Mission Concept

abstract: Martian subsurface habitability and astrobiology can be evaluated via a lava tube cave, without drilling. MACIE addresses two key goals of the Decadal Survey (2013-2022) and three MEPAG goals. New advances in robotic architectures, autonomous navigation, target sample selection, and analysis will enable MACIE to explore the Martian subsurface.


title: BMO solutions to quasilinear equations of $p$-Laplace type

abstract: We give necessary and sufficient conditions for the existence of a BMO solution to the quasilinear equation $-\Delta_{p} u = \mu$ in $\mathbb{R}^n$, $u\ge 0$, where $\mu$ is a locally finite Radon measure, and $\Delta_{p}u= \text{div}(|\nabla u|^{p-2}\nabla u)$ is the $p$-Laplacian ($p>1$). We also characterize BMO solutions to equations $-\Delta_{p} u = \sigma u^{q} + \mu$ in $\mathbb{R}^n$, $u\ge 0$, with $q>0$, where both $\mu$ and $\sigma$ are locally finite Radon measures. Our main results hold for a class of more general quasilinear operators ${\rm div}(\mathcal{A}(x, \nabla \cdot))$ in place of $\Delta_{p}$.


title: Maximal free energy of the log-gamma polymer

abstract: We prove a phase transition for the law of large numbers and fluctuations of $\mathsf F_N$, the maximum of the free energy of the log-gamma directed polymer with parameter $\theta$, maximized over all possible starting and ending points in an $N\times N$ square. In particular, we find an explicit critical value $\theta_c=2\Psi^{-1}(0)>0$ ($\Psi$ is the digamma function) such that: 1. For $\theta<\theta_c$, $\mathsf F_N+2\Psi(\theta/2)N$ has order $N^{1/3}$ GUE Tracy-Widom fluctuations. 2. For $\theta=\theta_c$, $\mathsf F_N= \Theta(N^{1/3}(\log N)^{2/3})$. 3. For $\theta>\theta_c$, $\mathsf F_N=\Theta(\log N)$. Using a connection between the log-gamma polymer and a certain random operator on the honeycomb lattice, recently found by Kotowski and Vir\'ag (Commun. Math. Phys. 370, 2019), we deduce a similar phase transition for the asymptotic behavior of the smallest positive eigenvalue of the aforementioned random operator.


title: Dissipative superfluid hydrodynamics for the unitary Fermi gas

abstract: In this work we establish constraints on the temperature dependence of the shear viscosity $\eta$ in the superfluid phase of a dilute Fermi gas in the unitary limit. Our results are based on analyzing experiments that measure the aspect ratio of a deformed cloud after release from an optical trap. We discuss how to apply the two-fluid formalism to the unitary gas, and provide a suitable parametrization of the equation of state. We show that in expansion experiments the difference between the normal and superfluid velocities remains small, and can be treated as a perturbation. We find that expansion experiments favor a shear viscosity that decreases significantly in the superfluid regime. Using an exponential parametrization we find $\eta(T_c/(2T_F))< 0.37\eta (T_c/T_F)$, where $T_c$ is the critical temperature, $T_F$ is the local Fermi temperature of the gas.


title: Heat fluctuations in the logarithm-harmonic potential

abstract: Thermodynamic quantities, like heat, entropy, or work, are random variables, in stochastic systems. Here, we investigate the statistics of the heat exchanged by a Brownian particle subjected to a logarithm-harmonic potential. We derive analytically the characteristic function and its moments for the heat. Through numerical integration, and numerical simulation, we calculate the probability distribution as well, characterizing fully the statistical behavior of the heat. The results are also investigated in the asymptotic limit, where we encounter the characteristic function in terms of hypergeometric functions.


title: Edge coloring graphs with large minimum degree

abstract: Let $G$ be a simple graph with maximum degree $\Delta(G)$. A subgraph $H$ of $G$ is overfull if $|E(H)|>\Delta(G)\lfloor |V(H)|/2 \rfloor$. Chetwynd and Hilton in 1985 conjectured that a graph $G$ with $\Delta(G)>|V(G)|/3$ has chromatic index $\Delta(G)$ if and only if $G$ contains no overfull subgraph. The 1-factorization conjecture is a special case of this overfull conjecture, which states that for even $n$, every regular $n$-vertex graph with degree at least about $n/2$ has a 1-factorization and was confirmed for large graphs in 2014. Supporting the overfull conjecture as well as generalizing the 1-factorization conjecture in an asymptotic way, in this paper, we show that for any given $0<\varepsilon <1$, there exists a positive integer $n_0$ such that the following statement holds: if $G$ is a graph on $2n\ge n_0$ vertices with minimum degree at least $(1+\varepsilon)n$, then $G$ has chromatic index $\Delta(G)$ if and only if $G$ contains no overfull subgraph.


title: Density matrix renormalization group description of the island of inversion isotopes $^{28-33}$F

abstract: Recent experiments have confirmed that the neutron-rich isotopes $^{28,29}$F belong to the so-called island of inversion (IOI), a region of the nuclear chart around $Z=10$ and $N=20$ where nuclear structure deviates from the standard shell model predictions due to deformation and continuum effects. However, while the general principles leading to the IOI are relatively well understood, the details of the low-lying structure of the exotic fluorine isotopes $^{28-33}$F are basically unknown. In this work, we perform large-scale shell model calculations including continuum states to investigate the properties of the neutron-rich isotopes $^{25-33}$F, using a core of $^{24}$O and an effective two-body interaction with only three adjustable parameters. We adjust the core potential and interaction on experimentally confirmed states in $^{25,26}$O and $^{25-27}$F and solve the many-body problem using the density matrix renormalization group method for open quantum systems in a $sd$-$fp$ model space. We obtain the first detailed spectroscopy of $^{25-33}$F in the continuum and show how the interplay between continuum effects and deformation explains the recent data on $^{28,29}$F, and produces an inversion of the ${5/2}^+$ and ${1/2}^+$ states in $^{29,31,33}$F. Several deformed one- and two-neutron halo states are predicted in $^{29,31}$F, and we predict the ground state of $^{30}$F to have a structure similar to that of the first ${5/2}^+$ state of $^{29}$F. We also suggest several experimental studies to constraint models and test the present predictions. The complex structure of neutron-rich fluorine isotopes offers a trove of information about the formation of the southern shore of the IOI through a subtle interplay of deformation and continuum couplings driven by the occupation of the quasi-degenerate neutron shells $0d_{3/2}$ and $1p_{3/2}$.


title: Strength and energy consumption of inherently anisotropic rocks at failure

abstract: Using a discrete-element approach and a bonding interaction law, we model and test crushable inherently anisotropic structures reminiscent of the layering found in sedimentary and metamorphic rocks. By systematically modifying the level of inherent anisotropy, we characterize the evolution of the failure strength of circular rock samples discretized using a modified Voronoi tesselation under diametral point loading at different orientations relative to the sample's layers. We characterize the failure strength, which can dramatically increase as the loading becomes orthogonal to the rock layers. We also describe the evolution of the macroscopic failure modes as a function of the loading orientation and the energy consumption at fissuring. Our simulation strategy let us conclude that the length of bonds between Voronoi cells controls the energy being consumed in fissuring the rock sample, although failure modes and strength are considerably changing. We end up this work showing that the microstructure is largely afected by the level of inherent anisotropy and loading orientation.


title: Minimum entropy production effect on a quantum scale

abstract: Discovery of quantized electric conductance by the group of van Wees in 1988 was a major breakthrough in physics. Later, the group of Schwab has proven the existence of quantized thermal conductance. Advancing one step further, we present that quantized entropy current can be interpreted and it ease the description of a transferred quantized energy package. This might yield a universal transport behavior of the microscopic world. During the transfer of a single energy quantum, $h \nu$ between two neighboring domains the minimum entropy increment is calculated. Furthermore, the possible existence of the minimum entropy production can be formulated.


title: Estimation of mask effectiveness perception for small domains using multiple data sources

abstract: All pandemics are local; so learning about the impacts of pandemics on public health and related societal issues at granular levels is of great interest. COVID-19 is affecting everyone in the globe and mask wearing is one of the few precautions against it. To quantify people's perception of mask effectiveness and to prevent the spread of COVID-19 for small areas, we use Understanding America Study's (UAS) survey data on COVID-19 as our primary data source. Our data analysis shows that direct survey-weighted estimates for small areas could be highly unreliable. In this paper we develop a synthetic estimation method to estimate proportions of mask effectiveness for small areas using a logistic model that combines information from multiple data sources. We select our working model using an extensive data analysis facilitated by a new variable selection criterion for survey data and benchmarking ratios. We propose a Jackknife method to estimate variance of our proposed estimator. From our data analysis. it is evident that our proposed synthetic method outperforms direct survey-weighted estimator with respect to commonly used evaluation measures.


title: Multi-qubit production in spontaneous parametric down conversion

abstract: We present a novel yet simple approach to produced multiple entangled photon pairs through spontaneous parametric downconversion. We have developed Gaussian masks to subdivide the pump beam before passing it through a nonlinear medium. In this way, we are able to observe simultaneous separate down-converted emission cones with spatial overlap. The technique we employ can be used to greatly increase the dimensionality of entangled photonic systems generated from spontaneous parametric down conversion, affording greater scalability to optical quantum computing than previously explored.


title: A Combinatorial Approach to the Groebner Bases for Ideals Generated by Elementary Symmetric Functions

abstract: Previous work by Mora and Sala provides the reduced Groebner basis of the ideal formed by the elementary symmetric polynomials in $n$ variables of degrees $k=1,\dots,n$, $\langle e_{1,n}(x), \dots, e_{n,n}(x) \rangle$. Haglund, Rhoades, and Shimonozo expand upon this, finding the reduced Groebner basis of the ideal of elementary symmetric polynomials in $n$ variables of degree $d$ for $d=n-k+1,\dots,n$ for $k\leq n$. In this paper, we further generalize their findings by using symbolic computation and experimentation to construct the reduced Groebner basis for the ideal generated by the elementary symmetric polynomials in $n$ variables of arbitrary degrees.


title: Strength of effective Coulomb interaction in two-dimensional transition-metal Halides MX$_2$ and MX$_3$ (M=Ti, V, Cr, Mn, Fe, Co, Ni; X=Cl, Br, I)

abstract: We calculate the strength of the effective onsite Coulomb interaction (Hubbard $U$) in two-dimensional (2D) transition-metal (TM) dihalides MX$_2$ and trihalides MX$_3$ (M=Ti, V, Cr, Mn, Fe, Co, Ni; X=Cl, Br, I) from first principles using the constrained random-phase approximation. The correlated subspaces are formed from $t_{2g}$ or $e_g$ bands at the Fermi energy. Elimination of the efficient screening taking place in these narrow bands gives rise to sizable interaction parameters U between the localized $t_{2g}$ ($e_g$) electrons. Due to this large Coulomb interaction, we find $U/W >1$ (with the band width $W$) in most TM halides, making them strongly correlated materials. Among the metallic TM halides in paramagnetic state, the correlation strength $U/W$ reaches a maximum in NiX$_2$ and CrX$_3$ with values much larger than the corresponding values in elementary TMs and other TM compounds. Based on the Stoner model and the calculated $U$ and $J$ values, we discuss the tendency of the electron spins to order ferromagnetically.


title: Evidence that a novel type of satellite wake might exist in Saturn's E ring

abstract: Saturn's E ring consists of micron-sized particles launched from Enceladus by that moon's geological activity. A variety of small-scale structures in the E-ring's brightness have been attributed to tendrils of material recently launched from Enceladus. However, one of these features occurs at a location where Enceladus' gravitational perturbations should concentrate background E-ring particles into structures known as satellite wakes. While satellite wakes have been observed previously in ring material drifting past other moons, these E-ring structures would be the first examples of wakes involving particles following horseshoe orbits near Enceladus' orbit. The predicted intensity of these wake signatures are particularly sensitive to the fraction E-ring particles' on orbits with low eccentricities and semi-major axes just outside of Enceladus' orbit, and so detailed analyses of these and other small-scale E-ring features should place strong constraints on the orbital properties and evolution of E-ring particles.


title: Isometric Billiards in Ellipses and Focal Billiards in Ellipsoids

abstract: Billiards in ellipses have a confocal ellipse or hyperbola as caustic. The goal of this paper is to prove that for each billiard of one type there exists an isometric counterpart of the other type. Isometry means here that the lengths of corresponding sides are equal. The transition between these two isometric billiard can be carried out continuosly via isometric focal billiards in a fixed ellipsoid. The extended sides of these particular billiards in an ellipsoid are focal axes, i.e., generators of confocal hyperboloids. This transition enables to transfer properties of planar billiards to focal billiards, in particular billiard motions and canonical parametrizations. A periodic planar billiard and its associated Poncelet grid give rise to periodic focal billiards and spatial Poncelet grids. If the sides of a focal billiard are materialized as thin rods with spherical joints at the vertices and other crossing points between different sides, then we obtain Henrici's hyperboloid, which is flexible between the two planar limits.


title: Online POMDP Planning via Simplification

abstract: In this paper, we consider online planning in partially observable domains. Solving the corresponding POMDP problem is a very challenging task, particularly in an online setting. Our key contribution is a novel algorithmic approach, Simplified Information Theoretic Belief Space Planning (SITH-BSP), which aims to speed-up POMDP planning considering belief-dependent rewards, without compromising on the solution's accuracy. We do so by mathematically relating the simplified elements of the problem to the corresponding counterparts of the original problem. Specifically, we focus on belief simplification and use it to formulate bounds on the corresponding original belief-dependent rewards. These bounds in turn are used to perform branch pruning over the belief tree, in the process of calculating the optimal policy. We further introduce the notion of adaptive simplification, while re-using calculations between different simplification levels and exploit it to prune, at each level in the belief tree, all branches but one. Therefore, our approach is guaranteed to find the optimal solution of the original problem but with substantial speedup. As a second key contribution, we derive novel analytical bounds for differential entropy, considering a sampling-based belief representation, which we believe are of interest on their own. We validate our approach in simulation using these bounds and where simplification corresponds to reducing the number of samples, exhibiting a significant computational speedup while yielding the optimal solution.


title: Inflation -- who cares? Monetary Policy in Times of Low Attention

abstract: I propose an approach to quantify attention to inflation in the data and show that the decrease in the volatility and persistence of U.S. inflation after the Great Inflation period was accompanied by a decline in the public's attention to inflation. This decline in attention has important implications (positive and normative) for monetary policy as it renders managing inflation expectations more difficult and can lead to inflation-attention traps: prolonged periods of a binding lower bound and low inflation due to slowly-adjusting inflation expectations. As attention declines the optimal policy response is to increase the inflation target. Accounting for the lower bound fundamentally changes the normative implications of declining attention. While lower attention raises welfare absent the lower-bound constraint, it decreases welfare when accounting for the lower bound.


title: Do galaxies die? Different views from simulations and observations in the Local Universe

abstract: For years, the extragalactic community has divided galaxies in two distinct populations. One of them, featuring blue colours, is actively forming stars, while the other is made up of "red-and-dead" objects with negligible star formation. Yet, are these galaxies really dead? Here we would like to highlight that, as previously reported by several independent groups, state-of-the-art cosmological numerical simulations predict the existence of a large number of quenched galaxies that have not formed any star over the last few Gyr. In contrast, observational measurements of large galaxy samples in the nearby Universe suggest that even the most passive systems still form stars at some residual level close to $sSFR\sim10^{-12}~\text{yr}^{-1}$. Unfortunately, extremely low star formation poses a challenge for both approaches. We conclude that, at present, the fraction of truly dead galaxies is still an important open question that must be addressed in order to understand galaxy formation and evolution.


title: An integral equation for the identification of causal effects in nonlinear models

abstract: When the causal relationship between X and Y is specified by a structural equation, the causal effect of X on Y is the expected rate of change of Y with respect to changes in X, when all other variables are kept fixed. This causal effect is not identifiable from the distribution of (X,Y). We give conditions under which this causal effect is identified as the solution of an integral equation based on the distributions of (X,Z) and (Y,Z), where Z is an instrumental variable.


title: One-shot Compositional Data Generation for Low Resource Handwritten Text Recognition

abstract: Low resource Handwritten Text Recognition (HTR) is a hard problem due to the scarce annotated data and the very limited linguistic information (dictionaries and language models). For example, in the case of historical ciphered manuscripts, which are usually written with invented alphabets to hide the message contents. Thus, in this paper we address this problem through a data generation technique based on Bayesian Program Learning (BPL). Contrary to traditional generation approaches, which require a huge amount of annotated images, our method is able to generate human-like handwriting using only one sample of each symbol in the alphabet. After generating symbols, we create synthetic lines to train state-of-the-art HTR architectures in a segmentation free fashion. Quantitative and qualitative analyses were carried out and confirm the effectiveness of the proposed method.


title: Collaborative Regression of Expressive Bodies using Moderation

abstract: Recovering expressive humans from images is essential for understanding human behavior. Methods that estimate 3D bodies, faces, or hands have progressed significantly, yet separately. Face methods recover accurate 3D shape and geometric details, but need a tight crop and struggle with extreme views and low resolution. Whole-body methods are robust to a wide range of poses and resolutions, but provide only a rough 3D face shape without details like wrinkles. To get the best of both worlds, we introduce PIXIE, which produces animatable, whole-body 3D avatars with realistic facial detail, from a single image. For this, PIXIE uses two key observations. First, existing work combines independent estimates from body, face, and hand experts, by trusting them equally. PIXIE introduces a novel moderator that merges the features of the experts, weighted by their confidence. All part experts can contribute to the whole, using SMPL-X's shared shape space across all body parts. Second, human shape is highly correlated with gender, but existing work ignores this. We label training images as male, female, or non-binary, and train PIXIE to infer "gendered" 3D body shapes with a novel shape loss. In addition to 3D body pose and shape parameters, PIXIE estimates expression, illumination, albedo and 3D facial surface displacements. Quantitative and qualitative evaluation shows that PIXIE estimates more accurate whole-body shape and detailed face shape than the state of the art. Models and code are available at https://pixie.is.tue.mpg.de.


title: Human-Machine Interaction in the Light of Turing and Wittgenstein

abstract: We propose a study of the constitution of meaning in human-computer interaction based on Turing and Wittgenstein's definitions of thought, understanding, and decision. We show by the comparative analysis of the conceptual similarities and differences between the two authors that the common sense between humans and machines is co-constituted in and from action and that it is precisely in this co-constitution that lies the social value of their interaction. This involves problematizing human-machine interaction around the question of what it means to "follow a rule" to define and distinguish the interpretative modes and decision-making behaviors of each. We conclude that the mutualization of signs that takes place through the human-machine dialogue is at the foundation of the constitution of a computerized society.


title: Development of an expected possession value model to analyse team attacking performances in rugby league

abstract: This study aimed to provide a framework to evaluate team attacking performances in rugby league using 59,233 plays from 180 Super League matches via expected possession value (EPV) models. The EPV-308 split the pitch into 308 5m x 5m zones, the EPV-77 split the pitch into 77 10m x 10m zones and the EPV-19 split the pitch in 19 zones of variable size dependent on the total zone value generated during a match. Attacking possessions were considered as Markov Chains, allowing the value of each zone visited to be estimated based on the outcome of the possession. The Kullback-Leibler Divergence was used to evaluate the reproducibility of the value generated from each zone (the reward distribution) by teams between matches. The EPV-308 had the greatest variability and lowest reproducibility, compared to EPV-77 and EPV-19. When six previous matches were considered, the team's subsequent match attacking performances had a similar reward distribution for EPV-19, EPV-77 and EPV-308 on 95 +/- 4%, 51 +/- 12% and 0 +/- 0% of occasions. This study supports the use of EPV-19 to evaluate team attacking performance in rugby league and provides a simple framework through which attacking performances can be compared between teams.


title: Damage Detection in a laboratory-scale wellbore applying Time Reverse Nonlinear Elastic Wave Spectroscopy (TR NEWS)

abstract: Time Reverse Nonlinear Elastic Wave Spectroscopy (TR-NEWS) has been used to focus acoustic energy, and make measurements correlated with damage in a variety of industrial materials. Most studies using TR-NEWS in Earth Science have focused on relatively small objects and may have multiple acoustic sources. In Earth, within energy extraction settings, the structure and scale of wellbores makes acoustic focusing challenging. This paper explores the feasibility of applying TR NEWS for damage detection in wellbores by constructing a laboratory-scale wellbore, and using TR to focus and make dynamic linear and nonlinear elastic measurements. After successive cycles of induced, localized mechanical damage the sample, the hysteretic nonlinear elastic parameter {\alpha}, increased with damage cycle indicating progressive mechanical damage. In addition to these strain-dependent changes, TR peak width and changes to peak amplitude near the damage sites was also observed. To deploy TR in a wellbore, it will be necessary to choose sensors that are suitable for the environment, and that can be distributed along the wellbore. Thus, this paper demonstrates that acoustic TR can be conducted using both an intrinsic Fabry Perot interferometer fiber optic strain sensor, and an intrinsic Michaelson interferometer fiber optic strain sensor, as a first step towards deployable sensing for TR in a wellbore.


title: Twists of Albanese varieties over function fields with large ranks

abstract: In this paper we construct abelian varieties of large Mordell-Weil rank over function fields. We achieve this by using a generalization of the notion of Prym variety to higher dimensions and a structure theorem for the Mordell-Weil group of abelian varieties over function fields proven in our previous works. We consider abelian and dihedral covers of the projective space and apply the above results to the twists of their Albanese varieties.


title: Intelligent interactive technologies for mental health and well-being

abstract: Mental healthcare has seen numerous benefits from interactive technologies and artificial intelligence. Various interventions have successfully used intelligent technologies to automate the assessment and evaluation of psychological treatments and mental well-being and functioning. These technologies include different types of robots, video games, and conversational agents. The paper critically analyzes existing solutions with the outlooks for their future. In particular, we: i)give an overview of the technology for mental health, ii) critically analyze the technology against the proposed criteria, and iii) provide the design outlooks for these technologies.


title: Distribution of the Scaled Condition Number of Single-spiked Complex Wishart Matrices

abstract: Let $\mathbf{X}\in\mathbb{C}^{n\times m}$ ($m\geq n$) be a random matrix with independent columns each distributed as complex multivariate Gaussian with zero mean and {\it single-spiked} covariance matrix $\mathbf{I}_n+ \eta \mathbf{u}\mathbf{u}^*$, where $\mathbf{I}_n$ is the $n\times n$ identity matrix, {\color{blue}$\mathbf{u}\in\mathbb{C}^{n\times 1}$} is an arbitrary vector with unit Euclidean norm, $\eta\geq 0$ is a non-random parameter, and $(\cdot)^*$ represents the conjugate-transpose. This paper investigates the distribution of the random quantity $\kappa_{\text{SC}}^2(\mathbf{X})=\sum_{k=1}^n \lambda_k/\lambda_1$, where {\color{blue}$0\le \lambda_1\le \lambda_2\le \ldots\leq \lambda_n<\infty$} are the ordered eigenvalues of $\mathbf{X}\mathbf{X}^*$ (i.e., single-spiked Wishart matrix). This random quantity is intimately related to the so called {\it scaled condition number} or the Demmel condition number (i.e., $\kappa_{\text{SC}}(\mathbf{X})$) and the minimum eigenvalue of the fixed trace Wishart-Laguerre ensemble (i.e., $\kappa_{\text{SC}}^{-2}(\mathbf{X})$). In particular, we use an orthogonal polynomial approach to derive an exact expression for the probability density function of $\kappa_{\text{SC}}^2(\mathbf{X})$ which is amenable to asymptotic analysis as matrix dimensions grow large. Our asymptotic results reveal that, as $m,n\to\infty$ such that $m-n$ is fixed and when $\eta$ scales on the order of $1/n$, $\kappa_{\text{SC}}^2(\mathbf{X})$ scales on the order of $n^3$. In this respect we establish simple closed-form expressions for the limiting distributions. {\color{blue}It turns out that, as $m,n\to\infty$ such that $n/m\to c\in(0,1)$, properly centered $\kappa_{\text{SC}}^{2}(\mathbf{X})$ fluctuates on the scale $m^{\frac{1}{3}}$}.

categories: math.PR cs.IT eess.SP math.IT math.ST stat.TH


title: Sequential Fair Allocation: Achieving the Optimal Envy-Efficiency Tradeoff Curve

abstract: We consider the problem of dividing limited resources to individuals arriving over $T$ rounds. Each round has a random number of individuals arrive, and individuals can be characterized by their type (i.e. preferences over the different resources). A standard notion of 'fairness' in this setting is that an allocation simultaneously satisfy envy-freeness and efficiency. The former is an individual guarantee, requiring that each agent prefers their own allocation over the allocation of any other; in contrast, efficiency is a global property, requiring that the allocations clear the available resources. For divisible resources, when the number of individuals of each type are known upfront, the above desiderata are simultaneously achievable for a large class of utility functions. However, in an online setting when the number of individuals of each type are only revealed round by round, no policy can guarantee these desiderata simultaneously, and hence the best one can do is to try and allocate so as to approximately satisfy the two properties. We show that in the online setting, the two desired properties (envy-freeness and efficiency) are in direct contention, in that any algorithm achieving additive counterfactual envy-freeness up to a factor of $L_T$ necessarily suffers a efficiency loss of at least $1 / L_T$. We complement this uncertainty principle with a simple algorithm, HopeGuardrail, which allocates resources based on an adaptive threshold policy and is able to achieve any fairness-efficiency point on this frontier. In simulation results, our algorithm provides allocations close to the optimal fair solution in hindsight, motivating its use in practical applications as the algorithm is able to adapt to any desired fairness efficiency trade-off.


title: LLAMA: Stellar populations in the nuclei of ultra hard X-ray selected AGN and matched inactive galaxies

abstract: The relation between nuclear ($\lesssim$ 50 pc) star formation and nuclear galactic activity is still elusive: theoretical models predict a link between the two, but it is unclear whether active galactic nuclei (AGNs) should appear at the same time, before or after nuclear star formation activity is ongoing. We present a study of this relation in a complete, volume-limited sample of nine of the most luminous ($\log L_{\rm 14-195 keV} > 10^{42.5}$ erg/s) local AGNs (the LLAMA sample), including a sample of 18 inactive control galaxies (6 star-forming; 12 passive) that are matched by Hubble type, stellar mass (9.5 $\lesssim$ log M_star/M_sun $\lesssim$ 10.5), inclination and distance. This allows us to calibrate our methods on the control sample and perform a differential analysis between the AGN and control samples. We perform stellar population synthesis on VLT/X-SHOOTER spectra in an aperture corresponding to a physical radius of $\approx$ 150 pc. We find young ($\lesssim$ 30 Myr) stellar populations in seven out of nine AGNs and in four out of six star-forming control galaxies. In the non-star-forming control population, in contrast, only two out of twelve galaxies show such a population. We further show that these young populations are not indicative of ongoing star-formation, providing evidence for models that see AGN activity as a consequence of nuclear star formation. Based on the similar nuclear star-formation histories of AGNs and star-forming control galaxies, we speculate that the latter may turn into the former for some fraction of their time. Under this assumption, and making use of the volume-completeness of our sample, we infer that the AGN phase lasts for about 5 % of the nuclear starburst phase.


title: Fundamental miniaturization limits for MOSFETs with a monolayer MoS$_2$ channel

abstract: We propose a theoretical model for describing the operation of a transistor with a MoS2 monolayer channel, which allows to obtain an analytical approximation of the potential in the channel. This potential depends on the drain and gate voltages. On this basis we make estimates for the minimum channel lengths due to the fundamental restriction of quantum tunneling through the barrier. It is shown that the relatively large effective mass of electrons in the MoS2 monolayer allows to predict the creation of devices with channels of a significantly shorter (2.5 - 3 nm) length than in traditional silicon MOSFETs. These devices can be promising for the ultra-fast electronics of new generation.


title: Constraints on the Dimensionality of Space

abstract: Complex structures can only form in a universe that allows for bound states. While this is clearly observed in three-dimensions, added degrees of freedom in a higher-dimensional space preclude the immediate assumption that binding potentials can in fact exist. In this paper, we derive a constraint on the dimensionality of a universe in the presence of an arbitrary set of forces. We then apply this constraint to systems with several example potentials. In doing so, we find that bound states in higher than 3 dimensions are in fact possible under specific circumstances which we characterize.


title: Incremental Few-Shot Instance Segmentation

abstract: Few-shot instance segmentation methods are promising when labeled training data for novel classes is scarce. However, current approaches do not facilitate flexible addition of novel classes. They also require that examples of each class are provided at train and test time, which is memory intensive. In this paper, we address these limitations by presenting the first incremental approach to few-shot instance segmentation: iMTFA. We learn discriminative embeddings for object instances that are merged into class representatives. Storing embedding vectors rather than images effectively solves the memory overhead problem. We match these class embeddings at the RoI-level using cosine similarity. This allows us to add new classes without the need for further training or access to previous training data. In a series of experiments, we consistently outperform the current state-of-the-art. Moreover, the reduced memory requirements allow us to evaluate, for the first time, few-shot instance segmentation performance on all classes in COCO jointly.


title: Rates of protoplanetary accretion and differentiation set nitrogen budget of rocky planets

abstract: The effect of protoplanetary differentiation on the fate of life essential volatiles like nitrogen and carbon and its subsequent effect on the dynamics of planetary growth is unknown. Because the dissolution of nitrogen in magma oceans depends on its partial pressure and oxygen fugacity, it is an ideal proxy to track volatile redistribution in protoplanets as a function of their sizes and growth zones. Using high pressure and high temperature experiments in graphite undersaturated conditions, here we show that the iron loving character of nitrogen is an order of magnitude higher than previous estimates across a wide range of oxygen fugacity. The experimental data combined with metal, silicate and atmosphere fractionation models suggest that asteroid sized protoplanets, and planetary embryos that grew from them, were nitrogen depleted. However, protoplanets that grew to planetary embryo size before undergoing differentiation had nitrogen rich cores and nitrogen poor silicate reservoirs. Bulk silicate reservoirs of large Earth like planets attained nitrogen from the cores of latter type of planetary embryos. Therefore, to satisfy the volatile budgets of Earth like planets during the main stage of their growth, the timescales of planetary embryo accretion had to be shorter than their differentiation timescales, that is, Moon to Mars sized planetary embryos grew rapidly within 1 to 2 million years of the Solar System formation.


title: Modeling spatial extremes using normal mean-variance mixtures

abstract: Classical models for multivariate or spatial extremes are mainly based upon the asymptotically justified max-stable or generalized Pareto processes. These models are suitable when asymptotic dependence is present, i.e., the joint tail decays at the same rate as the marginal tail. However, recent environmental data applications suggest that asymptotic independence is equally important and, unfortunately, existing spatial models in this setting that are both flexible and can be fitted efficiently are scarce. Here, we propose a new spatial copula model based on the generalized hyperbolic distribution, which is a specific normal mean-variance mixture and is very popular in financial modeling. The tail properties of this distribution have been studied in the literature, but with contradictory results. It turns out that the proofs from the literature contain mistakes. We here give a corrected theoretical description of its tail dependence structure and then exploit the model to analyze a simulated dataset from the inverted Brown-Resnick process, hindcast significant wave height data in the North Sea, and wind gust data in the state of Oklahoma, USA. We demonstrate that our proposed model is flexible enough to capture the dependence structure not only in the tail but also in the bulk.


title: Doubly Strongly First Order Dependencies

abstract: Team Semantics is a generalization of Tarskian Semantics that can be used to add to First Order Logic atoms and connectives expressing dependencies between the possible values of variables. Some of these extensions are more expressive than First Order Logic, while others are reducible to it. In this work, I fully characterize the (relativizable) atoms and families of atoms that do not increase the expressive power of First Order Logic with Team Semantics when they and their negations are added to it, separately or jointly (or, equivalently, when they are added to First Order Logic augmented with a contradictory negation connective applicable only to literals and dependency atoms).


title: A Computational Framework for Modeling Complex Sensor Network Data Using Graph Signal Processing and Graph Neural Networks in Structural Health Monitoring

abstract: Complex networks lend themselves to the modeling of multidimensional data, such as relational and/or temporal data. In particular, when such complex data and their inherent relationships need to be formalized, complex network modeling and its resulting graph representations enable a wide range of powerful options. In this paper, we target this - connected to specific machine learning approaches on graphs for structural health monitoring on an analysis and predictive (maintenance) perspective. Specifically, we present a framework based on Complex Network Modeling, integrating Graph Signal Processing (GSP) and Graph Neural Network (GNN) approaches. We demonstrate this framework in our targeted application domain of Structural Health Monitoring (SHM). In particular, we focus on a prominent real-world structural health monitoring use case, i.e., modeling and analyzing sensor data (strain, vibration) of a large bridge in the Netherlands. In our experiments, we show that GSP enables the identification of the most important sensors, for which we investigate a set of search and optimization approaches. Furthermore, GSP enables the detection of specific graph signal patterns (mode shapes), capturing physical functional properties of the sensors in the applied complex network. In addition, we show the efficacy of applying GNNs for strain prediction on this kind of data.


title: A Direct Proof of the Prime Number Theorem using Riemann's Prime-counting Function

abstract: In this paper, we develop a novel analytic method to prove the prime number theorem in de la Vall\'ee Poussin's form: $$ \pi(x)=\operatorname{li}(x)+\mathcal O(xe^{-c\sqrt{\log x}}) $$ Instead of performing asymptotic expansion on Chebyshev functions as in conventional analytic methods, this new approach uses contour-integration method to analyze Riemann's prime counting function $J(x)$, which only differs from $\pi(x)$ by $\mathcal O(\sqrt x/\log x)$.


title: GANs for Medical Image Synthesis: An Empirical Study

abstract: Generative Adversarial Networks (GANs) have become increasingly powerful, generating mind-blowing photorealistic images that mimic the content of datasets they were trained to replicate. One recurrent theme in medical imaging is whether GANs can also be effective at generating workable medical data as they are for generating realistic RGB images. In this paper, we perform a multi-GAN and multi-application study to gauge the benefits of GANs in medical imaging. We tested various GAN architectures from basic DCGAN to more sophisticated style-based GANs on three medical imaging modalities and organs namely : cardiac cine-MRI, liver CT and RGB retina images. GANs were trained on well-known and widely utilized datasets from which their FID score were computed to measure the visual acuity of their generated images. We further tested their usefulness by measuring the segmentation accuracy of a U-Net trained on these generated images. Results reveal that GANs are far from being equal as some are ill-suited for medical imaging applications while others are much better off. The top-performing GANs are capable of generating realistic-looking medical images by FID standards that can fool trained experts in a visual Turing test and comply to some metrics. However, segmentation results suggests that no GAN is capable of reproducing the full richness of a medical datasets.


title: $p$-adic Hodge theory for Artin stacks

abstract: This work is devoted to the study of integral $p$-adic Hodge theory in the context of Artin stacks. For a Hodge-proper stack, using the formalism of prismatic cohomology, we establish a version of $p$-adic Hodge theory with the \'etale cohomology of the Raynaud generic fiber as an input. In particular, we show that the corresponding Galois representation is crystalline and that the associated Breuil-Kisin module is given by the prismatic cohomology. An interesting new feature of the stacky setting is that the natural map between \'etale cohomology of the algebraic and the Raynaud generic fibers is often an equivalence even outside of the proper case. In particular, we show that this holds for global quotients $[X/G]$ where $X$ is a smooth proper scheme and $G$ is a reductive group. As applications we deduce Totaro's conjectural inequality and also set up a theory of $A_{\mathrm{inf}}$-characteristic classes.


title: Seeing All From a Few: Nodes Selection Using Graph Pooling for Graph Clustering

abstract: Recently, there has been considerable research interest in graph clustering aimed at data partition using the graph information. However, one limitation of the most of graph-based methods is that they assume the graph structure to operate is fixed and reliable. And there are inevitably some edges in the graph that are not conducive to graph clustering, which we call spurious edges. This paper is the first attempt to employ graph pooling technique for node clustering and we propose a novel dual graph embedding network (DGEN), which is designed as a two-step graph encoder connected by a graph pooling layer to learn the graph embedding. In our model, it is assumed that if a node and its nearest neighboring node are close to the same clustering center, this node is an informative node and this edge can be considered as a cluster-friendly edge. Based on this assumption, the neighbor cluster pooling (NCPool) is devised to select the most informative subset of nodes and the corresponding edges based on the distance of nodes and their nearest neighbors to the cluster centers. This can effectively alleviate the impact of the spurious edges on the clustering. Finally, to obtain the clustering assignment of all nodes, a classifier is trained using the clustering results of the selected nodes. Experiments on five benchmark graph datasets demonstrate the superiority of the proposed method over state-of-the-art algorithms.


title: Trimmed Minimum Error Entropy for Robust Online Regression

abstract: In this paper, online linear regression in environments corrupted by non-Gaussian noise (especially heavy-tailed noise) is addressed. In such environments, the error between the system output and the label also does not follow a Gaussian distribution and there might exist abnormally large error samples (or outliers) which mislead the learning process. The main challenge is how to keep the supervised learning problem least affected by these unwanted and misleading outliers. In recent years, an information theoretic algorithm based on Renyi's entropy, called minimum error entropy (MEE), has been employed to take on this issue. However, this minimization might not result in a desired estimator inasmuch as entropy is shift-invariant, i.e., by minimizing the error entropy, error samples may not be necessarily concentrated around zero. In this paper, a quantization technique is proposed by which not only aforementioned need of setting errors around the origin in MEE is addressed, but also major outliers are rejected from MEE-based learning and MEE performance is improved from convergence rate, steady state misalignment, and testing error points of view.