title: Collision dynamics at medium and relativistic energies

abstract: Recent results connected to nuclear collision dynamics, from low up to relativistic energies, are reviewed. Heavy ion reactions offer the unique opportunity to probe the complex nuclear many-body dynamics and to explore, in laboratory experiments, transient states of nuclear matter under several conditions of density, temperature and charge asymmetry. From the theoretical point of view, transport models are an essential tool to undertake these investigations and make a connection between the nuclear effective interaction and sensitive observables of experimental interest. In this article, we mainly focus on the description of results of transport models for a selection of reaction mechanisms, also considering comparisons of predictions of different approaches. This analysis can help understanding the impact of the interplay between mean-field and correlation effects, as well as of in-medium effects, on reaction observables, which is an essential point also for extracting information on the nuclear Equation of State. A special emphasis will be given to the review of recent studies aimed at constraining the density behavior of the nuclear symmetry energy. For reactions at medium (Fermi) energies, we will describe light particle and fragment emission mechanisms, together with isospin transport effects. Collective effects characterizing nuclear collision dynamics, such as transverse and elliptic flows, will be discussed for relativistic heavy ion reactions, together with meson production and isotopic ratios.


title: Detecting Attended Visual Targets in Video

abstract: We address the problem of detecting attention targets in video. Our goal is to identify where each person in each frame of a video is looking, and correctly handle the case where the gaze target is out-of-frame. Our novel architecture models the dynamic interaction between the scene and head features and infers time-varying attention targets. We introduce a new annotated dataset, VideoAttentionTarget, containing complex and dynamic patterns of real-world gaze behavior. Our experiments show that our model can effectively infer dynamic attention in videos. In addition, we apply our predicted attention maps to two social gaze behavior recognition tasks, and show that the resulting classifiers significantly outperform existing methods. We achieve state-of-the-art performance on three datasets: GazeFollow (static images), VideoAttentionTarget (videos), and VideoCoAtt (videos), and obtain the first results for automatically classifying clinically-relevant gaze behavior without wearable cameras or eye trackers.


title: Cohomology of normal bundles of special rational varieties

abstract: We give a new method for calculating the cohomology of the normal bundles over rational varieties which are smooth projections of Veronese embeddings. The method can be used also when the projections are not smooth, in this case it provides information about the critical locus of maps between projective spaces.


title: Dual link failure survivability with recovery time constraint: A Parallel cross connection backup route recovery strategy

abstract: In this paper, we proposed a fast recovery strategy for a dual link failure in elastic optical network. The elastic optical network is a promising solution to meet the next generation higher bandwidth demand. The survivability of high speed network is very crucial. As the network size increases the probability of the dual link failure and node failure also increases. Here, we proposed a parallel cross connection backup recovery strategy for dual link failure in the network. Proposed strategy shows lower bandwidth blocking probability (BBP), fast connection recovery, and bandwidth provisioning ratio when compared with the existing shared path protection (SPP) and dedicated path protection (DPP) approaches. Simulation is performed on ARPANET and COST239 topology networks.


title: Keto-enol tautomerization drives the self-assembly of Leucoquinizarin on Au(111)

abstract: The self-assembly of Leucoquinizarin molecule on Au(111) surface is shown to be characterized by the molecules mostly in their keto-enolic tautomeric form, with evidences of their temporary switching to other tautomeric forms. This reveals a metastable chemistry of the assembled molecules, to be considered for their possible employment in the formation of more complex hetero-organic interfaces


title: Time-Lagged t-Distributed Stochastic Neighbor Embedding (t-SNE) of Molecular Simulation Trajectories

abstract: Molecular simulation trajectories represent high-dimensional data. Such data can be visualized by methods of dimensionality reduction. Non-linear dimensionality reduction methods are likely to be more efficient than linear ones due to the fact that motions of atoms are non-linear. Here we test a popular non-linear t-distributed stochastic neighbor embedding (t-SNE) method on analysis of trajectories of alanine dipeptide dynamics and Trp-cage folding and unfolding. Furthermore, we introduced a time-lagged variant of t-SNE in order to focus on slow motions in the molecular system. This time-lagged t-SNE efficiently visualizes slow dynamics of molecular systems.


title: The elastic backbone phase transition in the Ising model

abstract: The two-dimensional (zero magnetic field) Ising model is known to undergo a second order para-ferromagnetic phase transition, which is accompanied by a correlated percolation transition for the Fortuin-Kasteleyn (FK) clusters. In this paper we uncover that there exists also a second temperature $T_{\text{eb}}<T_c$ at which the elastic backbone of FK clusters undergoes a second order phase transition to a dense phase. The corresponding universality class, which is characterized by determining various percolation exponents, is shown to be completely different from directed percolation, proposing a new anisotropic universality class with $\beta=0.54\pm 0.02$, $\nu_{||}=1.86\pm 0.01$, $\nu_{\perp}=1.21\pm 0.04$ and $d_f=1.53\pm 0.03$. All tested hyper-scaling relations are shown to be valid.


title: Gapless and Massive 1D Singlet Dispersion Channel in Infinite Spin-1/2 Ladders ---Infinite Quasi-1D Entanglement Perturbation Theory for Excitation

abstract: We solve for the elementary excitation in infinite quasi-1D quantum lattices by extending the recently developed infinite quasi-1D entanglement perturbation theory. The wave function of an excited state is variationally determined by optimizing superposition of cluster operation, each of which is composed of simultaneous on-site operation inside a block of lattice sites, on the ground state in a form of plane wave. The excitation energy with respect to the wave number gives the spectra for an elementary excitation. Our method is artificial broadening free and is adaptive for various quasi-particle pictures. Using the triplet spectrum, the application to $\infty$-by-$N$ antiferromagnetic spin-$\frac{1}{2}$ ladders for $N=2, 4, 6, 8$, and $10$ confirms a previous report that there is a quantum dimensional transition, namely, the lattice transits from quasi-1D to 2D at a finite critical value $N_c=10$. The massless triplet dispersion at $\left( \pi, \pi \right)$ sees a vanishing gap. Our results detect the anomaly at $\left(\pi,0\right)$ in the triplet spectrum, agreeing well with the inelastic neutron scattering measurement of a macroscopic sample. Surprisingly, our results also reveal a gapless and massive 1D singlet dispersion channel that is much lower than the triplet excitation. We note, however, the dimensional transition is determined by the massless triplet dispersion.


title: Reducible contributions to the propagator and EHL in background fields

abstract: We briefly discuss the recent discovery of reducible contributions to QED effective actions due to the presence of external electromagnetic fields at tree level and higher loop-order. We classify the physical effects of these contributions for various field configurations and discuss the strong field asymptotic limit.


title: Real-Time-Evolution of Heavy Quarks in the Glasma

abstract: We introduce a novel real-time formulation of lattice NRQCD designed for simulations in the background of an highly occupied gluon field. By evolving quarks in the background of a dynamically evolving gluon field we computed the time-evolution of heavy-quarkonium spectral functions as well as the static and for finitely heavy quarks generalised potential. We conclude that the back reaction of the quarks is necessary for any binding process. Here we discuss the methodology, our results and the origin of the absence of a binding process.


title: Magnitude and significance of the peak of early embryonic mortality

abstract: Biologically, for any organism life does not start at birth but at fertilization of the embryo. Embryonic development is of great importance because it determines congenital anomalies and influences their severity. Whereas there is detailed qualitative knowledge of the successive steps of embryonic development, little is known about their probabilities of success or failure. Embryonic mortality as a function of post fertilization time provides a simple (albeit crude) way to identify major defects. We find that, in line with the few other species for which data are available, the embryonic mortality of zebrafish has a prominent peak shortly after fertilization. This is called the early embryonic mortality (EEM) effect. Although a number of immediate causes of death (e.g. infection, excess of carbon dioxide or of lactic acid, chromosomal defects) can be cited, the common underlying factor remains unknown. After reviewing embryonic mortality data available for chicken and a few other farm animals, we explain that zebrafish are particularly suited for such a study because embryogenesis can be followed from its very beginning and can be observed easily thanks to transparent egg shells. We report the following findings. (i) The mortality peak occurs in the first 15% of the 75-80 hours of embryogenesis and it is about 50 times higher than the low plateau which follows. (ii) The shape of the age-specific death rate is largely independent of the death level. Presently, little is known about the nature of embryonic defects. However, by reviewing two special cases we show that even small initial defects, e.g. spatial cellular asymmetries or irregularities in the timing of development, carry with them lethal effects in later stages of embryogenesis.


title: On zero-sum free sequences contained in random subsets of finite cyclic groups

abstract: Let $C_n$ be a cyclic group of order $n$. A sequence $S$ of length $\ell$ over $C_n$ is a sequence $S = a_1\boldsymbol\cdot a_2\boldsymbol\cdot \ldots\boldsymbol\cdot a_{\ell}$ of $\ell$ elements in $C_n$, where a repetition of elements is allowed and their order is disregarded. We say that $S$ is a zero-sum sequence if $\Sigma_{i=1}^{\ell} a_i = 0$ and that $S$ is a zero-sum free sequence if $S$ contains no zero-sum subsequence. Let $R$ be a random subset of $C_n$ obtained by choosing each element in $C_n$ independently with probability $p$. Let $N^R_{n-1-k}$ be the number of zero-sum free sequences of length $n-1-k$ in $R$. Also, let $N^R_{n-1-k,d}$ be the number of zero-sum free sequences of length $n-1-k$ having $d$ distinct elements in $R$. We obtain the expectation of $N^R_{n-1-k}$ and $N^R_{n-1-k,d}$ for $0\leq k\leq \big\lfloor \frac{n}{3} \big\rfloor$. We also show a concentration result on $N^R_{n-1-k}$ and $N^R_{n-1-k,d}$ when $k$ is fixed.


title: Optimal Sampling Cost in Wireless Networks with Age of Information Constraints

abstract: We consider the problem of minimizing the time average cost of sampling and transmitting status updates by users over a wireless channel subject to average Age of Information constraints (AoI). Errors in the transmission may occur and the scheduling algorithm has to decide if the users sample a new packet or attempt for retransmission of the packet sampled previously. The cost consists of both sampling and transmission costs. The sampling of a new packet after a failure imposes an additional cost in the system. We formulate a stochastic optimization problem with time average cost in the objective under time average AoI constraints. To solve this problem, we apply tools from Lyapunov optimization theory and develop a dynamic algorithm that takes decisions in a slot-by-slot basis. The algorithm decides if a user: a) samples a new packet, b) transmits the old one, c) remains silent. We provide optimality guarantees of the algorithm and study its performance in terms of time average cost and AoI through simulation results.


title: Simple and Fast Algorithm for Binary Integer and Online Linear Programming

abstract: In this paper, we develop a simple and fast online algorithm for solving a class of binary integer linear programs (LPs) arisen in general resource allocation problem. The algorithm requires only one single pass through the input data and is free of doing any matrix inversion. It can be viewed as both an approximate algorithm for solving binary integer LPs and a fast algorithm for solving online LP problems. The algorithm is inspired by an equivalent form of the dual problem of the relaxed LP and it essentially performs (one-pass) projected stochastic subgradient descent in the dual space. We analyze the algorithm in two different models, stochastic input and random permutation, with minimal technical assumptions on the input data. The algorithm achieves $O\left(m \sqrt{n}\right)$ expected regret under the stochastic input model and $O\left((m+\log n)\sqrt{n}\right)$ expected regret under the random permutation model, and it achieves $O(m \sqrt{n})$ expected constraint violation under both models, where $n$ is the number of decision variables and $m$ is the number of constraints. The algorithm enjoys the same performance guarantee when generalized to a multi-dimensional LP setting which covers a wider range of applications. In addition, we employ the notion of permutational Rademacher complexity and derive regret bounds for two earlier online LP algorithms for comparison. Both algorithms improve the regret bound with a factor of $\sqrt{m}$ by paying more computational cost. Furthermore, we demonstrate how to convert the possibly infeasible solution to a feasible one through a randomized procedure. Numerical experiments illustrate the general applicability and effectiveness of the algorithms.


title: Arc temperatures in a circuit breaker experiment from iterative analysis of emission spectra

abstract: A switching-off process very similar to those in real high-voltage self-blast circuit-breakers is emulated in a model chamber to study the arc properties by optical emission spectroscopy. The arc is operated in a chamber filled with SF$_6$ between a pin-tulip contact system enclosed by a PTFE nozzle. Transparent windows in the chamber wall and a slit in the nozzle enable an optical investigation of the arc cross section less than one millisecond before current zero. The side-on radiance of a fluorine atom lines has been measured with an imaging spectroscopic system. Considering rotational symmetry of the arc the corresponding radial emission coefficients have been determined by Abel inversion. The radial temperature profiles are calculated from the emission coefficients including pressure measurements and the corresponding plasma composition. In contrast to previous studies, a specific iterative approach is proposed to consider the optical thickness of the plasma. A maximum optical thickness between 0.2 and 0.4 has been observed. Temperature profiles corrected for absorption effects show increasing maximum temperature in the arc axis with decreasing current towards current zero. The effect of the plasma composition on absolute arc temperatures is discussed. The temperature profiles can be used to validate CFD simulations of the switching-off process in the model chamber.


title: Time-varying neural network for stock return prediction

abstract: We consider the problem of neural network training in a time-varying context. Machine learning algorithms have excelled in problems that do not change over time. However, problems encountered in financial markets are often time-varying. We propose the online early stopping algorithm and show that a neural network trained using this algorithm can track a function changing with unknown dynamics. We compare the proposed algorithm to current approaches on predicting monthly U.S. stock returns and show its superiority. We also show that prominent factors (such as the size and momentum effects) and industry indicators, exhibit time varying stock return predictiveness. We find that during market distress, industry indicators experience an increase in importance at the expense of firm level features. This indicates that industries play a role in explaining stock returns during periods of heightened risk.


title: Fermionic and scalar dark matter with hidden $\mathrm{U}(1)$ gauge interaction and kinetic mixing

abstract: We explore the Dirac fermionic and complex scalar dark matter in the framework of a hidden $\mathrm{U}(1)_\mathrm{X}$ gauge theory with kinetic mixing between the $\mathrm{U}(1)_\mathrm{X}$ and $\mathrm{U}(1)_\mathrm{Y}$ gauge fields. The $\mathrm{U}(1)_\mathrm{X}$ gauge symmetry is spontaneously broken due to a hidden Higgs field. The kinetic mixing provides a portal between dark matter and standard model particles. Besides, an additional Higgs portal can be realized in the complex scalar case. Dark matter interactions with nucleons are typically isospin violating, and direct detection constraints can be relieved. Although the kinetic mixing has been stringently constrained by electroweak oblique parameters, we find that there are several available parameter regions predicting an observed relic abundance through the thermal production mechanism. Moreover, these regions have not been totally explored in current direct and indirect detection experiments. Future direct detection experiments and searches for invisible Higgs decays at a Higgs factory could further investigate these regions.


title: Roadmap for quantum simulation of the fractional quantum Hall effect

abstract: A major motivation for building a quantum computer is that it provides a tool to efficiently simulate strongly correlated quantum systems. In this work, we present a detailed roadmap on how to simulate a two-dimensional electron gas---cooled to absolute zero and pierced by a strong transversal magnetic field---on a quantum computer. This system describes the setting of the Fractional Quantum Hall Effect (FQHE), one of the pillars of modern condensed matter theory. We give analytical expressions for the two-body integrals that allow for mixing between $N$ Landau levels at a cutoff $M$ in angular momentum and give gate count estimates for the efficient simulation of the energy spectrum of the Hamiltonian on an error-corrected quantum computer. We then focus on studying efficiently preparable initial states and their overlap with the exact ground state for noisy as well as error-corrected quantum computers. By performing an imaginary time evolution of the covariance matrix we find the generalized Hartree-Fock solution to the many-body problem and study how a multi-reference state expansion affects the state overlap. We perform small-system numerical simulations to study the quality of the two initial state Ans\"{a}tze in the Lowest Landau Level (LLL) approximation.


title: Simple and sharp analysis of k-means||

abstract: We present a simple analysis of k-means|| (Bahmani et al., PVLDB 2012) -- a distributed variant of the k-means++ algorithm (Arthur and Vassilvitskii, SODA 2007). Moreover, the bound on the number of rounds is improved from $O(\log n)$ to $O(\log n / \log\log n)$, which we show to be tight.


title: Unidirectional Pumping of Phonons by Magnetization Dynamics

abstract: We propose a method to control surface phonon transport by weak magnetic fields based on the pumping of surface acoustic waves (SAWs) by magnetostriction. We predict that the magnetization dynamics of a nanowire on top of a dielectric films injects SAWs with opposite angular momenta into opposite directions. Two parallel nanowires form a phononic cavity that at magnetic resonances pump a unidirectional SAW current into half of the substrate.


title: Theory for the Charge-Density-Wave Mechanism of 3D Quantum Hall Effect

abstract: The charge-density-wave (CDW) mechanism of the 3D quantum Hall effect has been observed recently in ZrTe$_5$ [Tang et al., Nature 569, 537 (2019)]. Different from previous cases, the CDW forms on a one-dimensional (1D) band of Landau levels, which strongly depends on the magnetic field. However, its theory is still lacking. We develop a theory for the CDW mechanism of 3D quantum Hall effect. The theory can capture the main features in the experiments. We find a magnetic field induced second-order phase transition to the CDW phase. We find that electron-phonon interactions, rather than electron-electron interactions, dominate the order parameter. We extract the electron-phonon coupling constant from the non-Ohmic I-V relation. We point out a commensurate-incommensurate CDW crossover in the experiment. More importantly, our theory explores a rare case, in which a magnetic field can induce an order-parameter phase transition in one direction but a topological phase transition in other two directions, both depend on one magnetic field.


title: Finite Open-World Query Answering with Number Restrictions

abstract: Open-world query answering is the problem of deciding, given a set of facts, conjunction of constraints, and query, whether the facts and constraints imply the query. This amounts to reasoning over all instances that include the facts and satisfy the constraints. We study finite open-world query answering (FQA), which assumes that the underlying world is finite and thus only considers the finite completions of the instance. The major known decidable cases of FQA derive from the following: the guarded fragment of first-order logic, which can express referential constraints (data in one place points to data in another) but cannot express number restrictions such as functional dependencies; and the guarded fragment with number restrictions but on a signature of arity only two. In this paper, we give the first decidability results for FQA that combine both referential constraints and number restrictions for arbitrary signatures: we show that, for unary inclusion dependencies and functional dependencies, the finiteness assumption of FQA can be lifted up to taking the finite implication closure of the dependencies. Our result relies on new techniques to construct finite universal models of such constraints, for any bound on the maximal query size.


title: Fast assimilation of serpentinized mantle by basaltic magma

abstract: The most abundant terrestrial lavas, mid-ocean ridge and ocean island basalt (MORB and OIB), are commonly considered to be derived from a depleted MORB-mantle component and more specific, variably enriched mantle plume sources. However, findings of oceanic lavas and mafic cumulates issued from melts, enriched in chlorine and having a radiogenic Sr ratio, can be attributed to an interaction between the asthenosphere-derived melts and lithospheric peridotite variably hydrated due to penetration of hydrothermal water down to and below Moho level. To constrain mechanisms and rates responsible for the interaction, we report results of experiments of reaction between serpentinite and tholeiitic basaltic melt. Results show that the reaction proceeds via a multi-stage mechanism: (i) transformation of serpentinite into Cr-rich spinel-bearing harzburgite containing pore fluid, (ii) partial melting and dissolution of the harzburgite assemblage with formation of interstitial hydrous melts, and (iii) final assimilation of the Cr-rich spinel-bearing harzburgite/dunite and formation of hybrid basaltic melts with high MgO and elevated Cr and Ni contents. Assimilation of serpentinite by basaltic melt may occur under elevated melt/rock ratios and may lead to chromitite formation. Our experiments provide evidence that MORB and high-Mg-Cr orthopyroxene-rich cumulates depleted in incompatible elements can be produced from common mid-ocean ridge basaltic melts modified by reaction with hydrated lithospheric peridotite. We established that the rate of assimilation of serpentinized peridotite is controlled by silica diffusion in the reacting hydrous basaltic melt.


title: The innermost stable circular orbit and shadow in the novel $4D$ Einstein-Gauss-Bonnet gravity

abstract: Recently, a novel $4D$ Einstein-Gauss-Bonnet (EGB) gravity was formulated and a spherically symmetric black hole solution in this theory was derived by D. Glavan and C. Lin \cite{Glavan:2019inb}. In this paper, we study the geodesic motions in the background of the spherically symmetric black hole, by focusing on the innermost stable circular orbits (ISCO) for massive particle and photon sphere and shadow. Also, we find that a negative GB coupling constant is allowable in this theory, as in which case the singular behavior of the black hole can be hidden inside the event horizon. Moreover, we find that due to this extension a recently proposed universal bound on black hole size in \cite{Lu:2019zxb} can be broken.


title: Characterizations and approximability of hard counting classes below #P

abstract: An important objective of research in counting complexity is to understand which counting problems are approximable. In this quest, the complexity class TotP, a hard subclass of #P, is of key importance, as it contains self-reducible counting problems with easy decision version, thus eligible to be approximable. Indeed, most problems known so far to admit an fpras fall into this class. An open question raised recently by the community of descriptive complexity is to find a logical characterization of TotP and of robust subclasses of TotP. In this work we define two subclasses of TotP, in terms of descriptive complexity, both of which are robust in the sense that they have natural complete problems, which are defined in terms of satisfiability of Boolean formulae. We then explore the relationship between the class of approximable counting problems and TotP. We prove that TotP $\nsubseteq$ FPRAS if and only if NP $\neq$ RP and FPRAS $\nsubseteq$ TotP unless RP = P. To this end we introduce two ancillary classes that can both be seen as counting versions of RP. We further show that FPRAS lies between one of these classes and a counting version of BPP. Finally, we provide a complete picture of inclusions among all the classes defined or discussed in this paper with respect to different conjectures about the NP vs. RP vs. P questions.


title: Semiclassical resolvent bounds for weakly decaying potentials

abstract: In this note, we prove weighted resolvent estimates for the semiclassical Schr\"odinger operator $-h^2 \Delta + V(x) : L^2(\mathbb{R}^n) \to L^2(\mathbb{R}^n)$, $n \neq 2$. The potential $V$ is real-valued, and assumed to either decay at infinity or to obey a radial $\alpha$-H\"older continuity condition, $0\leq \alpha \leq 1$, with sufficient decay of the local radial $C^\alpha$ norm toward infinity. Note, however, that in the H\"older case, the potential need \emph{not} decay. If the dimension $n \ge 3$, the resolvent bound is of the form $\exp \left(C h^{-1 - \frac{1 - \alpha}{3 + \alpha}} [(1-\alpha) \log(h^{-1})+c]\right)$, while for $n = 1$ it is of the form $\exp(Ch^{-1})$. A new type of weight and phase function construction allows us to reduce the necessary decay even in the pure $L^\infty$ case.


title: Cloud Rendering-based Volumetric Video Streaming System for Mixed Reality Services

abstract: Volumetric video is an emerging technology for immersive representation of 3D spaces that captures objects from all directions using multiple cameras and creates a dynamic 3D model of the scene. However, processing volumetric content requires high amounts of processing power and is still a very demanding task for today's mobile devices. To mitigate this, we propose a volumetric video streaming system that offloads the rendering to a powerful cloud/edge server and only sends the rendered 2D view to the client instead of the full volumetric content. We use 6DoF head movement prediction techniques, WebRTC protocol and hardware video encoding to ensure low-latency in different parts of the processing chain. We demonstrate our system using both a browser-based client and a Microsoft HoloLens client. Our application contains generic interfaces that allow for easy deployment of various augmented/mixed reality clients using the same server implementation.


title: Measuring Cellular Ion Transport by Magnetoencephalography

abstract: The cellular-level process of ion transport is known to generate a magnetic field. A non-invasive magnetoencephalography (MEG) technique was used to measure the magnetic field emanating from HeLa, HEK293 and H9c2(2-1) rat cardiac cells. The addition of a non-lethal dose of ionomycin to HeLa and capsaicin to TRPV1-expressing HEK293 cells, respectively, resulted in a sudden change in the magnetic field signal consistent with Ca2+ influx, which was also observed by confocal fluorescence microscopy under the same conditions. In contrast, addition of capsaicin to TRPV1-expressing HEK293 cells containing an optimum amount of Ca2+ channel blockers, a TRPV1 antagonist (ruthenium red), resulted in no detectable magnetic or fluorescent signals. These signals confirmed that the measured MEG signals are due to cellular ion transport through the cell membrane. In general, there is evidence that ion channel/transporter activation and ionic flux are linked to cancer; Therefore, our work suggests that MEG could represent a non-invasive method for detecting cancer.


title: Eight flavours of cyclic homology

abstract: We introduce eight versions of cyclic homology of a mixed complex and study their properties. In particular, we determine their behaviour with respect to Chen iterated integrals.


title: Observation of plaquette fluctuations in the spin-1/2 honeycomb lattice

abstract: Quantum spin liquids are materials that feature quantum entangled spin correlations and avoid magnetic long-range order at T = 0 K. Particularly interesting are two-dimensional honeycomb spin lattices where a plethora of exotic quantum spin liquids have been predicted. Here, we experimentally study an effective S=1/2 Heisenberg honeycomb lattice with competing nearest and next-nearest neighbor interactions. We demonstrate that YbBr$_3$ avoids order down to at least T=100 mK and features a dynamic spin-spin correlation function with broad continuum scattering typical of quantum spin liquids near a quantum critical point. The continuum in the spin spectrum is consistent with plaquette type fluctuations predicted by theory. Our study is the experimental demonstration that strong quantum fluctuations can exist on the honeycomb lattice even in the absence of Kitaev-type interactions, and opens a new perspective on quantum spin liquids.


title: Electronic structure tunability by periodic meta-ligand spacing in one-dimensional organic semiconductors

abstract: Designing molecular organic semiconductors with distinct frontier orbitals is key for the development of devices with desirable properties. Generating defined organic nanostructures with atomic precision can be accomplished by on-surface synthesis. We use this dry chemistry to introduce topological variations in a conjugated poly-para-phenylene chain in the form of meta-junctions. As evidenced by STM and LEED, we produce a macroscopically ordered, monolayer thin zigzag chain film on a vicinal silver crystal. These cross-conjugated nanostructures are expected to display altered electronic properties, which are now unravelled by highly complementary experimental techniques (ARPES and STS) and theoretical calculations (DFT and EPWE). We find that meta-junctions dominate the weakly dispersive band structure, while the bandgap is tunable by altering the linear segment's length. These periodic topology effects induce significant loss of the electronic coupling between neighboring linear segments leading to partial electron confinement in the form of weakly coupled Quantum Dots. Such periodic quantum interference effects determine the overall semiconducting character and functionality of the chains.


title: Self-Diffusion Coefficient in the Kob-Andersen Model

abstract: The Kob-Andersen model is a fundamental example of a kinetically constrained lattice gas, that is, an interacting particle system with Kawasaki type dynamics and kinetic constraints. In this model, a particle is allowed to jump when sufficiently many neighboring sites are empty. We study the motion of a single tagged particle and in particular its convergence to a Brownian motion. Previous results showed that the path of this particle indeed converges in diffusive time-scale, and the purpose of this paper is to study the rate of decay of the self-diffusion coefficient for large densities. We find upper and lower bounds matching to leading behavior.


title: Learning-based distributionally robust motion control with Gaussian processes

abstract: Safety is a critical issue in learning-based robotic and autonomous systems as learned information about their environments is often unreliable and inaccurate. In this paper, we propose a risk-aware motion control tool that is robust against errors in learned distributional information about obstacles moving with unknown dynamics. The salient feature of our model predictive control (MPC) method is its capability of limiting the risk of unsafety even when the true distribution deviates from the distribution estimated by Gaussian process (GP) regression, within an ambiguity set. Unfortunately, the distributionally robust MPC problem with GP is intractable because the worst-case risk constraint involves an infinite-dimensional optimization problem over the ambiguity set. To remove the infinite-dimensionality issue, we develop a systematic reformulation approach exploiting modern distributionally robust optimization techniques. The performance and utility of our method are demonstrated through simulations using a nonlinear car-like vehicle model for autonomous driving.


title: Symmetries in $B \to D^* \ell \nu$ angular observables

abstract: We apply the formalism of amplitude symmetries to the angular distribution of the decays $B \to D^* \ell \nu$ for $\ell=e,\mu,\tau$. We show that the angular observables used to describe the distribution of this class of decays are not independent in absence of New Physics contributing to tensor operators. We derive sets of relations among the angular coefficients of the decay distribution for the massless and massive lepton cases which can be used to probe in a very general way the consistency among the angular observables and the underlying New Physics at work. We use these relations to access the longitudinal polarisation fraction of the $D^*$ using different angular coefficients from the ones used by Belle experiment. This in the near future can provide an alternative strategy to measure $F_L^{D^*}$ in $B \to D^* \tau \nu$ and to understand the relatively high value measured by the Belle experiment. Using the same symmetries, we identify three observables which may exhibit a tension if the experimental value of $F_L^{D^*}$ remains high. We discuss how these relations can be exploited for binned measurements. We also propose a new observable that could test for specific scenarios of New Physics generated by light right-handed neutrinos. Finally we study the prospects of testing these relations based on the projected experimental sensitivity of new experiments.


title: On Rigidity of $S$-Arithmetic Kac-Moody Groups

abstract: In this article we investigate rigidity properties of $S$-arithmetic Kac-Moody groups in characteristic $0$.


title: A tree-of-tangles theorem for infinite tangles

abstract: Carmesin has extended Robertson and Seymour's tree-of-tangles theorem to the infinite tangles of locally finite infinite graphs. We extend it further to the infinite tangles of all infinite graphs. Our result has a number of applications for the topology of infinite graphs, such as their end spaces and their compactifications.


title: Sorting Cayley permutations with pattern-avoiding machines

abstract: Pattern avoiding machines were recently introduced by Claesson, Ferrari and the current author to gain a better understanding of the classical $2$-stacksort problem. In this paper we generalize these devices by allowing permutations with repeated elements, also known as Cayley permutations. The main result is a description of those patterns such that the corresponding set of sortable permutations is a class. We also show a new involution on the set of Cayley permutations, obtained by regarding a pattern-avoiding stack as an operator. Finally, we analyze two generalizations of pop-stack sorting on Cayley permutations. In both cases we describe sortable permutations in terms of pattern avoidance.


title: Submitting surveys via a conversational interface: an evaluation of user acceptance and approach effectiveness

abstract: Conversational interfaces are currently on the rise: more and more applications rely on a chat-like interaction pattern to increase their acceptability and to improve user experience. Also in the area of questionnaire design and administration, interaction design is increasingly looked at as an important ingredient of a digital solution. For those reasons, we designed and developed a conversational survey tool to administer questionnaires with a colloquial form through a chat-like Web interface. In this paper, we present the evaluation results of our approach, taking into account both the user point of view - by assessing user acceptance and preferences in terms of survey compilation experience - and the survey design perspective - by investigating the effectiveness of a conversational survey in comparison to a traditional questionnaire. We show that users clearly appreciate the conversational form and prefer it over a traditional approach and that, from a data collection point of view, the conversational method shows the same reliability and a higher response quality with respect to a traditional questionnaire.


title: Overhead-Aware Design of Reconfigurable Intelligent Surfaces in Smart Radio Environments

abstract: Reconfigurable intelligent surfaces have emerged as a promising technology for future wireless networks. Given that a large number of reflecting elements is typically used, and that the surface has no signal processing capabilities, a major challenge is to cope with the overhead that is required to estimate the channel state information and to report the optimized phase shifts to the surface. This issue has not been addressed by previous works, which do not explicitly consider the overhead during the resource allocation phase. This work aims at filling this gap, developing an overhead-aware resource allocation framework for wireless networks where reconfigurable intelligent surfaces are used to improve the communication performance. An overhead model is developed and incorporated in the expressions of the system rate and energy efficiencies, which are then optimized with respect to the phase shifts of the reconfigurable intelligent surface, the transmit and receive filters, and the power and bandwidth used for the communication and feedback phases. The bi-objective maximization of the rate and energy efficiency is carried out as well. The proposed framework allows characterizing the trade-off between optimized radio resources and the related overhead in networks with reconfigurable intelligent surfaces.


title: Compromise, Don't Optimize: Generalizing Perfect Bayesian Equilibrium to Allow for Ambiguity

abstract: We introduce a solution concept for extensive-form games of incomplete information in which players need not assign likelihoods to what they do not know about the game. This is embedded in a model in which players can hold multiple priors. Players make choices by looking for compromises that yield a good performance under each of their updated priors. Our solution concept is called perfect compromise equilibrium. It generalizes perfect Bayesian equilibrium. We show how it deals with ambiguity in Cournot and Bertrand markets, public good provision, Spence's job market signaling, bilateral trade with common value, and forecasting.


title: Development of open source instruments for in-situ measurements of waves in ice

abstract: The interaction between surface waves and sea ice involves many complex physical phenomena such as viscous damping, wave diffraction, and nonlinear effects. The combination of these phenomena, together with considerable variability in ice configuration, ranging from viscous grease ice slicks to large icebergs through closed drift ice and landfast ice, makes it challenging to develop robust and accurate waves in ice models. In this context, a reason for the challenges modellers are facing may lie in the mismatch between the relative scarcity of waves in ice data available for testing theories, and the wide diversity of phenomena happening at sea. This lack of experimental data may be explained, at least in part, by the high cost of waves in ice instruments. Therefore, development of open source, low-cost, high-performance instrumentation may be a critical factor in helping advance this field of research. Here, we present recent developments of a new generation of open source waves in ice instruments featuring a high accuracy Inertial Motion Unit as well as GPS, on-board processing power, solar panel, and Iridium communications. Those instruments are now being used by several groups, and their simple and modular design allows them to be customized for specific needs quickly and at reduced cost. Therefore, they may be an important factor in allowing more data to be gathered in a cost-effective way, providing much-needed data to the waves in ice community. This approach is here validated by presenting recent sea ice drift and wave activity data, and comparing these results with those obtained with commercially available buoys. In addition, our design may be used as a general platform for cost-effective development of other in-situ instruments with similar requirements of low-power data logging, on-board computational power, and satellite communications.


title: A Balanced and Uncertainty-aware Approach for Partial Domain Adaptation

abstract: This work addresses the unsupervised domain adaptation problem, especially in the case of class labels in the target domain being only a subset of those in the source domain. Such a partial transfer setting is realistic but challenging and existing methods always suffer from two key problems, negative transfer and uncertainty propagation. In this paper, we build on domain adversarial learning and propose a novel domain adaptation method BA$^3$US with two new techniques termed Balanced Adversarial Alignment (BAA) and Adaptive Uncertainty Suppression (AUS), respectively. On one hand, negative transfer results in misclassification of target samples to the classes only present in the source domain. To address this issue, BAA pursues the balance between label distributions across domains in a fairly simple manner. Specifically, it randomly leverages a few source samples to augment the smaller target domain during domain alignment so that classes in different domains are symmetric. On the other hand, a source sample would be denoted as uncertain if there is an incorrect class that has a relatively high prediction score, and such uncertainty easily propagates to unlabeled target data around it during alignment, which severely deteriorates adaptation performance. Thus we present AUS that emphasizes uncertain samples and exploits an adaptive weighted complement entropy objective to encourage incorrect classes to have uniform and low prediction scores. Experimental results on multiple benchmarks demonstrate our BA$^3$US surpasses state-of-the-arts for partial domain adaptation tasks. Code is available at \url{https://github.com/tim-learn/BA3US}.


title: Efficient and Effective Similar Subtrajectory Search with Deep Reinforcement Learning

abstract: Similar trajectory search is a fundamental problem and has been well studied over the past two decades. However, the similar subtrajectory search (SimSub) problem, aiming to return a portion of a trajectory (i.e., a subtrajectory) which is the most similar to a query trajectory, has been mostly disregarded despite that it could capture trajectory similarity in a finer-grained way and many applications take subtrajectories as basic units for analysis. In this paper, we study the SimSub problem and develop a suite of algorithms including both exact and approximate ones. Among those approximate algorithms, two that are based on deep reinforcement learning stand out and outperform those non-learning based algorithms in terms of effectiveness and efficiency. We conduct experiments on real-world trajectory datasets, which verify the effectiveness and efficiency of the proposed algorithms.


title: Positive alternating sums of integer partitions

abstract: We combine an extended version of Bailey's transform with an identity of Bressoud and with some identities of Berkovich and Warnaar to prove a variety of positivity results for alternating sums involving partition functions.


title: On the performance of deep learning models for time series classification in streaming

abstract: Processing data streams arriving at high speed requires the development of models that can provide fast and accurate predictions. Although deep neural networks are the state-of-the-art for many machine learning tasks, their performance in real-time data streaming scenarios is a research area that has not yet been fully addressed. Nevertheless, there have been recent efforts to adapt complex deep learning models for streaming tasks by reducing their processing rate. The design of the asynchronous dual-pipeline deep learning framework allows to predict over incoming instances and update the model simultaneously using two separate layers. The aim of this work is to assess the performance of different types of deep architectures for data streaming classification using this framework. We evaluate models such as multi-layer perceptrons, recurrent, convolutional and temporal convolutional neural networks over several time-series datasets that are simulated as streams. The obtained results indicate that convolutional architectures achieve a higher performance in terms of accuracy and efficiency.


title: On the stability of open-string orbifold models with broken supersymmetry

abstract: We consider an open-string realisation of $\mathcal{N}=2\to \mathcal{N}=0$ spontaneous breaking of supersymmetry in four-dimensional Minkowski spacetime. It is based on type IIB orientifold theory compactified on $T^2\times T^4/\mathbb{Z}_2$, with Scherk--Schwarz supersymmetry breaking implemented along $T^2$. We show that in the regions of moduli space where the supersymmetry breaking scale is lower than the other scales, there exist configurations with minima that have massless Bose-Fermi degeneracy and hence vanishing one-loop effective potential, up to exponentially suppressed corrections. These backgrounds describe non-Abelian gauge theories, with all open-string moduli and blowing up modes of $T^4/\mathbb{Z}_2$ stabilized, while all untwisted closed-string moduli remain flat directions. Other backgrounds with strictly positive effective potentials exist, where the only instabilities arising at one loop are associated with the supersymmetry breaking scale, which runs away. All of these backgrounds are consistent non-perturbatively.


title: Embedding Expansion: Augmentation in Embedding Space for Deep Metric Learning

abstract: Learning the distance metric between pairs of samples has been studied for image retrieval and clustering. With the remarkable success of pair-based metric learning losses, recent works have proposed the use of generated synthetic points on metric learning losses for augmentation and generalization. However, these methods require additional generative networks along with the main network, which can lead to a larger model size, slower training speed, and harder optimization. Meanwhile, post-processing techniques, such as query expansion and database augmentation, have proposed the combination of feature points to obtain additional semantic information. In this paper, inspired by query expansion and database augmentation, we propose an augmentation method in an embedding space for pair-based metric learning losses, called embedding expansion. The proposed method generates synthetic points containing augmented information by a combination of feature points and performs hard negative pair mining to learn with the most informative feature representations. Because of its simplicity and flexibility, it can be used for existing metric learning losses without affecting model size, training speed, or optimization difficulty. Finally, the combination of embedding expansion and representative metric learning losses outperforms the state-of-the-art losses and previous sample generation methods in both image retrieval and clustering tasks. The implementation is publicly available.


title: HPIPM: a high-performance quadratic programming framework for model predictive control

abstract: This paper introduces HPIPM, a high-performance framework for quadratic programming (QP), designed to provide building blocks to efficiently and reliably solve model predictive control problems. HPIPM currently supports three QP types, and provides interior point method (IPM) solvers as well (partial) condensing routines. In particular, the IPM for optimal control QPs is intended to supersede the HPMPC solver, and it largely improves robustness while keeping the focus on speed. Numerical experiments show that HPIPM reliably solves challenging QPs, and that it outperforms other state-of-the-art solvers in speed.


title: Massive core/star formation triggered by cloud-cloud collision: Effect of magnetic field

abstract: We study effect of magnetic field on massive dense core formation in colliding unequal molecular clouds by performing magnetohydrodynamic simulations with sub-parsec resolution (0.015 pc) that can resolve the molecular cores. Initial clouds with the typical gas density of the molecular clouds are immersed in various uniform magnetic fields. The turbulent magnetic fields in the clouds consistent with the observation by Crutcher et al. (2010) are generated by the internal turbulent gas motion before the collision, if the uniform magnetic field strength is 4.0 $\mu$G. The collision speed of 10 km s$^{-1}$ is adopted, which is much larger than the sound speeds and the Alfv\'{e}n speeds of the clouds. We identify gas clumps with gas densities greater than 5 $\times$ 10$^{-20}$ g cm$^{-3}$ as the dense cores and trace them throughout the simulations to investigate their mass evolution and gravitational boundness. We show that a greater number of massive, gravitationally bound cores are formed in the strong magnetic field (4.0 $\mu$G) models than the weak magnetic field (0.1 $\mu$G) models. This is partly because the strong magnetic field suppresses the spatial shifts of the shocked layer that should be caused by the nonlinear thin shell instability. The spatial shifts promote formation of low-mass dense cores in the weak magnetic field models. The strong magnetic fields also support low-mass dense cores against gravitational collapse. We show that the numbers of massive, gravitationally bound cores formed in the strong magnetic field models are much larger than the isolated, non-colliding cloud models, which are simulated for comparison. We discuss the implications of our numerical results on massive star formation.


title: Single Graviton Loop Contribution to the Self-Mass of a Massless, Conformally Coupled Scalar on de Sitter Background

abstract: We use a simplified formalism to re-compute the single graviton loop contribution to the self-mass of a massless, conformally coupled scalar on de Sitter background which was originally made by Boran, Kahya and Park [1-3]. Our result resolves the problem with the flat space correspondence limit that was pointed out by Fr\"ob [4]. We discuss how this computation will be used in a long-term project to purge the linearized effective field equation of gauge dependence.


title: Impact of Congestion Charge and Minimum Wage on TNCs: A Case Study for San Francisco

abstract: This paper describes the impact on transportation network companies (TNCs) of the imposition of a congestion charge and a driver minimum wage. The impact is assessed using a market equilibrium model to calculate the changes in the number of passenger trips and trip fare, number of drivers employed, the TNC platform profit, the number of TNC vehicles, and city revenue. Two charges are considered: (a) a charge per TNC trip similar to an excise tax, and (b) a charge per vehicle operating hour (whether or not it has a passenger) similar to a road tax. Both charges reduce the number of TNC trips, but this reduction is limited by the wage floor, and the number of TNC vehicles reduced is not significant. The time-based charge is preferable to the trip-based charge since, by penalizing idle vehicle time, the former increases vehicle occupancy. In a case study for San Francisco, the time-based charge is found to be Pareto superior to the trip-based charge as it yields higher passenger surplus, higher platform profits, and higher tax revenue for the city.


title: On the Differentiability of Projected Trajectories and the Robust Convergence of Non-convex Anti-Windup Gradient Flows

abstract: This paper concerns a new class of discontinuous dynamical systems for constrained optimization. These dynamics are particularly suited to solve nonlinear, non-convex problems in closed-loop with a physical system. Such approaches using feedback controllers that emulate optimization algorithms have recently been proposed for the autonomous optimization of power systems and other infrastructures. In this paper, we consider feedback gradient flows that exploit physical input saturation with the help of anti-windup control to enforce constraints. We prove semi-global convergence of "projected" trajectories to first-order optimal points, i.e., of the trajectories obtained from a pointwise projection onto the feasible set. In the process, we establish properties of the directional derivative of the projection map for non-convex, prox-regular sets.


title: Software for Online Reconstruction and Filtering at the Belle~II Experiment

abstract: The Belle II experiment is designed to collect 50 times more data than its predecessor. For a smooth collection of high-quality data, a robust and automated data transport and processing pipeline has been established. We describe the basic software components employed by the high level trigger. It performs a reconstruction of all events using the same algorithms as offline, classifies the events according to physics criteria, and provides monitoring information. The improved system described in this paper has been deployed successfully since 2019.


title: On microscopic theory of pygmy- and giant resonances

abstract: The Green function formalism with a consistent account for phonon coupling (PC), based on the self-consistent theory of finite Fermi-systems, is applied for pygmy- and giant multipole resonances in magic nuclei with the aim to consider particle-hole (ph) and complex 1p1h phonon configurations. A new equation for the effective field, which describes nuclear polarizability, is obtained. It contains new PC contributions which are of interest in the energy region under consideration. They are due to: i)the tadpole effect in the standard ph-propagator, ii)two new induced interactions (caused by the exchange of ph-phonon) in the second ph-channel and in the particle-particle channels, and iii) the first and second variations of the effective interaction in the phonon field. The general expressions for energies and probabilities of transitions between the ground and excited states are obtained. The qualitative analysis and discussion of the new terms are performed.


title: Adaptive Prediction Timing for Electronic Health Records

abstract: In realistic scenarios, multivariate timeseries evolve over case-by-case time-scales. This is particularly clear in medicine, where the rate of clinical events varies by ward, patient, and application. Increasingly complex models have been shown to effectively predict patient outcomes, but have failed to adapt granularity to these inherent temporal resolutions. As such, we introduce a novel, more realistic, approach to generating patient outcome predictions at an adaptive rate based on uncertainty accumulation in Bayesian recurrent models. We use a Recurrent Neural Network (RNN) and a Bayesian embedding layer with a new aggregation method to demonstrate adaptive prediction timing. Our model predicts more frequently when events are dense or the model is certain of event latent representations, and less frequently when readings are sparse or the model is uncertain. At 48 hours after patient admission, our model achieves equal performance compared to its static-windowed counterparts, while generating patient- and event-specific prediction timings that lead to improved predictive performance over the crucial first 12 hours of the patient stay.


title: Isolated photon production and pion-photon correlations in high-energy $pp$ and $pA$ collisions

abstract: A phenomenological study of the isolated photon production in high energy $pp$ and $pA$ collisions at RHIC and LHC energies is performed. Using the color dipole approach we investigate the production cross section differential in the transverse momentum of the photon considering three different phenomenological models for the universal dipole cross section. We also present the predictions for the rapidity dependence of the ratio of $pA$ to $pp$ cross sections. As a further test of the formalism, for different energies and photon rapidites we analyse the correlation function in azimuthal angle $\Delta\phi$ between the photon and a forward pion. The characteristic double-peak structure of the correlation function around $\Delta \phi\simeq \pi$ observed previously for Drell-Yan pair production is found for isolated photon emitted into the forward rapidity region which can be tested by future experiments.


title: SAFE: Scalable Automatic Feature Engineering Framework for Industrial Tasks

abstract: Machine learning techniques have been widely applied in Internet companies for various tasks, acting as an essential driving force, and feature engineering has been generally recognized as a crucial tache when constructing machine learning systems. Recently, a growing effort has been made to the development of automatic feature engineering methods, so that the substantial and tedious manual effort can be liberated. However, for industrial tasks, the efficiency and scalability of these methods are still far from satisfactory. In this paper, we proposed a staged method named SAFE (Scalable Automatic Feature Engineering), which can provide excellent efficiency and scalability, along with requisite interpretability and promising performance. Extensive experiments are conducted and the results show that the proposed method can provide prominent efficiency and competitive effectiveness when comparing with other methods. What's more, the adequate scalability of the proposed method ensures it to be deployed in large scale industrial tasks.


title: Twisting moduli for GL(2)

abstract: We prove various converse theorems for automorphic forms on \Gamma_0(N), each assuming fewer twisted functional equations than the last. We show that no twisting at all is needed for holomorphic modular forms in the case that N is 18, 20, or 24 - these integers are the smallest multiples of 4 or 9 not covered by earlier work of Conrey-Farmer. This development is a consequence of finding generating sets for \Gamma_0(N) such that each generator can be written as a product of special matrices. As for real-analytic Maass forms of even (resp. odd) weight we prove the analogous statement for N=1,...12,16,18 (resp. N=1,...,12,14,15,16,17,18,20,23,24).


title: HS-stability and complex products in involution semigroups

abstract: When does the complex product of a given number of subsets of a group generate the same subgroup as their union? We answer this question in a more general form by introducing HS-stability and characterising the HS-stable involution subsemigroup generated by a subset of a given involution semigroup. We study HS-stability for the special cases of regular ${}^{*}$-semigroups and commutative involution semigroups.


title: Kitaev Building-block Construction for Inversion-Protected Higher-order Topological Superconductors

abstract: We propose a general theoretical framework for both constructing and diagnosing inversion-protected higher-order topological superconductors using Kitaev building blocks, a higher-dimensional generalization of Kitaev's one-dimensional Majorana model. For a given crystalline symmetry, the Kitaev building blocks serve as a complete basis to construct all possible Kitaev superconductors that satisfy the symmetry requirements. We derive a simple yet powerful Majorana counting rule that can unambiguously diagnose the existence of higher-order topology for all Kitaev superconductors. We expect this real-space diagnosis to work for general two-dimensional higher-order topological superconductors within this symmetry class. As proof of concept, we have identified two inequivalent stacking strategies using the Kitaev building blocks, based on which we have constructed minimal tight-binding models with symmetry-protecetd Majorana corner modes. Moreover, we have successfully applied our diagnosis to comprehend the Majorana corner physcis in a superconductor model with a fragile Wannier obstruction, confirming the validity of our theory beyond the Kitaev limit. Our work paves the way for interpreting higher-order topological superconductivity from the real-space perspective.


title: Extensions of primes, flatness, and intersection flatness

abstract: We study when $R \to S$ has the property that prime ideals of $R$ extend to prime ideals or the unit ideal of $S$, and the situation where this property continues to hold after adjoining the same indeterminates to both rings. We prove that if $R$ is reduced, every maximal ideal of $R$ contains only finitely many minimal primes of $R$, and prime ideals of $R[X_1,\dots,X_n]$ extend to prime ideals of $S[X_1,\dots,X_n]$ for all $n$, then $S$ is flat over $R$. We give a counterexample to flatness over a reduced quasilocal ring $R$ with infinitely many minimal primes by constructing a non-flat $R$-module $M$ such that $M = PM$ for every minimal prime $P$ of $R$. We study the notion of intersection flatness and use it to prove that in certain graded cases it suffices to examine just one closed fiber to prove the stable prime extension property.


title: A Multi-Way Correlation Coefficient

abstract: Pearson's correlation is an important summary measure of the amount of dependence between two variables. It is natural to want to generalise the concept of correlation as a single number that measures the inter-relatedness of three or more variables e.g. how `correlated' are a collection of variables in which non are specifically to be treated as an `outcome'? In this short article, we introduce such a measure, and show that it reduces to the modulus of Pearson's $r$ in the two dimensional case.


title: On the spatial and temporal non-locality of dynamo mean-field effects in supersonic interstellar turbulence

abstract: The interstellar medium of the Milky Way and nearby disk galaxies harbours large-scale coherent magnetic fields of Microgauss strength, that can be explained via the action of a mean-field dynamo. As in our previous work, we aim to quantify dynamo effects that are self-consistently emerging in realistic direct magnetohydrodynamic simulations, but we generalise our approach to the case of a non-local (non-instantaneous) closure relation, described by a convolution integral in space (time). To this end, we leverage our comprehensive simulation framework for the supernova-regulated turbulent multi-phase interstellar medium. By introducing spatially (temporally) modulated mean fields, we extend the previously used test-field method to the spectral realm -- providing the Fourier representation of the convolution kernels. The resulting spectra of the dynamo mean-field coefficients that we obtain broadly match expectations and allow to rigorously constrain the degree of scale separation in the Galactic dynamo. A surprising result is found for the diamagnetic pumping term, which increases in amplitude when going to smaller scales. Our results amount to the most comprehensive description of dynamo mean-field effects in the Galactic context to date. Surveying the relevant parameter space and quenching behaviour, this will ultimately enable the development of assumption-free sub-grid prescriptions for otherwise unresolved global galaxy simulations.


title: Surface Brightness Fluctuation spectra to constrain stellar population properties

abstract: We present a new set of Surface Brightness Fluctuation spectra computed with the E-MILES stellar population synthesis models. The model SBF spectra cover the range 1680-50000 Angstrom at moderately high resolution, all based on extensive empirical stellar libraries. The models span the metallicity range -2.3<[M/H<+0.26 for a suite of IMF types with varying slopes. These predictions can complement and aid fluctuation magnitudes studies, permitting a first order approximation by applying filter responses to the SBF spectra to obtain spectroscopic SBF magnitudes. We provide a recipe for obtaining the latter and discuss their uncertainties and limitations. We compare our spectroscopic SBF magnitudes to photometric data of a sample of early-type galaxies. We also show that the SBF spectra can be very useful for constraining relevant stellar population parameters. We find small (<5%) mass-fractions of extremely metal-poor components ([M/H]<-1) on the top of the dominant, old and metal-rich stellar population. These results put stringent constraints on the early stages of galaxy formation in massive elliptical galaxies. This is remarkable given the high degree of degeneracy of the standard spectral analysis to such metal-poor stellar populations in the visible and in the near-IR. The new SBF models show great potential for exploiting ongoing surveys, particularly those based on narrow-band filters.


title: Realization and transport investigation of a single layer-twisted bilayer graphene junction

abstract: We report on low-temperature transport study of a single layer graphene (SLG)-twisted bilayer graphene (tBLG) junction device. The SLG-tBLG junction in the device is grown by chemical vapor deposition and the device is fabricated in a Hall-bar configuration on Si/SiO$_2$ substrate. The longitudinal resistances across the SLG-tBLG junction (cross-junction resistances) on the two sides of the Hall bar and the Hall resistances of SLG and tBLG in the device are measured. In the quantum Hall regime, the measurements show that the measured cross-junction resistances exhibit a series of new quantized plateaus and the appearance of these resistance plateaus can be attributed to the presence of the well-defined edge-channel transport along the SLG-tBLG junction interface. The measurements also show that the difference between the cross-junction resistances measured on the two sides of the Hall-bar provides a sensitive measure to the edge channel transport characteristics in the two graphene layers that constitute the SLG-tBLG junction and to degeneracy lifting of the Landau levels in the tBLG layer. Temperature dependent measurements of the cross-junction resistance in the quantum Hall regime are also carried out and the influence of the transverse transport of the bulk Landau levels on the edge channel transport along the SLG-tBLG junction interface are extracted. These results enrich the understanding of the charge transport across interfaces in graphene hybrid structures and open up new opportunities for probing exotic quantum phenomena in graphene devices.


title: On the shear-affected zone of shear bands in bulk metallic glasses

abstract: Notched bars of bulk metallic glasses, Pd$_{40}$Ni$_{40}$P$_{20}$ and Zr$_{52.5}$Cu$_{17.9}$Ni$_{14.6}$Al$_{10}$Ti$_{5}$, were deformed under 3-point bending conditions, resulting in the formation of shear bands before failure. The immediate environment of shear bands was investigated in detail using fluctuation electron microscopy to extract information on the strain-induced modifications of the medium-range order (MRO) and its lateral extension. Characteristic material-independent gradients were observed for the tensile and compressive sides of the samples indicating the impact of the local stress state on the MRO. Our results reveal an upper limit of a few microns for the lateral extension of the shear-affected environments of shear bands.


title: A comparison of maximum likelihood and absolute moments for the estimation of Hurst exponents in a stationary framework

abstract: The absolute-moment method is widespread for estimating the Hurst exponent of a fractional Brownian motion $X$. But this method is biased when applied to a stationary version of $X$, in particular an inverse Lamperti transform of $X$, with a linear time contraction of parameter $\theta$. We present an adaptation of the absolute-moment method to this framework and we compare it to the maximum likelihood method, with simulations and an application to a financial time series. While it appears that the maximum-likelihood method is more accurate than the adapted absolute-moment estimation, this last method is not uninteresting for two reasons: it makes it possible to confirm visually that the model is well specified and it is computationally more performing.


title: GANwriting: Content-Conditioned Generation of Styled Handwritten Word Images

abstract: Although current image generation methods have reached impressive quality levels, they are still unable to produce plausible yet diverse images of handwritten words. On the contrary, when writing by hand, a great variability is observed across different writers, and even when analyzing words scribbled by the same individual, involuntary variations are conspicuous. In this work, we take a step closer to producing realistic and varied artificially rendered handwritten words. We propose a novel method that is able to produce credible handwritten word images by conditioning the generative process with both calligraphic style features and textual content. Our generator is guided by three complementary learning objectives: to produce realistic images, to imitate a certain handwriting style and to convey a specific textual content. Our model is unconstrained to any predefined vocabulary, being able to render whatever input word. Given a sample writer, it is also able to mimic its calligraphic features in a few-shot setup. We significantly advance over prior art and demonstrate with qualitative, quantitative and human-based evaluations the realistic aspect of our synthetically produced images.


title: A new measure for the comparison of signals without templates and the detection of gravitational polarization in the GW150914 event

abstract: We present a new measure for the comparison of unknown gravitational wave signals in two detectors, without recurring to an {\it a priori} template. We apply this measure to the LIGO data of the GW150914 event and discover that Hanford and Livingston observatories have recorded two different components of the gravitational wave polarization signal.


title: Adaptive Interpolatory MOR by Learning the Error Estimator in the Parameter Domain

abstract: Interpolatory methods offer a powerful framework for generating reduced-order models (ROMs) for non-parametric or parametric systems with time-varying inputs. Choosing the interpolation points adaptively remains an area of active interest. A greedy framework has been introduced in Feng et al. [ESAIM: Math. Model. Numer. Anal. 51(6), 2017] and in Feng and Benner [IEEE Trans. Microw. Theory Techn. 67(12), 2019] to choose interpolation points automatically using a posteriori error estimators. Nevertheless, when the parameter range is large or if the parameter space dimension is larger than two, the greedy algorithm may take considerable time, since the training set needs to include a considerable number of parameters. As a remedy, we introduce an adaptive training technique by learning an efficient a posteriori error estimator over the parameter domain. A fast learning process is created by interpolating the error estimator using radial basis functions (RBF) over a fine parameter training set, representing the whole parameter domain. The error estimator is evaluated only on a coarse training set including a few parameter samples. The algorithm is an extension of the work in Chellappa et al. [arXiv e-prints 1910.00298] to interpolatory model order reduction (MOR) in frequency domain. Beyond this work, we use a newly proposed inf-sup-constant-free error estimator in the frequency domain, which is often much tighter than the error estimator using the inf-sup constant.


title: Train-by-Reconnect: Decoupling Locations of Weights from their Values

abstract: What makes untrained deep neural networks (DNNs) different from the trained performant ones? By zooming into the weights in well-trained DNNs, we found it is the location of weights that hold most of the information encoded by the training. Motivated by this observation, we hypothesize that weights in stochastic gradient-based method trained DNNs can be separated into two dimensions: the locations of weights and their exact values. To assess our hypothesis, we propose a novel method named Lookahead Permutation (LaPerm) to train DNNs by reconnecting the weights. We empirically demonstrate the versatility of LaPerm while producing extensive evidence to support our hypothesis: when the initial weights are random and dense, our method demonstrates speed and performance similar to or better than that of regular optimizers, e.g., Adam; when the initial weights are random and sparse (many zeros), our method changes the way neurons connect and reach accuracy comparable to that of a well-trained fully initialized network; when the initial weights share a single value, our method finds weight agnostic neural network with far better-than-chance accuracy.


title: Existence of multi-solitons for the focusing Logarithmic Non-Linear Schrodinger Equation

abstract: We consider the logarithmic Schr{\"o}dinger equation (logNLS) in the focusing regime. For this equation, Gaussian initial data remains Gaussian. In particular, the Gausson-a time-independent Gaussian function-is an orbitally stable solution. In this paper, we construct multi-solitons (or multi-Gaussons) for logNLS, with estimates in $H^1 \cap \mathcal{F} (H^1)$. We also construct solutions to logNLS behaving (in $L^2$) like a sum of $N$ Gaussian solutions with different speeds (which we call multi-gaussian). In both cases, the convergence (as $t \rightarrow \infty$) is faster than exponential. We also prove a rigidity result on these multi-gaussians and multi-solitons, showing that they are the only ones with such a convergence.


title: Ramanujan-type $1/\pi$-series from bimodular forms

abstract: We develop an approach to establish $1/\pi$-series from bimodular forms. Utilizing this approach, we obtain new families of $2$-variable $1/\pi$-series associated to Zagier's sporadic Apery-like sequences.


title: Mathematical Model of ingested glucose in Glucose-Insulin Regulation

abstract: Here, we develop a mathematical model for glucose-insulin regulatory system. The model includes a new parameter which is the amount of ingested glucose. Ingested glucose is an external glucose source coming from digested food. We assume that the external glucose or ingested glucose decays exponentially with time. We establish a system of three linear ordinary differential equations with this new parameter, derive stability analysis and the solution of this model.


title: Mechanochemical enzymes and protein machines as hydrodynamic force dipoles: The active dimer model

abstract: Mechanochemically active enzymes change their shapes within every turnover cycle. Therefore, they induce circulating flows in the solvent around them and behave as oscillating hydrodynamic force dipoles. Because of non-equilibrium fluctuating flows collectively generated by the enzymes, mixing in the solution and diffusion of passive particles within it are expected to get enhanced. Here, we investigate the intensity and statistical properties of such force dipoles in the minimal active dimer model of a mechanochemical enzyme. In the framework of this model, novel estimates for hydrodynamic collective effects in solution and in lipid bilayers under rapid rotational diffusion are derived, and available experimental and computational data is examined.


title: DANTE: A framework for mining and monitoring darknet traffic

abstract: Trillions of network packets are sent over the Internet to destinations which do not exist. This 'darknet' traffic captures the activity of botnets and other malicious campaigns aiming to discover and compromise devices around the world. In order to mine threat intelligence from this data, one must be able to handle large streams of logs and represent the traffic patterns in a meaningful way. However, by observing how network ports (services) are used, it is possible to capture the intent of each transmission. In this paper, we present DANTE: a framework and algorithm for mining darknet traffic. DANTE learns the meaning of targeted network ports by applying Word2Vec to observed port sequences. Then, when a host sends a new sequence, DANTE represents the transmission as the average embedding of the ports found that sequence. Finally, DANTE uses a novel and incremental time-series cluster tracking algorithm on observed sequences to detect recurring behaviors and new emerging threats. To evaluate the system, we ran DANTE on a full year of darknet traffic (over three Tera-Bytes) collected by the largest telecommunications provider in Europe, Deutsche Telekom and analyzed the results. DANTE discovered 1,177 new emerging threats and was able to track malicious campaigns over time. We also compared DANTE to the current best approach and found DANTE to be more practical and effective at detecting darknet traffic patterns.


title: Constant-Delay Enumeration for Nondeterministic Document Spanners

abstract: We consider the information extraction framework known as document spanners, and study the problem of efficiently computing the results of the extraction from an input document, where the extraction task is described as a sequential variable-set automaton (VA). We pose this problem in the setting of enumeration algorithms, where we can first run a preprocessing phase and must then produce the results with a small delay between any two consecutive results. Our goal is to have an algorithm which is tractable in combined complexity, i.e., in the sizes of the input document and the VA; while ensuring the best possible data complexity bounds in the input document size, i.e., constant delay in the document size. Several recent works at PODS'18 proposed such algorithms but with linear delay in the document size or with an exponential dependency in size of the (generally nondeterministic) input VA. In particular, Florenzano et al. suggest that our desired runtime guarantees cannot be met for general sequential VAs. We refute this and show that, given a nondeterministic sequential VA and an input document, we can enumerate the mappings of the VA on the document with the following bounds: the preprocessing is linear in the document size and polynomial in the size of the VA, and the delay is independent of the document and polynomial in the size of the VA. The resulting algorithm thus achieves tractability in combined complexity and the best possible data complexity bounds. Moreover, it is rather easy to describe, in particular for the restricted case of so-called extended VAs. Finally, we evaluate our algorithm empirically using a prototype implementation.


title: Superconductivity in an Al-Twisted Bilayer Graphene-Al Junction device

abstract: We report on realization and quantum transport study of a twisted bilayer graphene (tBLG) Josephson junction device. High-quality tBLG employed in the device fabrication is obtained via chemical vapour deposition and the device is fabricated by contacting a piece of tBLG by two closely spaced Al electrodes in an Al-tBLG-Al Josephson junction configuration. Low-temperature transport measurements show that below the critical temperature of the Al electrodes ($T_c\approx1.1$ K), the device exhibits sizable supercurrents at zero magnetic field, arising from the superconducting proximity effect with high contact transparency in the device. In the measurements of the critical supercurrent as a function of perpendicularly applied magnetic field, a standard Fraunhofer-like pattern of oscillations is observed, indicating a uniform supercurrent distribution inside the junction. Multiple Andreev reflection characteristics are also observed in the spectroscopy measurements of the device, and their magnetic field and temperature dependencies are found to be well described by the Bardeen$-$Cooper$-$Schrieffer theory.


title: Spherical Principal Curves

abstract: This paper presents a new approach for dimension reduction of data observed in a sphere. Several dimension reduction techniques have recently developed for the analysis of non-Euclidean data. As a pioneer work, Hauberg (2016) attempted to implement principal curves on Riemannian manifolds. However, this approach uses approximations to deal with data on Riemannian manifolds, which causes distorted results. In this study, we propose a new approach to construct principal curves on a sphere by a projection of the data onto a continuous curve. Our approach lies in the same line of Hastie and Stuetzle (1989) that proposed principal curves for Euclidean space data. We further investigate the stationarity of the proposed principal curves that satisfy the self-consistency on a sphere. Results from real data analysis with earthquake data and simulation examples demonstrate the promising empirical properties of the proposed approach.


title: Comparing teh holographic principle inspired dark energy models

abstract: In this work, we use the statefinder parameter diagnostic to the Holographic principal inspired dark energy models, taking into consideration, the Tsallis Holographic dark energy (THDE) model, the standard Holographic dark energy (HDE) model, and the R$\acute{e}$nyi holographic dark energy (RHDE) model. The evolutionary behaviour of first statefinder $r(z)$, second statefinder parameter $s(z)$, the statefinder parameter pairs $(r, s)$ and $(r, q)$ as well as the deceleration parameter $q(z)$ are plotted for comparison for the various parameter values of the respective dark energy models. In the low redshift region, it is observed from these plots that the Tsallis holographic dark energy (THDE) model and R$\acute{e}$nyi holographic dark energy (RHDE) model approach to the $\Lambda$CDM model. While for the HDE model, the evolutionary behaviour can be differentiated from the $\Lambda$CDM model in the low-redshift region. For all three dark energy models, a direct comparison in $q(z)$, $r(z)$, $s(z)$, $(r, s)$ and $(r, q)$ plane have also been done, in which the discrimination between these three models wif the $\Lambda$CDM model) may be easily seen.


title: Robust Identification of Gene-Environment Interactions under High-Dimensional Accelerated Failure Time Models

abstract: For complex diseases, beyond the main effects of genetic (G) and environmental (E) factors, gene-environment (G-E) interactions also play an important role. Many of the existing G-E interaction methods conduct marginal analysis, which may not appropriately describe disease biology. Joint analysis methods have been developed, with most of the existing loss functions constructed based on likelihood. In practice, data contamination is not uncommon. Development of robust methods for interaction analysis that can accommodate data contamination is very limited. In this study, we consider censored survival data and adopt an accelerated failure time (AFT) model. An exponential squared loss is adopted to achieve robustness. A sparse group penalization approach, which respects the "main effects, interactions" hierarchy, is adopted for estimation and identification. Consistency properties are rigorously established. Simulation shows that the proposed method outperforms direct competitors. In data analysis, the proposed method makes biologically sensible findings.


title: A generalized projection iterative methods for solving non-singular linear systems

abstract: In this paper, we propose and analyze iterative method based on projection techniques to solve a non-singular linear system Ax = b. In particular, for a given positive integer m, m-dimensional successive projection method (mD-SPM) for symmetric definite matrix A, is generalized for non-singular matrix A. Moreover, it is proved that mD-SPM gives better result for large values of m. Numerical experiments are carried out to demonstrate the superiority of the proposed method in comparison with other schemes in the scientific literature.


title: Photonics-based mid-infrared interferometry: 4-year results of the ALSI project and future prospects

abstract: In this contribution, we review the results of the ALSI project (Advanced Laser-writing for Stellar Interferometry), aimed at assessing the potential of ultrafast laser writing to fabricate mid-infared integrated optics (IO) devices with performance compatible with an implementation in real interferometric instruments like Hi5 or PFI. Waveguides for the L, L' and M bands with moderate propagation losses were manufactured in Gallium Lanthanum Sulfide and ZBLAN glasses and used to develop photonic building blocks as well as a full mid-IR 4-telescope beam combiner. We discuss the advantages and disadvantages of the tested combiners and discuss a possible roadmap for the continuation of this work.


title: Maximum Clique in Disk-Like Intersection Graphs

abstract: We study the complexity of Maximum Clique in intersection graphs of convex objects in the plane. On the algorithmic side, we extend the polynomial-time algorithm for unit disks [Clark '90, Raghavan and Spinrad '03] to translates of any fixed convex set. We also generalize the efficient polynomial-time approximation scheme (EPTAS) and subexponential algorithm for disks [Bonnet et al. '18, Bonamy et al. '18] to homothets of a fixed centrally symmetric convex set. The main open question on that topic is the complexity of Maximum Clique in disk graphs. It is not known whether this problem is NP-hard. We observe that, so far, all the hardness proofs for Maximum Clique in intersection graph classes $\mathcal I$ follow the same road. They show that, for every graph $G$ of a large-enough class $\mathcal C$, the complement of an even subdivision of $G$ belongs to the intersection class $\mathcal I$. Then they conclude invoking the hardness of Maximum Independent Set on the class $\mathcal C$, and the fact that the even subdivision preserves that hardness. However there is a strong evidence that this approach cannot work for disk graphs [Bonnet et al. '18]. We suggest a new approach, based on a problem that we dub Max Interval Permutation Avoidance, which we prove unlikely to have a subexponential-time approximation scheme. We transfer that hardness to Maximum Clique in intersection graphs of objects which can be either half-planes (or unit disks) or axis-parallel rectangles. That problem is not amenable to the previous approach. We hope that a scaled down (merely NP-hard) variant of Max Interval Permutation Avoidance could help making progress on the disk case, for instance by showing the NP-hardness for (convex) pseudo-disks.


title: Simplicial volume via normalised cycles

abstract: We show that the Connes-Consani semi-norm on singular homology with real coefficients, defined via s-modules, coincides with the ordinary $\ell^1$-semi-norm on singular homology in all dimensions.


title: Trace Transfer-based Diagonal Sweeping Domain Decomposition Method for the Helmholtz Equation: Algorithms and Convergence Analysis

abstract: By utilizing the perfectly matched layer (PML) and source transfer techniques, the diagonal sweeping domain decomposition method (DDM) was recently developed for solving the high-frequency Helmholtz equation in $\mathbb{R}^n$, which uses $2^n$ sweeps along respective diagonal directions with checkerboard domain decomposition. Although this diagonal sweeping DDM is essentially multiplicative, it is highly suitable for parallel computing of the Helmholtz problem with multiple right-hand sides when combined with the pipeline processing since the number of sequential steps in each sweep is much smaller than the number of subdomains. In this paper, we propose and analyze a trace transfer-based diagonal sweeping DDM. A major advantage of changing from source transfer to trace transfer for information passing between neighbor subdomains is that the resulting diagonal sweeps become easier to analyze and implement and more efficient, since the transferred traces have only $2n$ cardinal directions between neighbor subdomains while the transferred sources come from a total of $3^n-1$ cardinal and corner directions. We rigorously prove that the proposed diagonal sweeping DDM not only gives the exact solution of the global PML problem in the constant medium case but also does it with at most one extra round of diagonal sweeps in the two-layered media case, which lays down the theoretical foundation of the method. Performance and parallel scalability of the proposed DDM as direct solver or preconditioner are also numerically demonstrated through extensive experiments in two and three dimensions.


title: MarginDistillation: distillation for margin-based softmax

abstract: The usage of convolutional neural networks (CNNs) in conjunction with a margin-based softmax approach demonstrates a state-of-the-art performance for the face recognition problem. Recently, lightweight neural network models trained with the margin-based softmax have been introduced for the face identification task for edge devices. In this paper, we propose a novel distillation method for lightweight neural network architectures that outperforms other known methods for the face recognition task on LFW, AgeDB-30 and Megaface datasets. The idea of the proposed method is to use class centers from the teacher network for the student network. Then the student network is trained to get the same angles between the class centers and the face embeddings, predicted by the teacher network.


title: Cross-GCN: Enhancing Graph Convolutional Network with $k$-Order Feature Interactions

abstract: Graph Convolutional Network (GCN) is an emerging technique that performs learning and reasoning on graph data. It operates feature learning on the graph structure, through aggregating the features of the neighbor nodes to obtain the embedding of each target node. Owing to the strong representation power, recent research shows that GCN achieves state-of-the-art performance on several tasks such as recommendation and linked document classification. Despite its effectiveness, we argue that existing designs of GCN forgo modeling cross features, making GCN less effective for tasks or data where cross features are important. Although neural network can approximate any continuous function, including the multiplication operator for modeling feature crosses, it can be rather inefficient to do so (i.e., wasting many parameters at the risk of overfitting) if there is no explicit design. To this end, we design a new operator named Cross-feature Graph Convolution, which explicitly models the arbitrary-order cross features with complexity linear to feature dimension and order size. We term our proposed architecture as Cross-GCN, and conduct experiments on three graphs to validate its effectiveness. Extensive analysis validates the utility of explicitly modeling cross features in GCN, especially for feature learning at lower layers.


title: An improvement of the Boppana-Holzman bound for Rademacher random variables

abstract: Let $v_1,v_2,...,v_n$ be real numbers whose squares add up to $1$. Consider the $2^n$ signed sums of the form $S=\sum_{i=1}^n \pm v_i.$ Holzman and Kleitman (1992) proved that at least $\frac38=0.375$ of these sums satisfy $|S|\leq 1.$ By using bounds for appropriate moments of $S,$ Boppana and Holzman (2017) were able to improve the bound to $\frac{13}{32}=0.40625$ and even a bit better to $\frac{13}{32}+9\times10^{-6}.$ By following their approach, but using a key result of Bentkus and Dzindzalieta (2015), we will drastically improve (by more than 5\%) the latter barrier $\frac{13}{32}$ to $\frac{1}{2}-\frac{\Phi(-2)}{4\Phi(-\sqrt{2})}\approx 0.42768.$


title: Subcompact cardinals, type omission and ladder systems

abstract: We provide a model theoretical and tree property like characterization of $\lambda$-$\Pi^1_1$-subcompactness and supercompactness. We explore the behaviour of those combinatorial principles at accessible cardinals.


title: Some Aspects of a Software Reliability Problem

abstract: Obviously, the dynamism of software reliability research has speeded up significantly in the last period, and we can state the fact that its intensity is approaching, and in some cases is ahead of the information systems hardware reliability research intensity. Reliability of software is much more important than its other characteristics, such as runtime, and although the absolute reliability of modern software is apparently unattainable, there is still no generally accepted measure of reliability of computer programs. The article analyzes the reasons for the situation and offers an approach to solving the problem. The article touches upon the issue of general characteristics of information systems software life cycle. Considered software application reliability questions and use of fail-safe ensuring programming. Also presented basic types of so-called virus programs that lead to abnormal functioning of information systems. Much attention is given to presenting some known models used for software debugging and operating. So, this review paper consists of four sections: information systems software process creation, reliability of information systems software, using of fail-safe programs and estimation of software reliability according the results of adjusting and normal operation.


title: Uniform estimates for the planning problem with potential

abstract: In this paper, we study a priori estimates for a first-order mean-field planning problem with a potential. In the theory of mean-field games (MFGs), a priori estimates play a crucial role to prove the existence of classical solutions. In particular, uniform bounds for the density of players' distribution and its inverse are of utmost importance. Here, we investigate a priori bounds for those quantities for a planning problem with a non-vanishing potential. The presence of a potential raises non-trivial difficulties, which we overcome by exploring a displacement-convexity property for the mean-field planning problem with a potential together with Moser's iteration method. We show that if the potential satisfies a certain smallness condition, then a displacement-convexity property holds. This property enables $L^q$ bounds for the density. In the one-dimensional case, the displacement-convexity property also gives $L^q$ bounds for the inverse of the density. Finally, using these $L^q$ estimates and Moser's iteration method, we obtain $L^\infty$ estimates for the density of the distribution of the players and its inverse.


title: Zhi-Wei Sun's 1-3-5 Conjecture and Variations

abstract: In this paper, using quaternion arithmetic in the ring of Lipschitz integers, we present a proof of Zh\`i-W\v{e}i S\={u}n's "1-3-5 conjecture" for all integers, and for all natural numbers greater than a specific constant. This, together with computations, done by the authors and a colleague, which checked the validity of the conjecture up to that constant, completely proves the 1-3-5 conjecture. We also establish some variations of this conjecture.


title: Tate motives on Witt vector affine flag varieties

abstract: Relying on recent advances in the theory of motives we develope a general formalism for derived categories of motives with Q-coefficients on perfect (ind-)schemes. As an application we give a motivic refinement of Zhu's geometric Satake equivalence for Witt vector affine Grassmannians in this set-up.


title: Intelligent Radome Design Using Multilayer Metamaterial Structures to Realize Energy Isolation and Asymmetric Propagation of Electromagnetic Wave

abstract: An intelligent radome utilizing composite metamaterial structures is presented and investigated in this article, which can realize energy isolation and asymmetric propagation of electromagnetic (EM) wave self-adaptively by controlling states of PIN diodes. The whole structure mainly consists of a broadband polarization-sensitive polarization converter (PC) and an active frequency selective rasorber (AFSR) switching between a transmission mode and absorption mode which is used as an energy-selective surface (ESS). Among them, the function of the PC is to make the EM waves transmit asymmetrically, and the purpose of AFSR is to make the high-power waves be reflected or absorbed, which depends on the polarization type of the wave. Thus, the radome can realize both asymmetric propagations of EM wave and electromagnetic shielding. The equivalent circuit models (ECM) and parametric studies are considered to explain the physical operating mechanism of PC and AFSR. The fabricated structure with 7*7 unit cells is experimentally demonstrated and the measured results agree with simulated results well. Considering the distinctive characteristic of self-actuation, the presented concept has the potential application in electromagnetic stealth and HPEMWs shielding to protect communication devices.