title: Curvature-driven transport of thin Bingham fluid layers in airway bifurcations

abstract: The mucus on the bronchial wall forms a thin layer of non-Newtonian fluid. One of the roles of mucus is to protect the lungs by capturing inhaled pollutants. It is transported by mucocilliary clearance toward the tracheo-pharyngeal bifurcation, where it is eliminated. Due to the corrugation of its interface with air, the mucus layer is subject to surface tension forces that interact with its rheology. It is still not clear whether these forces can affect mucus displacement and, if they can, under what conditions and how this displacement can occur. In this work, we model the mucus as a thin Bingham fluid layer located on the wall of idealized, multi-scaled airway bifurcations. We analyze the resulting physical system using lubrication theory and 3D simulations. The theoretical analysis allows us to characterize the nonlinear behavior of the system and determine the geometric conditions under which the Bingham fluid can be moved by surface tension. 3D simulations are then used to quantify the effects in idealized airway bifurcations on a range of scales corresponding to those of bronchial bifurcations. Our results suggest that surface tension effects can displace overly thick mucus layers in airway bifurcations, a typical situation in obstructive lung pathologies (asthma, BPCO, cystic fobrosis, etc.). Moreover, our results indicate that this movement can disrupt mucociliary clearance and the homogeneity of the layer thickness, thus increasing the risk of lung infection.

categories: physics.flu-dyn physics.bio-ph physics.comp-ph q-bio.TO


title: Can We Use Neural Regularization to Solve Depth Super-Resolution?

abstract: Depth maps captured with commodity sensors often require super-resolution to be used in applications. In this work we study a super-resolution approach based on a variational problem statement with Tikhonov regularization where the regularizer is parametrized with a deep neural network. This approach was previously applied successfully in photoacoustic tomography. We experimentally show that its application to depth map super-resolution is difficult, and provide suggestions about the reasons for that.


title: Risk bounds for aggregated shallow neural networks using Gaussian prior

abstract: Analysing statistical properties of neural networks is a central topic in statistics and machine learning. However, most results in the literature focus on the properties of the neural network minimizing the training error. The goal of this paper is to consider aggregated neural networks using a Gaussian prior. The departure point of our approach is an arbitrary aggregate satisfying the PAC-Bayesian inequality. The main contribution is a precise nonasymptotic assessment of the estimation error appearing in the PAC-Bayes bound. We also review available bounds on the error of approximating a function by a neural network. Combining bounds on estimation and approximation errors, we establish risk bounds that are sharp enough to lead to minimax rates of estimation over Sobolev smoothness classes.


title: Volatile optical bistability enabled by mechanical nonlinearity

abstract: Optical devices with metastable states controlled with light (optical flip-flops) are needed in data storage, signal processing and displays. Although non-volatile optical memory relying on structural phase transitions in chalcogenide glasses has been widely used for optical data storage, beyond that, weak optical nonlinearities have hindered the development of low-power bistable devices. Here we report on a new type of volatile optical bistability in a resonant hybrid nano-optomechanical device, comprising of a pair of anchored nanowires decorated with plasmonic metamolecules. The nonlinearity resides in the mechanical properties of the nanowires and is transduced to its optical response by reconfiguring the plasmonic metamolecules. Such a system can be driven to a bistable response by acoustic signals modulated at the natural mechanical resonance of the nanowire. The memory of such a device is volatile and can be erased by removing the acoustic signal but in its presence, it can be switched between bistable optical states with microwatts of optical power. We argue that the demonstration of hybrid nano-optomechanical bistability opens new opportunities to develop practical low-power bistable devices.


title: EPNet++: Cascade Bi-directional Fusion for Multi-Modal 3D Object Detection

abstract: Recently, fusing the LiDAR point cloud and camera image to improve the performance and robustness of 3D object detection has received more and more attention, as these two modalities naturally possess strong complementarity. In this paper, we propose EPNet++ for multi-modal 3D object detection by introducing a novel Cascade Bi-directional Fusion~(CB-Fusion) module and a Multi-Modal Consistency~(MC) loss. More concretely, the proposed CB-Fusion module enhances point features with plentiful semantic information absorbed from the image features in a cascade bi-directional interaction fusion manner, leading to more powerful and discriminative feature representations. The MC loss explicitly guarantees the consistency between predicted scores from two modalities to obtain more comprehensive and reliable confidence scores. The experimental results on the KITTI, JRDB and SUN-RGBD datasets demonstrate the superiority of EPNet++ over the state-of-the-art methods. Besides, we emphasize a critical but easily overlooked problem, which is to explore the performance and robustness of a 3D detector in a sparser scene. Extensive experiments present that EPNet++ outperforms the existing SOTA methods with remarkable margins in highly sparse point cloud cases, which might be an available direction to reduce the expensive cost of LiDAR sensors. Code is available at: https://github.com/happinesslz/EPNetV2.


title: Coupling staggered-grid and vertex-centered finite-volume methods for coupled porous-medium free-flow problems

abstract: In this work, a new discretization approach for coupled free and porous-medium flows is introduced, which uses a finite volume staggered-grid method for the discretization of the Navier-Stokes equations in the free-flow subdomain, while a vertex-centered finite volume method is used in the porous-medium flow domain. The latter allows for the use of unstructured grids in the porous-medium subdomain, and the presented method is capable of handling non-matching grids at the interface. In addition, the accurate evaluation of coupling terms and of additional nonlinear velocity-dependent terms in the porous medium is ensured by the use of basis functions and by having degrees of freedom naturally located at the interface. The available advantages of this coupling method are investigated in a series of tests: a convergence test for various grid types, an evaluation of the implementation of coupling conditions, and an example using the velocity dependent Forchheimer term in the porous-medium subdomain.


title: Aerial Base Station Positioning and Power Control for Securing Communications: A Deep Q-Network Approach

abstract: The unmanned aerial vehicle (UAV) is one of the technological breakthroughs that supports a variety of services, including communications. UAV will play a critical role in enhancing the physical layer security of wireless networks. This paper defines the problem of eavesdropping on the link between the ground user and the UAV, which serves as an aerial base station (ABS). The reinforcement learning algorithms Q-learning and deep Q-network (DQN) are proposed for optimizing the position of the ABS and the transmission power to enhance the data rate of the ground user. This increases the secrecy capacity without the system knowing the location of the eavesdropper. Simulation results show fast convergence and the highest secrecy capacity of the proposed DQN compared to Q-learning and baseline approaches.

categories: cs.IT cs.CR cs.LG cs.NI cs.SY eess.SY math.IT


title: Multitype self-similar growth-fragmentation processes

abstract: In this paper, we are interested in multitype self-similar growth-fragmentation processes. More precisely, we investigate a multitype version of the self-similar growth-fragmentation processes introduced by Bertoin, therefore extending the signed case (considered by the first author in a previous work) to finitely many types. Our main result in this direction describes the law of the spine in the multitype setting. In order to do so, we introduce two genealogical martingales, in the same spirit as in the positive case, which allow us not only to obtain the law of the spine but also to study the limit of the empirical measure of fragments. We stress that our arguments only rely on the structure of the underlying Markov additive processes (MAPs), and hence is more general than the treatment of the signed case. Our methods also require new results on exponential functionals for MAPs and a multitype version of the tail estimates in multiplicative cascades which are interesting in their own right.


title: On the origin and the amplitude of T-square resistivity in Fermi liquids

abstract: In 1937, Baber, Landau and Pomeranchuk postulated that collisions between electrons generates a contribution to the electric resistivity of metals with a distinct T$^2$ temperature dependence. The amplitude of this term is small in common metals, but dominant in metals hosting either heavy carriers or a low concentration of them. The link between the temperature dependence and the size of the scattering phase space is straightforward, but not the microscopic source of dissipation. To explain how electron-electron collisions lead to momentum leak, Umklapp events or multiple electron reservoirs have been invoked. This interpretation is challenged by a number of experimental observations: the persistence of T-square resistivity in dilute metals (in which the two mechanisms are irrelevant), the successful extension of Kadowaki-Woods scaling to dilute metals, and the observation of a size-dependent T-square thermal resistivity ($T/\kappa$) and its Wiedemann-Franz (WF) correlation with T-square electrical resistivity. This paper argues that much insight is provided by the case of normal liquid $^3$He where the T-square temperature dependence of energy and momentum diffusivity is driven by fermion-fermion collisions. The amplitude of T-square resistivity in $^3$He and in metals share a common scaling. Thus, the ubiquitous T-square electrical resistivity ultimately stems from the Fermi-liquid temperature dependence of momentum diffusivity.


title: A window for cosmic strings

abstract: Particle emission, in addition to gravitational radiation from cosmic string loops, affects the resulting loop distribution and hence the corresponding observational consequences of cosmic strings. Here we focus on two models in which loops of length $\ell$ are produced from the infinite string network with a given power-law. For both models we find that, due to particle production, the Stochastic Gravitational Wave Background (SGWB) is cut off outside the region of parameter space probed by any current or planned GW experiment. Therefore the present constraints from the LIGO-Virgo-Kagra (LVK) collaboration still hold. However for one of these models, if a fraction $\gtrsim O(10^{-3})$ of these particles cascades into $\gamma$-rays, and if the gravitational backreaction scale follows the Polchinski-Rocha model, then the string tension is tightly constrained from below by measurements of the Diffuse $\gamma$-Ray Background, and from above by the SGWB. With reasonable assumptions, the joint constraint on the string tension set by these two possible observables reduces the available parameter space of this cosmic string model to a narrow band. Future upgrades to LVK will either rule out this model or detect strings.


title: Universal Properties of Anisotropic Dipolar Bosons in Two Dimensions

abstract: The energy of ultra-dilute quantum many-body systems is known to exhibit a universal dependence on the gas parameter $x=n a_0^d$, with $n$ the density, $d$ the dimensionality of the space ($d=1,2,3$) and $a_0$ the $s$-wave scattering length. The universal regime typically extends up to $x\approx 0.001$, while at larger values specific details of the interaction start to be relevant and different model potentials lead to different results. Dipolar systems are peculiar in this regard since the anisotropy of the interaction makes $a_0$ depend on the polarization angle $\alpha$, so different combinations of $n$ and $\alpha$ can lead to the same value of the gas parameter $x$. In this work we analyze the scaling properties of dipolar bosons in two dimensions as a function of the density and polarization dependent scattering length up to very large values of the gas parameter $x$. Using Quantum Monte Carlo (QMC) methods we study the energy and the main structural and coherence properties of the ground state of a gas of dipolar bosons by varying the density and scattering length for fixed gas parameter. We find that the dipolar interaction shows relevant scaling laws up to unusually large values of $x$ that hold almost to the boundaries in the phase diagram where a transition to a stripe phase takes place.


title: The Open Systems View

abstract: There is a deeply entrenched view in philosophy and physics, the closed systems view, according to which isolated systems are conceived of as fundamental. On this view, when a system is under the influence of its environment this is described in terms of a coupling between it and a separate system which taken together are isolated. We argue against this view, and in favor of the alternative open systems view, for which systems interacting with their environment are conceived of as fundamental, and the environment's influence is represented via the dynamical equations that govern the system's evolution. Taking quantum theories of closed and open systems as our case study, and considering three alternative notions of fundamentality: (i)~ontic fundamentality, (ii)~epistemic fundamentality, and (iii)~explanatory fundamentality, we argue that the open systems view is fundamental, and that this has important implications for the philosophy of physics, the philosophy of science, and for metaphysics.


title: Cosmological Constraints on Dark Scalar

abstract: We discuss cosmological constraints on a dark scalar particle mixing with the Standard Model Higgs boson. We pay particular attention to the dark scalar production process when the reheating temperature of the Universe is very low, which allows us to give a conservative limit on the low-mass scalar particle. We also study the effect of the self-interaction of the dark scalars and find this has a significant impact on the cosmological constraints. We obtain the most conservative cosmological constraint on the dark scalar, which is complementary to accelerator experiments and astrophysical observations.


title: Three-loop gluon scattering in QCD and the gluon Regge trajectory

abstract: We compute the three-loop helicity amplitudes for the scattering of four gluons in QCD. We employ projectors in the 't Hooft-Veltman scheme and construct the amplitudes from a minimal set of physical building blocks, which allows us to keep the computational complexity under control. We obtain relatively compact results that can be expressed in terms of harmonic polylogarithms. In addition, we consider the Regge limit of our amplitude and extract the gluon Regge trajectory in full three-loop QCD. This is the last missing ingredient required for studying single-Reggeon exchanges at next-to-next-to-leading logarithmic accuracy.


title: Disentangling the Regge cut and Regge pole in perturbative QCD

abstract: The high-energy limit of gauge-theory amplitudes features both a Regge pole and Regge cuts. We show how to disentangle these, and hence how to determine the Regge trajectory beyond two loops. While the nonplanar part of multiple Reggeon $t$-channel exchange forms a Regge cut, the planar part contributes to the pole along with the single Reggeon. With this, we find that the infrared singularities of the trajectory are given by the cusp anomalous dimension. By matching to recent QCD results, we determine the quark and gluon impact factors to two loops and the Regge trajectory to three loops.


title: High pressure hydrogen by machine learning and quantum Monte Carlo

abstract: We have developed a technique combining the accuracy of quantum Monte Carlo in describing the electron correlation with the efficiency of a Machine Learning Potential (MLP). We use kernel regression in combination with SOAP (Smooth Overlap of Atomic Position) features, implemented here in a very efficient way. The key ingredients are: i) a sparsification technique, based on farthest point sampling, ensuring generality and transferability of our MLPs and ii) the so called $\Delta$-learning, allowing a small training data set, a fundamental property for highly accurate but computationally demanding calculations, such as the ones based on quantum Monte Carlo. As the first application we present a benchmark study of the liquid-liquid transition of high-pressure hydrogen and show the quality of our MLP, by emphasizing the importance of high accuracy for this very debated subject, where experiments are difficult in the lab, and theory is still far from being conclusive.


title: Twistor geometry of the Flag manifold

abstract: A study is made of algebraic curves and surfaces in the flag manifold $\mathbb{F}=SU(3)/T^2$, and their configuration relative to the twistor projection $\pi$ from $\mathbb{F}$ to the complex projective plane $\mathbb{CP}^2$, defined with the help of an anti-holomorphic involution $j$. This is motivated by analogous studies of algebraic surfaces of low degree in the twistor space $\mathbb{CP}^3$ of $S^4$. Deformations of twistor fibres project to real surfaces in $\mathbb{CP}^2$, whose metric geometry is investigated. Attention is then focussed on toric Del Pezzo surfaces that are the simplest type of surfaces in $\mathbb{F}$ of bidegree $(1,1)$. These surfaces define orthogonal complex structures on specified dense open subsets of $\mathbb{CP}^2$ relative to its Fubini-Study metric. The discriminant loci of various surfaces of bidegree $(1,1)$ are determined, and bounds given on the number of twistor fibres that are contained in more general algebraic surfaces in $\mathbb{F}$.


title: Chat2Code: Towards conversational concrete syntax for model specification and code generation, the case of smart contracts

abstract: The revolutionary potential of automatic code generation tools based on Model-Driven Engineering (MDE) frameworks has yet to be realized. Beyond their ability to help software professionals write more accurate, reusable code, they could make programming accessible for a whole new class of non-technical users. However, non-technical users have been slow to embrace these tools. This may be because their concrete syntax is often patterned after the operations of textual or graphical interfaces. The interfaces are common, but users would need more extensive, precise and detailed knowledge of them than they can be assumed to have, to use them as concrete syntax. Conversational interfaces (chatbots) offer a much more accessible way for non-technical users to generate code. In this paper, we discuss the basic challenge of integrating conversational agents within Model-Driven Engineering (MDE) frameworks, then turn to look at a specific application: the auto-generation of smart contract code in multiple languages by non-technical users, based on conversational syntax. We demonstrate how this can be done, and evaluate our approach by conducting user experience survey to assess the usability and functionality of the chatbot framework.


title: A Solution to the Generalized ROS Hardware IO Problem -- A Generic Modbus/TCP Device Driver for PLCs, Sensors and Actuators

abstract: The Robot Operating System (ROS) provides a software framework, and ecosystem of knowledge and community supplied resources to rapidly develop and prototype intelligent robotics applications. By standardizing communication, configuration and invocation of software modules, ROS facilitates reuse of device-driver and algorithm implementations. Using existing implementations of functionality allows users to assemble their robotics application from tested and known-good capabilities. Despite the efforts of the ROS-Industrial consortium and projects like ROSIN to bring ROS to industrial applications and integrate industrial hardware, we observe a lack of options to generically integrate basic physical IO. In this work we lay out and provide a solution to this problem by implementing a generic Modbus/TCP device driver for ROS.


title: A study of shear viscosity coefficient of quark matter in Polyakov quark meson model for three flavors

abstract: We have computed shear viscosity coefficient for hot and dense QCD matter within Polyakov loop extended quark meson(PQM) model for three flavors. Viscosity coefficient is estimated using Boltzmann equation within the relaxation time approximation. Relaxation times for quarks are calculated from elastic scattering of quarks and antiquarks via gluon exchange. Also the mean free paths of strange and light quarks are estimated for this cases. The calculations are performed at finite chemical potential. Thermodynamic properties like energy, pressure, entropy densities are also computed and compared with lattice QCD data.


title: Free boundary partial regularity in the thin obstacle problem

abstract: For the thin obstacle problem in $\mathbb{R}^n$, $n\geq 2$, we prove that at all free boundary points, with the exception of a $(n-3)$-dimensional set, the solution differs from its blow-up by higher order corrections. This expansion entails a $C^{1,1}$-type free boundary regularity result, up to a codimension 3 set.


title: Description of bi-quadratic algebras on 3 generators with PBW basis

abstract: The aim of the paper is to give an explicit description of bi-quadratic algebras on 3 generators with PBW basis.


title: Support theorem for L\'evy driven SDEs

abstract: We provide a support theorem for the law of the solution to an SDE with jump noise. This theorem applies to general SDEs with jumps and is illustrated by examples of SDEs with quite degenerate jump noises where the theorem leads to an informative description of the support.


title: The QCD chiral phase transition for different numbers of quark flavours

abstract: We present results from a comprehensive study of the location of the chiral critical surface, which separates regions of first-order chiral transitions from analytic crossovers, in the bare parameter space of lattice QCD with unimproved staggered fermions. We study the theories with $N_f\in[2,8]$ and trace the chiral critical surface along diminishing lattice spacing, with $N_\tau=\{4,6,8\}$. This allows for an extrapolation to the lattice chiral limit, where the surface has to terminate in a tricritical line, employing known tricritical scaling relations. Knowing the phase structure in the lattice bare parameter space allows to draw conclusions for the approach to the continuum and chiral limits taken in the appropriate order. Our data provide evidence for the continuum chiral limit to feature a second-order transition for all $N_f\in[2,7]$. We perform an analogous scaling analysis with already published data from $N_f=3$ $O(a)$-improved Wilson fermions, which is also consistent with a second-order transition in the continuum. A modified Columbia plot reflecting those results is suggested.


title: Atmospheric dynamics of temperate sub-Neptunes. Part I: dry dynamics

abstract: Sub-Neptunes (planets with radii between 2 and 4 R$_{\oplus}$) are abundant around M-dwarf stars, yet the atmospheric dynamics of these planets is relatively unexplored. In this paper, we aim to provide a basic underpinning of the dry dynamics of general low mean molecular weight, temperate sub-Neptune atmospheres. We use the ExoFMS GCM with an idealised grey gas radiation scheme to simulate planetary atmospheres with different levels of instellation and rotation rates, using the atmosphere of K2-18b as our control. We find that the atmospheres of tidally-locked, temperate sub-Neptunes have weak horizontal temperature gradients owing to their slow rotation rates and hydrogen-dominated composition. The zonal wind structure is dominated by high-latitude cyclostrophic jets driven by the conservation of angular momentum. At low pressures we observe superrotating equatorial jets, which we propose are driven by a Rossby-Kelvin instability similar to the type seen in simulations of idealised atmospheres with axisymmetric forcing. By viewing the flow in tidally-locked coordinates, we find the predominant overturning circulation to be between the dayside and nightside, and we derive scaling relations linking the tidally-locked streamfunction and vertical velocities to instellation. Comparing our results to the only other GCM study of K2-18b, we find significant qualitative differences in dynamics, highlighting the need for further collaboration and investigation into effects of different dynamical cores and physical parameterizations. This paper provides a baseline for studying the dry dynamics of temperate sub-Neptunes, which will be built on in part II with the introduction of moist effects.


title: Network Anomaly Detection in Cars: A Case for Time-Sensitive Stream Filtering and Policing

abstract: Connected vehicles are threatened by cyber-attacks as in-vehicle networks technologically approach (mobile) LANs with several wireless interconnects to the outside world. Malware that infiltrates a car today faces potential victims of constrained, barely shielded Electronic Control Units (ECUs). Many ECUs perform critical driving functions, which stresses the need for hardening security and resilience of in-vehicle networks in a multifaceted way. Future vehicles will comprise Ethernet backbones that differentiate services via Time-Sensitive Networking (TSN). The well-known vehicular control flows will follow predefined schedules and TSN traffic classifications. In this paper, we exploit this traffic classification to build a network anomaly detection system. We show how filters and policies of TSN can identify misbehaving traffic and thereby serve as distributed guards on the data link layer. On this lowest possible layer, our approach derives a highly efficient network protection directly from TSN. We classify link layer anomalies and micro-benchmark the detection accuracy in each class. Based on a topology derived from a real-world car and its traffic definitions we evaluate the detection system in realistic macro-benchmarks based on recorded attack traces. Our results show that the detection accuracy depends on how exact the specifications of in-vehicle communication are configured. Most notably for a fully specified communication matrix, our anomaly detection remains free of false-positive alarms, which is a significant benefit for implementing automated countermeasures in future vehicles.


title: Quenching and Galaxy Demographics

abstract: The open-data revolution in astronomy is forcing the community to develop sophisticated analysis methods that heavily rely on realistic simulations. The phenomenology of the evolution of galaxy demographics can be described by a set of continuity equations invoking two quenching mechanisms: mass quenching and satellite quenching. The combination of these two mechanisms produces a double Schechter function for the quiescent population, as is observed in the low-redshift universe. In this paper we consider these quenching mechanisms, explicitly including satellite galaxies, and add the exact time evolution of the star-forming population. These new features complete the current versions of these continuity equations, and are essential for the realistic simulations required in modern extra-galactic astrophysics. We derive the analytical relation between the quiescent and the active populations, reducing considerably the parameter space for the simulation. In addition, we derive the analytical time dependence of the amplitude of the Schechter function. Finally, we validate our results against the SDSS DR7 galaxy sample. The model will be implemented in the SkyPy library and the main plots sonified using STRAUSS.


title: Developing and Validating Semi-Markov Occupancy Generative Models: A Technical Report

abstract: This report documents recent technical work on developing and validating stochastic occupancy models in commercial buildings, performed by the Pacific Northwest National Laboratory (PNNL) as part of the Sensor Impact Evaluation and Verification project under the U.S. Department of Energy (DOE) Building Technologies Office (BTO). In this report, we present our work on developing and validating inhomogeneous semi-Markov chain models for generating sequences of zone-level occupancy presence and occupancy counts in a commercial building. Real datasets are used to learn and validate the generative occupancy models. Relevant metrics such as normalized Jensen-Shannon distance (NJSD) are used to demonstrate the ability of the models to express realistic occupancy behavioral patterns.


title: Empirically Improved Tokuda Gap Sequence in Shellsort

abstract: Experiments are conducted to improve Tokuda (1992) gap sequence in Shellsort into $\gamma$-sequences, and the best result is the gap sequence in which the $k$-th increment $h_k$ is given by \begin{align} h_k=\left\lceil \frac{\gamma^k-1}{\gamma-1} \right\rceil \end{align} , where $\gamma=2.243609061420001...$ and $k\in\mathbb{N}_1$. The first few increments of the gap sequence are \begin{align} 1,\, 4,\, 9,\, 20,\, 45,\, 102,\, 230,\, 516,\,1158,\,2599,\,5831,\,13082,\,29351,\,65853,\, 147748,\,331490,\,743735,\, ...\end{align}It empirically yields less numbers of comparison on average than Tokuda (1992) gap sequence. In the procedure of search, it reveals the potential existence of a new type of fractal.


title: Searching for the BCS phase at nonzero isospin asymmetry

abstract: According to perturbation theory predictions, QCD matter in the zero-temperature, high-density limits of QCD at nonzero isospin chemical potential is expected to be in a superfluid Bardeen-Cooper-Schrieffer (BCS) phase of $u$ and $\bar{d}$ Cooper pairs. It is also expected, on symmetry grounds, that such phase connects via an analytical crossover to the phase with Bose-Einstein condensation (BEC) of charged pions at $\mu_\text{I}\geq m_\pi/2$. With lattice results, showing some indications that the deconfinement crossover also smoothly penetrates the BEC phase, the conjecture was made that the former connects continuously to the BEC-BCS crossover. We compute the spectrum of the Dirac operator, and use generalized Banks-Casher relations, to test this conjecture and identify signatures of the superfluid BCS phase.


title: Group Lasso merger for sparse prediction with high-dimensional categorical data

abstract: Sparse prediction with categorical data is challenging even for a moderate number of variables, because one parameter is roughly needed to encode one category or level. The Group Lasso is a well known efficient algorithm for selection continuous or categorical variables, but all estimates related to a selected factor usually differ, so a fitted model may not be sparse. To make the Group Lasso solution sparse, we propose to merge levels of the selected factor, if a difference between its corresponding estimates is less than some predetermined threshold. We prove that under weak conditions our algorithm, called GLAMER for Group LAsso MERger, recovers the true, sparse linear or logistic model even for the high-dimensional scenario, that is when a number of parameters is greater than a learning sample size. To our knowledge, selection consistency has been proven many times for different algorithms fitting sparse models with categorical variables, but our result is the first for the high-dimensional scenario. Numerical experiments show the satisfactory performance of the GLAMER.


abstract: Soft Actor-Critic (SAC) is one of the state-of-the-art off-policy reinforcement learning (RL) algorithms that is within the maximum entropy based RL framework. SAC is demonstrated to perform very well in a list of continous control tasks with good stability and robustness. SAC learns a stochastic Gaussian policy that can maximize a trade-off between total expected reward and the policy entropy. To update the policy, SAC minimizes the KL-Divergence between the current policy density and the soft value function density. Reparameterization trick is then used to obtain the approximate gradient of this divergence. In this paper, we propose Soft Actor-Critic with Cross-Entropy Policy Optimization (SAC-CEPO), which uses Cross-Entropy Method (CEM) to optimize the policy network of SAC. The initial idea is to use CEM to iteratively sample the closest distribution towards the soft value function density and uses the resultant distribution as a target to update the policy network. For the purpose of reducing the computational complexity, we also introduce a decoupled policy structure that decouples the Gaussian policy into one policy that learns the mean and one other policy that learns the deviation such that only the mean policy is trained by CEM. We show that this decoupled policy structure does converge to a optimal and we also demonstrate by experiments that SAC-CEPO achieves competitive performance against the original SAC.


title: Mechanical waves in myelinated axon wall

abstract: The propagation of an action potential is accompanied by mechanical and thermal effects. Several mathematical models explain the deformation of the unmyelinated axon wall. In this paper, the deformation of the myelinated axon wall is studied. The mathematical model is inspired by the mechanics of microstructured materials. The model involves the improved Heimburg-Jackson equation together with another equation of wave motion that describes the process in the myelin sheath. The dispersion analysis of such a model explains the behaviour of group and phase velocities. In addition, it is shown how dissipative effects may influence the process. Numerical calculations demonstrate the changes in velocities and wave profiles in the myelinated axon wall.


title: Before and after GDPR: tracking in mobile apps

abstract: Third-party tracking, the collection and sharing of behavioural data about individuals, is a significant and ubiquitous privacy threat in mobile apps. The EU General Data Protection Regulation (GDPR) was introduced in 2018 to protect personal data better, but there exists, thus far, limited empirical evidence about its efficacy. This paper studies tracking in nearly two million Android apps from before and after the introduction of the GDPR. Our analysis suggests that there has been limited change in the presence of third-party tracking in apps, and that the concentration of tracking capabilities among a few large gatekeeper companies persists. However, change might be imminent.


title: Toolset for Collecting Shell Commands and Its Application in Hands-on Cybersecurity Training

abstract: When learning cybersecurity, operating systems, or networking, students perform practical tasks using a broad range of command-line tools. Collecting and analyzing data about the command usage can reveal valuable insights into how students progress and where they make mistakes. However, few learning environments support recording and inspecting command-line inputs, and setting up an efficient infrastructure for this purpose is challenging. To aid engineering and computing educators, we share the design and implementation of an open-source toolset for logging commands that students execute on Linux machines. Compared to basic solutions, such as shell history files, the toolset's added value is threefold. 1) Its configuration is automated so that it can be easily used in classes on different topics. 2) It collects metadata about the command execution, such as a timestamp, hostname, and IP address. 3) Data are instantly forwarded to central storage in a unified, semi-structured format. This enables automated processing, both in real-time and post hoc, to enhance the instructors' understanding of student actions. The toolset works independently of the teaching content, the training network's topology, or the number of students working in parallel. We demonstrated the toolset's value in two learning environments at four training sessions. Over two semesters, 50 students played educational cybersecurity games using a Linux command-line interface. Each training session lasted approximately two hours, during which we recorded 4439 shell commands. The semi-automated data analysis revealed solution patterns, used tools, and misconceptions of students. Our insights from creating the toolset and applying it in teaching practice are relevant for instructors, researchers, and developers of learning environments. We provide the software and data resulting from this work so that others can use them.


title: Trying an IP Over NDN Packet Gateway

abstract: Even though the TCP/IP architecture has served the Internet quite satisfactorily during its more than forty years of lifespan, there are doubts about whether this host-centric paradigm is well suited for the communication patterns of modern applications. These applications mainly need to get information pieces without being bothered about where they are located in the network. Additionally, the lack of both in-built security mechanisms and proper global multicast support may also be a symptom of fundamental problems with the classic architecture. Proponents of the novel Information Centric Networking (ICN) paradigm assert that the replacement of the TCP/IP architecture with one based on the information itself could be the ideal solution to all these problems. However, if such a replacement ever takes place, it will need the help of some transition mechanisms, for instance, for the transmission of legacy IP traffic on top of the new ICN based networks. In this paper we design and optimize such an open source IP over ICN transition application using the Named Data Networking (NDN) proposal as our target ICN network. We performed several tests that confirm that our prototype is able to transparently transport IP traffic across a pure NDN network with negligible packets losses, low jitter, and good performance.


title: Generalization of the Maier-Saupe theory to the ferroelectric nematic phase

abstract: We present a generalization of the Maier-Saupe (MS) theory that incorporates the description of the ferroelectric nematic phase (NF) within its scope of application. The extension of the theory is carried out in a natural way, by adding to the nematic potential of MS a term proportional to cos{\theta} and to the polar order parameter <cos{\theta} >, where {\theta} is the angle between the long molecular axis and the spontaneous polarization. The NF phase can be reached by cooling from the isotropic phase with or without the formation of an intermediate normal nematic phase, depending on the relative intensity of the polar and nonpolar terms of the nematic potential. For both phase sequences all the transitions are first order. The temperature dependence of the polar and nonpolar order parameters is calculated, and some results derived from the theory are compared with the experimental observations. It is argued that the theory is a valuable first approximation to describe some of the properties of ferroelectric nematics.


title: GlobalMatch: Registration of Forest Terrestrial Point Clouds by Global Matching of Relative Stem Positions

abstract: Registering point clouds of forest environments is an essential prerequisite for LiDAR applications in precision forestry. State-of-the-art methods for forest point cloud registration require the extraction of individual tree attributes, and they have an efficiency bottleneck when dealing with point clouds of real-world forests with dense trees. We propose an automatic, robust, and efficient method for the registration of forest point clouds. Our approach first locates tree stems from raw point clouds and then matches the stems based on their relative spatial relationship to determine the registration transformation. The algorithm requires no extra individual tree attributes and has quadratic complexity to the number of trees in the environment, allowing it to align point clouds of large forest environments. Extensive experiments on forest terrestrial point clouds have revealed that our method inherits the effectiveness and robustness of the stem-based registration strategy while exceedingly increasing its efficiency. Besides, we introduce a new benchmark dataset that complements the very few existing open datasets for the development and evaluation of registration methods for forest point clouds. The source code of our method and the dataset are available at https://github.com/zexinyang/GlobalMatch.


title: Generating Chord Progression from Melody with Flexible Harmonic Rhythm and Controllable Harmonic Density

abstract: Melody harmonization, which involves generating a chord progression that complements a user-provided melody, continues to pose a significant challenge. A chord progression must not only be in harmony with the melody, but also interdependent on its rhythmic pattern. While previous neural network-based systems have been successful in producing chord progressions for given melodies, they have not adequately addressed controllable melody harmonization, nor have they focused on generating harmonic rhythms with flexibility in the rates or patterns of chord changes. This paper presents AutoHarmonizer, a novel system for harmonic density-controllable melody harmonization with such a flexible harmonic rhythm. AutoHarmonizer is equipped with an extensive vocabulary of 1,462 chord types and can generate chord progressions that vary in harmonic density for a given melody. Experimental results indicate that the AutoHarmonizer-generated chord progressions exhibit a diverse range of harmonic rhythms and that the system's controllable harmonic density is effective.


title: Diagonal unitary and orthogonal symmetries in quantum theory II: Evolution operators

abstract: We study bipartite unitary operators which stay invariant under the local actions of diagonal unitary and orthogonal groups. We investigate structural properties of these operators, arguing that the diagonal symmetry makes them suitable for analytical study. As a first application, we construct large new families of dual unitary gates in arbitrary finite dimensions, which are important toy models for entanglement spreading in quantum circuits. We then analyze the non-local nature of these invariant operators, both in discrete (operator Schmidt rank) and continuous (entangling power) settings. Our scrutiny reveals that these operators can be used to simulate any bipartite unitary gate via stochastic local operations and classical communication. Furthermore, we establish a one-to-one connection between the set of local diagonal unitary invariant dual unitary operators with maximum entangling power and the set of complex Hadamard matrices. Finally, we discuss distinguishability of unitary operators in the setting of the stated diagonal symmetry.


title: Learning Human Motion Prediction via Stochastic Differential Equations

abstract: Human motion understanding and prediction is an integral aspect in our pursuit of machine intelligence and human-machine interaction systems. Current methods typically pursue a kinematics modeling approach, relying heavily upon prior anatomical knowledge and constraints. However, such an approach is hard to generalize to different skeletal model representations, and also tends to be inadequate in accounting for the dynamic range and complexity of motion, thus hindering predictive accuracy. In this work, we propose a novel approach in modeling the motion prediction problem based on stochastic differential equations and path integrals. The motion profile of each skeletal joint is formulated as a basic stochastic variable and modeled with the Langevin equation. We develop a strategy of employing GANs to simulate path integrals that amounts to optimizing over possible future paths. We conduct experiments in two large benchmark datasets, Human 3.6M and CMU MoCap. It is highlighted that our approach achieves a 12.48% accuracy improvement over current state-of-the-art methods in average.


title: Search for resonant production of strongly coupled dark matter in proton-proton collisions at 13 TeV

abstract: The first collider search for dark matter arising from a strongly coupled hidden sector is presented and uses a data sample corresponding to 138 fb$^{-1}$, collected with the CMS detector at the CERN LHC, at $\sqrt{s} =$ 13 TeV. The hidden sector is hypothesized to couple to the standard model (SM) via a heavy leptophobic Z' mediator produced as a resonance in proton-proton collisions. The mediator decay results in two "semivisible" jets, containing both visible matter and invisible dark matter. The final state therefore includes moderate missing energy aligned with one of the jets, a signature ignored by most dark matter searches. No structure in the dijet transverse mass spectra compatible with the signal is observed. Assuming the Z' has a universal coupling of 0.25 to the SM quarks, an inclusive search, relevant to any model that exhibits this kinematic behavior, excludes mediator masses of 1.5-4.0 TeV at 95% confidence level, depending on the other signal model parameters. To enhance the sensitivity of the search for this particular class of hidden sector models, a boosted decision tree (BDT) is trained using jet substructure variables to distinguish between semivisible jets and SM jets from background processes. When the BDT is employed to identify each jet in the dijet system as semivisible, the mediator mass exclusion increases to 5.1 TeV, for wider ranges of the other signal model parameters. These limits exclude a wide range of strongly coupled hidden sector models for the first time.


title: One-shot Learning of Surrogates in PDE-constrained Optimization Under Uncertainty

abstract: We propose a general framework for machine learning based optimization under uncertainty. Our approach replaces the complex forward model by a surrogate, which is learned simultaneously in a one-shot sense when solving the optimal control problem. Our approach relies on a reformulation of the problem as a penalized empirical risk minimization problem for which we provide a consistency analysis in terms of large data and increasing penalty parameter. To solve the resulting problem, we suggest a stochastic gradient method with adaptive control of the penalty parameter and prove convergence under suitable assumptions on the surrogate model. Numerical experiments illustrate the results for linear and nonlinear surrogate models.


title: Optimal Gap Sequences in Shellsort for $n\leq16$ Elements

abstract: Optimal gap sequences in Shellsort, defined as gap sequences having the minimised maximum number of comparisons for a fixed number of pairwise distinct elements, are found by minimax search in reduced permutational spaces, namely Bad $(s,1)$-sorted permutations. Exact optimal gap sequences in Shellsort for $n\leq16$ pairwise distinct elements are established, and the best known gap sequences for $17\leq n\leq 30$ are listed with conjectures made. It notably discovers some optimal gap sequences consist of increments larger than the half of the total number of the elements to sort.


title: Time-dependent optical force theory for optomechanics of dispersive 3D photonic materials and devices

abstract: We present a position- and time-dependent optical force theory for optomechanics of dispersive 3D photonic materials and devices. The theory applies to media including material interfaces, waveguides, and general photonic crystal structures. The theory enables calculation of the dynamical state of the coupled field-material system and the interference of this state with other excitations of the material, such as surface acoustic waves or phonons. As an example, we present computer simulations of energy and momentum flows through a silicon crystal with anti-reflective structured interfaces. Using commercially available simulation tools, the theory can be applied to analyze optical forces in complex photonic materials and devices.


title: Justification for the use of Markovian Langevin statistics in the modelling of activated surface diffusion

abstract: Low temperature surface diffusion is driven by the thermally activated hopping of adatoms between adsorption sites. Helium spin-echo techniques, capable of measuring the sub-picosecond motion of individual adatoms, have enabled the bench-marking of many important adsorbate-substrate properties. The well-known Markovian Langevin equation has emerged as the standard tool for the interpretation of such experimental data, replacing adatom-substrate interactions with stochastic white noise and linear friction. However, the consequences of ignoring the colored noise spectrum and non-linearities inherent to surface systems are not known. Through the computational study of three alternative models of adatom motion, we show that the hopping rate and jump distributions of an adatom are fixed to within a few percent by the potential energy surface and a new generalized energy exchange rate parameter alone, independent of the model used. This result justifies the use of the Markovian Langevin equation, regardless of the true statistical nature of adatom forces, provided results are quoted in terms of the new energy exchange rate parameter. Moreover, numerous mechanisms for the effect of noise correlations and non-linear friction on the energy exchange rate are proposed which likely contribute to activated surface diffusion and activated processes more generally.


title: The Fluorescence Telescope on board EUSO-SPB2 for the detection of Ultra High Energy Cosmic Rays

abstract: The Fluorescence Telescope is one of the two telescopes on board the Extreme Universe Space Observatory on a Super Pressure Balloon II (EUSO-SPB2). EUSO-SPB2 is an ultra-long-duration balloon mission that aims at the detection of Ultra High Energy Cosmic Rays (UHECR) via the fluorescence technique (using a Fluorescence Telescope) and of Ultra High Energy (UHE) neutrinos via Cherenkov emission (using a Cherenkov Telescope). The mission is planned to fly in 2023 and is a precursor of the Probe of Extreme Multi-Messenger Astrophysics (POEMMA). The Fluorescence Telescope is a second generation instrument preceded by the telescopes flown on the EUSO-Balloon and EUSO-SPB1 missions. It features Schmidt optics and has a 1-meter diameter aperture. The focal surface of the telescope is equipped with a 6912-pixel Multi Anode Photo Multipliers (MAPMT) camera covering a 37.4 x 11.4 degree Field of Regard. Such a big Field of Regard, together with a flight target duration of up to 100 days, would allow, for the first time from suborbital altitudes, detection of UHECR fluorescence tracks. This contribution will provide an overview of the instrument including the current status of the telescope development.


title: Omnisolver: an extensible interface to Ising spin glass solvers

abstract: We introduce a new framework for implementing Binary Quadratic Model (BQM) solvers called Omnisolver. The framework provides an out-of-the-box dynamically built command-line interface as well as an input/output system, thus heavily reducing the effort required for implementing new algorithms for solving BQMs. The proposed software should be of benefit for researchers focusing on quantum annealers or discrete optimization algorithms as well as groups utilizing discrete optimization as a part of their daily work. We demonstrate the ease of use of the proposed software by presenting a step-by-step, concise implementation of an example plugin.


title: Applications of Swan's Bertini to unimodular rows

abstract: Let $R$ be an affine algebra of dimension $d\geq 4$ over a perfect field $k$ of char $\neq 2$ and $I$ be an ideal of $R$. Then - Um$_{d+1}(R,I)/{\rm E}_{d+1}(R,I)$ has nice group structure if $c.d._2(k)\leq 2$. - Um$_d(R,I)/{\rm E}_d(R,I)$ has nice group structure if $k$ is algebraically closed of char $k\neq 2,3$ and either (i) $k = \overline{\mathbb{F}}_{p}$ or (ii) $R$ is normal. - $MS_{d+1}(R)$ is uniquely divisible prime to characteristic of $k$ if $R$ is reduced and $k$ is infinite with $c.d.(k)\leq 1$.


title: Cloud Sphere: A 3D Shape Representation via Progressive Deformation

abstract: In the area of 3D shape analysis, the geometric properties of a shape have long been studied. Instead of directly extracting representative features using expert-designed descriptors or end-to-end deep neural networks, this paper is dedicated to discovering distinctive information from the shape formation process. Concretely, a spherical point cloud served as the template is progressively deformed to fit the target shape in a coarse-to-fine manner. During the shape formation process, several checkpoints are inserted to facilitate recording and investigating the intermediate stages. For each stage, the offset field is evaluated as a stage-aware description. The summation of the offsets throughout the shape formation process can completely define the target shape in terms of geometry. In this perspective, one can derive the point-wise shape correspondence from the template inexpensively, which benefits various graphic applications. In this paper, the Progressive Deformation-based Auto-Encoder (PDAE) is proposed to learn the stage-aware description through a coarse-to-fine shape fitting task. Experimental results show that the proposed PDAE has the ability to reconstruct 3D shapes with high fidelity, and consistent topology is preserved in the multi-stage deformation process. Additional applications based on the stage-aware description are performed, demonstrating its universality.


title: FedPOIRec: Privacy Preserving Federated POI Recommendation with Social Influence

abstract: With the growing number of Location-Based Social Networks, privacy preserving location prediction has become a primary task for helping users discover new points-of-interest (POIs). Traditional systems consider a centralized approach that requires the transmission and collection of users' private data. In this work, we present FedPOIRec, a privacy preserving federated learning approach enhanced with features from users' social circles for top-$N$ POI recommendations. First, the FedPOIRec framework is built on the principle that local data never leave the owner's device, while the local updates are blindly aggregated by a parameter server. Second, the local recommenders get personalized by allowing users to exchange their learned parameters, enabling knowledge transfer among friends. To this end, we propose a privacy preserving protocol for integrating the preferences of a user's friends after the federated computation, by exploiting the properties of the CKKS fully homomorphic encryption scheme. To evaluate FedPOIRec, we apply our approach into five real-world datasets using two recommendation models. Extensive experiments demonstrate that FedPOIRec achieves comparable recommendation quality to centralized approaches, while the social integration protocol incurs low computation and communication overhead on the user side.


title: On a conjecture of J. Shallit about Ap\'ery-like numbers

abstract: Put $a(n)=\sum\limits_{k=0}^{n}\binom{n}{k}\binom{n+k}{k}$, and $b(n)=v_{3}(a(n))$, for all integers $n\geqslant 0$, where $v_{3}$ is the $3$-adic valuation. In this work, we shall confirm a formula about $b(n)$, conjectured by J. Shallit in 2000. As application, we show that the sequence $(b(n))_{n\geqslant 0}$ is $3$-regular.


title: Adversarial Gradient Driven Exploration for Deep Click-Through Rate Prediction

abstract: Exploration-Exploitation (E{\&}E) algorithms are commonly adopted to deal with the feedback-loop issue in large-scale online recommender systems. Most of existing studies believe that high uncertainty can be a good indicator of potential reward, and thus primarily focus on the estimation of model uncertainty. We argue that such an approach overlooks the subsequent effect of exploration on model training. From the perspective of online learning, the adoption of an exploration strategy would also affect the collecting of training data, which further influences model learning. To understand the interaction between exploration and training, we design a Pseudo-Exploration module that simulates the model updating process after a certain item is explored and the corresponding feedback is received. We further show that such a process is equivalent to adding an adversarial perturbation to the model input, and thereby name our proposed approach as an the Adversarial Gradient Driven Exploration (AGE). For production deployment, we propose a dynamic gating unit to pre-determine the utility of an exploration. This enables us to utilize the limited amount of resources for exploration, and avoid wasting pageview resources on ineffective exploration. The effectiveness of AGE was firstly examined through an extensive number of ablation studies on an academic dataset. Meanwhile, AGE has also been deployed to one of the world-leading display advertising platforms, and we observe significant improvements on various top-line evaluation metrics.


title: An intersection-theoretic proof of the Harer-Zagier formula

abstract: We provide an intersection-theoretic formula for the Euler characteristic of the moduli space of smooth curves. This formula reads purely in terms of Hodge integrals and, as a corollary, the standard calculus of tautological classes gives a new short proof of the Harer-Zagier formula. Our result is based on the Gauss-Bonnet formula, and on the observation that a certain parametrisation of the $\Omega$-class - the Chern class of the universal $r$-th root of the twisted log canonical bundle - provides the Chern class of the log tangent bundle to the moduli space of smooth curves. Being $\Omega$-classes by now employed in many enumerative problems, mostly recently found and at times surprisingly different from each other, we dedicate some work to produce an extensive list of their general properties: extending existing ones, finding new ones, and writing down some only known to the experts.


title: NAJADS: a self-contained framework for the direct determination of astrophysical J-factors

abstract: Cosmological simulations play a pivotal role in understanding the properties of the dark matter (DM) distribution in both galactic and galaxy-cluster environments. The characterization of DM structures is crucial for informing indirect DM searches, aiming at the detection of the annihilation (or decay) products of DM particles. A fundamental quantity in these analyses is the astrophysical J-factor. In the DM phenomenology community, J-factors are typically computed through the semi-analytical modelling of the DM mass distribution, which is affected by large uncertainties. With the scope of addressing and possibly reducing these uncertainties, we present NAJADS, a self-contained framework to derive the DM J-factor directly from the raw simulations data. We show how this framework can be used to compute all-sky maps of the J-factor, automatically accounting for the complex 3D structure of the simulated halos and for the boosting of the signal due to the density fluctuations along the line of sight. After validating our code, we present a proof-of-concept application of NAJADS to a realistic halo from the IllustrisTNG suite, and exploit it to make a thorough comparison between our numerical approach and traditional semi-analytical methods.


title: Volume-shear coupling in a mesoscopic model of amorphous materials

abstract: We present a two-dimensional mesoscopic model of a yield stress material that includes the possibility of local volume fluctuations coupled to shear, in such a way that the shear strength of the material decreases as the local density decreases. The model reproduces a number of effects well known in the phenomenology of this kind of materials. Particularly, we find that: the volume of the sample increases as the deformation rate increases; shear bands are no longer oriented at 45 $^\circ$ with respect to the principal axis of the applied stress (as in the absence of volume-shear coupling); homogeneous deformation becomes unstable at low enough deformation rates if volume-shear coupling is strong enough. We also analyze the implications of this coupling in the context of out of equilibrium shear bands appearing for instance in metallic glasses.


title: Non-perturbative renormalisation with interpolating momentum schemes

abstract: Hadronic matrix elements evaluated on the lattice can be converted to a continuum scheme such as $\MSbar$ using intermediate non-perturbative renormalisation schemes. Discretisation effects on the lattice and convergence of the continuum perturbation theory are both scheme dependent and we explore this dependence in the framework of the Rome-Southampton method for generalised kinematics. In particular, we implement several non-exceptional {\em interpolating} momentum schemes, where the momentum transfer is {\em not} restricted to the symmetric point defined in RI/SMOM. Using flavour non-singlet quark bilinears, we compute the renormalisation factors of the quark mass and wave function for $N_f=3$ flavours of dynamical quarks. We investigate the perturbative and non-perturbative scale-dependencies. Our numerical results are obtained from lattice simulations performed with Domain-Wall fermions, based on ensembles generated by RBC-UKQCD collaborations; we use two different lattice spacings $1/a \sim 1.79 $ and $2.38$ GeV. We also give the numerical values for the relevant anomalous dimensions and matching coefficients at next-to-next-to-leading order.


title: SPDE bridges with observation noise and their spatial approximation

abstract: This paper introduces SPDE bridges with observation noise and contains an analysis of their spatially semidiscrete approximations. The SPDEs are considered in the form of mild solutions in an abstract Hilbert space framework suitable for parabolic equations. They are assumed to be linear with additive noise in the form of a cylindrical Wiener process. The observational noise is also cylindrical and SPDE bridges are formulated via conditional distributions of Gaussian random variables in Hilbert spaces. A general framework for the spatial discretization of these bridge processes is introduced. Explicit convergence rates are derived for a spectral and a finite element based method. It is shown that for sufficiently rough observation noise, the rates are essentially the same as those of the corresponding discretization of the original SPDE.


title: Self-Supervised Learning based Monaural Speech Enhancement with Complex-Cycle-Consistent

abstract: Recently, self-supervised learning (SSL) techniques have been introduced to solve the monaural speech enhancement problem. Due to the lack of using clean phase information, the enhancement performance is limited in most SSL methods. Therefore, in this paper, we propose a phase-aware self-supervised learning based monaural speech enhancement method. The latent representations of both amplitude and phase are studied in two decoders of the foundation autoencoder (FAE) with only a limited set of clean speech signals independently. Then, the downstream autoencoder (DAE) learns a shared latent space between the clean speech and mixture representations with a large number of unseen mixtures. A complex-cycle-consistent (CCC) mechanism is proposed to minimize the reconstruction loss between the amplitude and phase domains. Besides, it is noticed that if the speech features are extracted as the multi-resolution spectra, the desired information distributed in spectra of different scales can be studied to further boost the performance. The NOISEX and DAPS corpora are used to generate mixtures with different interferences to evaluate the efficacy of the proposed method. It is highlighted that the clean speech and mixtures fed in FAE and DAE are not paired. Both ablation and comparison experimental results show that the proposed method clearly outperforms the state-of-the-art approaches.


title: Global boundedness and Allee effect for a nonlocal time fractional reaction-diffusion equation

abstract: The global boundedness and asymptotic behavior are investigated for the solutions of a nonlocal time fractional reaction-diffusion equation (NTFRDE) $$ \frac{\partial^{\alpha }u}{\partial t^{\alpha }}=\Delta u+\mu u^{2}(1-kJ*u)-\gamma u, \qquad(x,t)\in\mathbb{R}^{N}\times(0,+\infty)$$ with $0<\alpha <1,\beta, \mu ,k>0,N\leq 2$ and $u(x,0)=u_{0}(x)$. Under appropriate assumptions on $J$ and the property of time fractional derivative, it is proved that for any nonnegative and bounded initial conditions, the problem has a global bounded classical solution if $k^{*}=0$ for $N=1$ or $k^{*}=(\mu C^{2}_{GN}+1)\eta^{-1}$ for $N=2$, where $C_{GN}$ is the constant in Gagliardo-Nirenberg inequality. With further assumptions on the initial datum, for small $\mu$ values, the solution is shown to converge to $0$ exponentially or locally uniformly as $t \rightarrow \infty$, which is referred as the Allee effect in sense of Caputo derivative. Moreover, under the condition of $J \equiv 1$, it is proved that the nonlinear NTFRDE has a global bounded solution in any dimensional space with the nonlinear diffusion terms $\Delta u^{m}\, (2-\frac{2}{N}< m\leq 3)$.


title: Generalized Tur\'an problems for double stars

abstract: We study the generalized Tur\'an function $ex(n,H,F)$, when $H$ or $F$ is a double star $S_{a,b}$, which is a tree with a central edge $uv$, $a$ leaves connected to $u$ and $b$ leaves connected to $v$. We determine $ex(n,K_k,S_{a,b})$ and $ex(n,S_{a,b},F)$ for sufficiently large $n$, where $F$ is either a 3-chromatic graph with an edge whose deletion results in a bipartite graph, or the 2-fan, i.e. two triangles sharing a vertex. We also give bounds on $ex(n,S_{a,b},S_{c,d})$.


title: Fibre optics

abstract: Lenses, optics and dependent lenses (or equivalently morphisms of containers, or equivalently natural transformations of polynomial functors) are all widely used in applied category theory as models of bidirectional processes. From the definition of lenses over a finite product category, optics weaken the required structure to actions of monoidal categories, and dependent lenses make use of the additional property of finite completeness (or, in case of polynomials, even local cartesian closure). This has caused a split in the applied category theory literature between those using optics and those using dependent lenses. The goal of this paper is to unify optics with dependent lenses, by finding a definition of fibre optics admitting both as special cases.


title: New deuterated species in TMC-1: Detection of CH2DC4H with the QUIJOTE line survey

abstract: We report the first detection in space of the single deuterated isotopologue of methyldiacetylene, CH2DC4H. A total of 12 rotational transitions, with J = 8-12 and Ka = 0 and 1, were identified for this species in TMC-1 in the 31.0-50.4 GHz range using the Yebes 40m radio telescope. The observed frequencies allowed us to obtain, for the first time, the spectroscopic parameters of this deuterated isotopologue. We derived a column density of (5.5+/-0.2)e11 cm-2. The abundance ratio between CH3C4H and CH2DC4H is 24+/-2. This ratio is similar to that found for the CH3C3N/CH2DC3N analogue system, which is 22+/-2.We did not detect the deuterated species CH3C4D, which has already been observed in laboratory experiments. The detection of deuterated CH3C4H allows us to extend the discussion on the chemical mechanisms of deuterium fractionation at work in TMC-1 using a new gas-phase chemical model with multiply deuterated molecules. Introducing a possible deuterium exchange reaction between CH3CCH and atomic deuterium allows us to account for the CH3C4H/CH2DC4H abundance ratio.


title: Dynamics of the quantum coherence under the concatenation of Yang-Baxter matrix

abstract: The non-increasing behavior of quantum coherence during any incoherent quantum process such as an incoherent quantum channel occurring in a noisy environment is a general property of quantum coherence. We address that the concatenation of the quantum Yang-Baxter matrix, which models a unitary quantum channel, can mitigate these losses by offering relative improvements in the coherence for different initial states prepared by two different strategies. By appropriate choice of the parameters, even after the action of the channel the coherence is maximized such that the reduced state of the output is maximally coherent. These make it possible to create maximal coherence in realizing any quantum information task in a noisy environment.


title: Schurian-finiteness of blocks of type $A$ Hecke algebras

abstract: For any algebra $A$ over an algebraically closed field $\mathbb{F}$, we say that an $A$-module $M$ is Schurian if $\mathrm{End}_A(M) \cong \mathbb{F}$. We say that $A$ is Schurian-finite if there are only finitely many isomorphism classes of Schurian $A$-modules, and Schurian-infinite otherwise. By work of Demonet, Iyama and Jasso it is known that Schurian-finiteness is equivalent to $\tau$-tilting-finiteness, so that we may draw on a wealth of known results in the subject. We prove that for the type $A$ Hecke algebras with quantum characteristic $e\geq 3$, all blocks of weight at least $2$ are Schurian-infinite in any characteristic. Weight $0$ and $1$ blocks are known by results of Erdmann and Nakano to be representation finite, and are therefore Schurian-finite. This means that blocks of type $A$ Hecke algebras (when $e\geq 3$) are Schurian-infinite if and only if they have wild representation type if and only if the module category has finitely many wide subcategories. Along the way, we also prove a graded version of the Scopes equivalence, which is likely to be of independent interest.


title: On positive Lyapunov exponents along $E^{cu}$ and non-uniformly expanding for partially hyperbolic systems

abstract: In this paper we consider $C^{1}$ diffeomorphisms on compact Riemannian manifolds of any dimension that admit a dominated splitting $E^{cs} \oplus E^{cu}.$ We prove that if the Lyapunov exponents along $E^{cu}$ are positive for Lebesgue almost every point, then a map $f$ is non-uniformly expanding along $E^{cu}$ under the assumption that the cocycle $Df_{|E^{cu}(f)}^{-1}$ has a dominated splitting with index 1 on the support of an ergodic Lyapunov maximizing observable measure. As a result, there exists a physical SRB measure for a $C^{1+\alpha}$ diffeomorphism map $f$ that admits a dominated splitting $E^{s} \oplus E^{cu}$ under assumptions that $f$ has non-zero Lyapunov exponents for Lebesgue almost every point and that the cocycle $Df_{|E^{cu}(f)}^{-1}$ has a dominated splitting with index 1 on the support of an ergodic Lyapunov maximizing observable measure.


title: BV solutions for mean curvature flow with constant contact angle: Allen-Cahn approximation and weak-strong uniqueness

abstract: We study weak solutions to mean curvature flow satisfying Young's angle condition for general contact angles $\alpha \in (0,\pi)$. First, we construct BV solutions using the Allen-Cahn approximation with boundary contact energy as proposed by Owen and Sternberg. Second, we prove the weak-strong uniqueness and stability for this solution concept. The main ingredient for both results is a relative energy, which can also be interpreted as a tilt excess.


title: Efficient Classical Computation of Quantum Mean Values for Shallow QAOA Circuits

abstract: The Quantum Approximate Optimization Algorithm (QAOA), which is a variational quantum algorithm, aims to give sub-optimal solutions of combinatorial optimization problems. It is widely believed that QAOA has the potential to demonstrate application-level quantum advantages in the noisy intermediate-scale quantum(NISQ) processors with shallow circuit depth. Since the core of QAOA is the computation of expectation values of the problem Hamiltonian, an important practical question is whether we can find an efficient classical algorithm to solve quantum mean value in the case of general shallow quantum circuits. Here, we present a novel graph decomposition based classical algorithm that scales linearly with the number of qubits for the shallow QAOA circuits in most optimization problems except for complete graph case. Numerical tests in Max-cut, graph coloring and Sherrington-Kirkpatrick model problems, compared to the state-of-the-art method, shows orders of magnitude performance improvement. Our results are not only important for the exploration of quantum advantages with QAOA, but also useful for the benchmarking of NISQ processors.


title: On the maximality of hyperelliptic Howe curves of genus 3

abstract: In this paper, we study a Howe curve $C$ in positive characteristic $p \geq 3$ which is of genus 3 and is hyperelliptic. We will show that if $C$ is superspecial, then its standard form is maximal or minimal over $\mathbb{F}_{p^2}$ without taking its $\mathbb{F}_{p^2}$-form.


title: PONet: Robust 3D Human Pose Estimation via Learning Orientations Only

abstract: Conventional 3D human pose estimation relies on first detecting 2D body keypoints and then solving the 2D to 3D correspondence problem.Despite the promising results, this learning paradigm is highly dependent on the quality of the 2D keypoint detector, which is inevitably fragile to occlusions and out-of-image absences.In this paper,we propose a novel Pose Orientation Net (PONet) that is able to robustly estimate 3D pose by learning orientations only, hence bypassing the error-prone keypoint detector in the absence of image evidence. For images with partially invisible limbs, PONet estimates the 3D orientation of these limbs by taking advantage of the local image evidence to recover the 3D pose.Moreover, PONet is competent to infer full 3D poses even from images with completely invisible limbs, by exploiting the orientation correlation between visible limbs to complement the estimated poses,further improving the robustness of 3D pose estimation.We evaluate our method on multiple datasets, including Human3.6M, MPII, MPI-INF-3DHP, and 3DPW. Our method achieves results on par with state-of-the-art techniques in ideal settings, yet significantly eliminates the dependency on keypoint detectors and the corresponding computation burden. In highly challenging scenarios, such as truncation and erasing, our method performs very robustly and yields much superior results as compared to state of the art,demonstrating its potential for real-world applications.


title: Weak-strong uniqueness for the Navier-Stokes equation for two fluids with ninety degree contact angle and same viscosities

abstract: We consider the flow of two viscous and incompressible fluids within a bounded domain modeled by means of a two-phase Navier-Stokes system. The two fluids are assumed to be immiscible, meaning that they are separated by an interface. With respect to the motion of the interface, we consider pure transport by the fluid flow. Along the boundary of the domain, a complete slip boundary condition for the fluid velocities and a constant ninety degree contact angle condition for the interface are assumed. The main result of the present work establishes in 2D a weak-strong uniqueness result in terms of a varifold solution concept \`a la Abels (Interfaces Free Bound. 9, 2007). The proof is based on a relative entropy argument. More precisely, we extend ideas from the recent work of Fischer and the first author (Arch. Ration. Mech. Anal. 236, 2020) to incorporate the contact angle condition. To focus on the effects of the necessarily singular geometry, we work for simplicity in the regime of same viscosities for the two fluids.


title: AmPyfier: Test Amplification in Python

abstract: Test Amplification is a method to extend handwritten tests into a more rigorous test suite covering corner cases in the system under test. Unfortunately, the current state-of-the-art for test amplification heavily relies on program analysis techniques which benefit a lot from explicit type declarations present in statically typed languages like Java and C++. In dynamically typed languages, such type declarations are not available and as a consequence test amplification has yet to find its way to programming languages like Python, Ruby and Javascript. In this paper, we present AmPyfier, a proof-of-concept tool, which brings test amplification to the dynamically typed, interpreted language Python. We evaluated this approach on 7 open-source projects, and found that AmPyfier could successfully strengthen 7 out of 10 test classes (70%). As such we demonstrate that test amplification is feasible for one of the most popular programming languages in use today.


title: Unidirectional absorption, storage, and emission of single photons in a collectively responding bilayer atomic array

abstract: Two-dimensional regular arrays of atoms are a promising platform for quantum networks, with collective subradiant states providing long-lived storage and collimated emission allowing for natural coherent links between arrays in free space. However, a single-layer lattice can only efficiently absorb or emit light symmetrically in the forward and backward directions. Here we show how a bilayer lattice can absorb a single photon either incident from a single direction or an arbitrary superposition of forward and backward propagating components. The excitation can be stored in a subradiant state, transferred coherently between different subradiant states, and released, again in an arbitrary combination of highly collimated forward and backward propagating components. We explain the directionality of single and bilayer arrays by a symmetry analysis based on the scattering parities of different multipole radiation components of collective excitations. The collective modes may exhibit the conventional half-wave loss of fields near the array interface or completely eliminate it. The proposed directional control of absorption and emission paves the way for effective one-dimensional quantum communication between multiple arrays, with single-photons propagating backward and forward between quantum information-processing and storage stages.

categories: physics.atom-ph cond-mat.quant-gas physics.optics quant-ph


title: Integral representations of shallow neural network with Rectified Power Unit activation function

abstract: In this effort, we derive a formula for the integral representation of a shallow neural network with the Rectified Power Unit activation function. Mainly, our first result deals with the univariate case of representation capability of RePU shallow networks. The multidimensional result in this paper characterizes the set of functions that can be represented with bounded norm and possibly unbounded width.


title: The morphology of the ejecta of SN 1987A at 31 years from 1150 to 10000 {\AA}

abstract: We present spectroscopy of the ejecta of SN 1987A in 2017 and 2018 from the Hubble Space Telescope and the Very Large Telescope, covering the wavelength range between $1150$ and $10000$ {\AA}. At 31 years, this is the first epoch with coverage over the ultraviolet-to-near-infrared range since 1995. We create velocity maps of the ejecta in the H$\alpha$, Mg II $\lambda\lambda2796,2804$ and [O I] $\lambda\lambda6302,6366$ (vacuum) emission lines and study their morphology. All three lines have a similar morphology, but Mg II is blueshifted by $\sim$1000 km s$^{-1}$ relative to the others and stronger in the northwest. We also study the evolution of the line fluxes, finding a brightening by a factor of $\sim$9 since 1999 in Mg II, while the other line fluxes are similar in 1999 and 2018. We discuss implications for the power sources of emission lines at late times: thermal excitation due to heating by the X-rays from the ejecta-ring interaction is found to dominate the ultraviolet Mg II lines, while the infrared Mg II doublet is powered mainly by Ly$\alpha$ fluorescence. The X-ray deposition is calculated based on merger models of SN 1987A. Far-ultraviolet emission lines of H$_2$ are not detected. Finally, we examine the combined spectrum of recently-discovered hotspots outside the equatorial ring. Their unresolved Balmer emission lines close to zero velocity are consistent with the interaction of fast ejecta and a clumpy, slowly moving outflow. A clump of emission in this spectrum, south of the equatorial ring at $\sim$1500 km s$^{-1}$, is likely associated with the reverse shock.


title: Equation of state and neutrino transfer in supernovae and neutron stars

abstract: We overview the progress of the tables of the equation of state for astrophysical simulations and the numerical methods of neutrino transfer. Hot and dense matter play essential roles in core-collapse supernovae and neutron stars. Equation of state determines the structure of compact objects and their dynamics through its behavior of thermodynamic quantities. In addition, neutrinos are trapped in supernova cores and neutron star mergers and frequently interact with matter to crucially affect dynamics in determining the explosion mechanism and the final form of compact objects. Therefore, it is essential to implement detailed processes of nuclear and neutrino physics in numerical simulations by having reliable data set of the equation of state and reaction rates. We show examples of developments of the equation of state and the neutrino transfer and discuss research directions toward understanding the explosive phenomena by the first principle calculation.


title: Large-time behavior of solutions of parabolic equations on the real line with convergent initial data III:unstable limit at infinity

abstract: This is a continuation, and conclusion, of our study of bounded solutions $u$ of the semilinear parabolic equation $u_t=u_{xx}+f(u)$ on the real line whose initial data $u_0=u(\cdot,0)$ have finite limits $\theta^\pm$ as $x\to\pm\infty$. We assume that $f$ is a locally Lipschitz function on $\mathbb{R}$ satisfying minor nondegeneracy conditions. Our goal is to describe the asymptotic behavior of $u(x,t)$ as $t\to\infty$. In the first two parts of this series we mainly considered the cases where either $\theta^-\neq \theta^+$; or $\theta^\pm=\theta_0$ and $f(\theta_0)\ne0$; or else $\theta^\pm=\theta_0$, $f(\theta_0)=0$, and $\theta_0$ is a stable equilibrium of the equation $\dot \xi=f(\xi)$. In all these cases we proved that the corresponding solution $u$ is quasiconvergent -- if bounded -- which is to say that all limit profiles of $u(\cdot,t)$ as $t\to\infty$ are steady states. The limit profiles, or accumulation points, are taken in $L^\infty_{loc}(\mathbb{R})$. In the present paper, we take on the case that $\theta^\pm=\theta_0$, $f(\theta_0)=0$, and $\theta_0$ is an unstable equilibrium of the equation $\dot \xi=f(\xi)$. Our earlier quasiconvergence theorem in this case involved some restrictive technical conditions on the solution, which we now remove. Our sole condition on $u(\cdot,t)$ is that it is nonoscillatory (has only finitely many critical points) at some $t\geq 0$. Since it is known that oscillatory bounded solutions are not always quasiconvergent, our result is nearly optimal.


title: Manifold learning via quantum dynamics

abstract: We introduce an algorithm for computing geodesics on sampled manifolds that relies on simulation of quantum dynamics on a graph embedding of the sampled data. Our approach exploits classic results in semiclassical analysis and the quantum-classical correspondence, and forms a basis for techniques to learn the manifold from which a dataset is sampled, and subsequently for nonlinear dimensionality reduction of high-dimensional datasets. We illustrate the new algorithm with data sampled from model manifolds and also by a clustering demonstration based on COVID-19 mobility data. Finally, our method reveals interesting connections between the discretization provided by data sampling and quantization.


title: Submarine paradox softened

abstract: In Supplee's submarine paradox, a naive argument based on Lorentz contraction leads to a contradiction that a fast submarine should sink in the water's reference frame but float in the submarine's reference frame. Due to the submarine's rigidity constraints, it is not easy to resolve the paradox in a manifestly covariant form. To simplify the problem, we consider a version of the paradox in which one fluid moves through another fluid. An analysis of ideal relativistic fluids in a weak gravitational field shows that the moving fluid has a larger pressure and hence sinks, in agreement with known results for the rigid submarine.


title: A bound on energy dependence of chaos

abstract: We conjecture a chaos energy bound, an upper bound on the energy dependence of the Lyapunov exponent for any classical/quantum Hamiltonian mechanics and field theories. The conjecture states that the Lyapunov exponent $\lambda(E)$ grows no faster than linearly in the total energy $E$ in the high energy limit. In other words, the exponent $c$ in $\lambda(E) \propto E^c \,(E\to\infty)$ satisfies $c\leq 1$. This chaos energy bound stems from thermodynamic consistency of out-of-time-order correlators (OTOC's) and applies to any classical/quantum system with finite $N$ / large $N$ ($N$ is the number of degrees of freedom) under plausible physical conditions on the Hamiltonians. To the best of our knowledge the chaos energy bound is satisfied by any classically chaotic Hamiltonian system known, and is consistent with the cerebrated chaos bound by Maldacena, Shenker and Stanford which is for quantum cases at large $N$. We provide arguments supporting the conjecture for generic classically chaotic billiards and multi-particle systems. The existence of the chaos energy bound may put a fundamental constraint on physical systems and the universe.

categories: hep-th cond-mat.stat-mech nlin.CD quant-ph


title: On the palindromic Hosoya polynomial of trees

abstract: A graph $G$ on $n$ vertices of diameter $D$ is called $H$-palindromic if $\alpha(G,k) = \alpha(G,D-k)$ for all $k=0, 1, \dots, \left \lfloor{\frac{D}{2}}\right \rfloor$, where $\alpha(G,k)$ is the number of unordered pairs of vertices at distance $k$. Quantities $\alpha(G,k)$ form coefficients of the Hosoya polynomial. In 1999, Caporossi, Dobrynin, Gutman and Hansen showed that there are exactly five $H$-palindromic trees of even diameter and conjectured that there are no such trees of odd diameter. We prove this conjecture for bipartite graphs. An infinite family of $H$-palindromic trees of diameter $6$ is also constructed.


title: Scalable High-Rate Twin-Field Quantum Key Distribution Networks without Constraint of Probability and Intensity

abstract: Implementation of a twin-field quantum key distribution network faces limitations, including the low tolerance of interference errors for phase-matching type protocols and the strict constraint regarding intensity and probability for sending-or-not-sending type protocols. Here, we propose a two-photon twin-field quantum key distribution protocol and achieve twin-field-type two-photon interference through post-matching phase-correlated single-photon interference events. We exploit the non-interference mode as the code mode to highly tolerate interference errors, and the two-photon interference naturally removes the intensity and probability constraint. Therefore, our protocol can transcend the abovementioned limitations while breaking the secret key capacity of repeaterless quantum key distribution. Simulations show that for a four-user networks, under which each node with fixed system parameters can dynamically switch different attenuation links, the key rates of our protocol for all six links can either exceed or approach the secret key capacity. However, the key rates of all links are lower than the key capacity when using phase-matching type protocols. Additionally, four of the links could not extract the key when using sending-or-not-sending type protocols. We anticipate that our protocol can facilitate the development of practical and efficient quantum networks.


title: Functional Analysis

abstract: This book is based on notes compiled over the many years I have been teaching the course "Applied Functional Analysis" in the first year of the Master programme at Delft University of Technology, for students with previous exposure to the essentials of Real Analysis and the theory of Lebesgue integration. It offers a comprehensive introduction to functional analysis, covering both the abstract theory and applications to spectral theory, boundary value problems, semigroup theory, and quantum mechanics. It starts with the basic results of the subject and progresses towards a treatment of several advanced topics not commonly found in functional analysis textbooks, including Fredholm theory, form methods, boundary value problems, semigroup theory, trace formulas and a mathematical treatment of states and observables in quantum mechanics.


title: Hierarchical Over-the-Air Federated Edge Learning

abstract: Federated learning (FL) over wireless communication channels, specifically, over-the-air (OTA) model aggregation framework is considered. In OTA wireless setups, the adverse channel effects can be alleviated by increasing the number of receive antennas at the parameter server (PS), which performs model aggregation. However, the performance of OTA FL is limited by the presence of mobile users (MUs) located far away from the PS. In this paper, to mitigate this limitation, we propose hierarchical over-the-air federated learning (HOTAFL), which utilizes intermediary servers (IS) to form clusters near MUs. We provide a convergence analysis for the proposed setup, and demonstrate through theoretical and experimental results that local aggregation in each cluster before global aggregation leads to a better performance and faster convergence than OTA FL.


title: Nonlinear effects in the black hole ringdown: absorption-induced mode excitation

abstract: Gravitational-wave observations of black hole ringdowns are commonly used to characterize binary merger remnants and to test general relativity. These analyses assume linear black hole perturbation theory, in particular that the ringdown can be described in terms of quasinormal modes even for times approaching the merger. Here we investigate a nonlinear effect during the ringdown, namely how a mode excited at early times can excite additional modes as it is absorbed by the black hole. This is a third-order secular effect: the change in the black-hole mass causes a shift in the mode spectrum, so that the original mode is projected onto the new ones. Using nonlinear simulations, we study the ringdown of a spherically-symmetric scalar field around an asymptotically anti-de Sitter black hole, and we find that this "absorption-induced mode excitation" (AIME) is the dominant nonlinear effect. We show that this effect takes place well within the nonadiabatic regime, so we can analytically estimate it using a sudden mass-change approximation. Adapting our estimation technique to asymptotically-flat Schwarzschild black holes, we expect AIME to play a role in the analysis and interpretation of current and future gravitational wave observations.


title: On models of Cosmology

abstract: In this work the most promising string cosmology models are re-viewed model by model in detail. These models are based on conceptsform string theory and heterotic M theory to construct possible scenar-ios for the beginning and the evolution of the universe. In all models asin standard cosmology the problem of particle-antiparticle asymmetryarises, the issue is that all models predict equal number of matter andantimatter to be present in the universe, this contradicts the observa-tions that the number of antiparticle is much less than the number ofparticles. In order to solve the asymmetry dilemma of particles andantiparticles, it is proposed that particles and antiparticles were dis-tributed in the brane and antibrane, respectively, immediately afterthe collision. Implications of these scenarios are discussed in detail.


title: On the spectrum and support theory of a finite tensor category

abstract: Finite tensor categories (FTCs) $\bf T$ are important generalizations of the categories of finite dimensional modules of finite dimensional Hopf algebras, which play a key role in many areas of mathematics and mathematical physics. There are two fundamentally different support theories for them: a cohomological one and a universal one based on the noncommutative Balmer spectra of their stable (triangulated) categories $\underline{\bf T}$. In this paper we introduce the key notion of the categorical center $C^\bullet_{\underline{\bf T}}$ of the cohomology ring $R^\bullet_{\underline{\bf T}}$ of an FTC, $\bf T$. This enables us to put forward a complete and detailed program for determining the exact relationship between the two support theories, based on $C^\bullet_{\underline{\bf T}}$ of the cohomology ring $R^\bullet_{\underline{\bf T}}$ of an FTC, $\bf T$. More specifically, we construct a continuous map from the noncommutative Balmer spectrum of an FTC, $\bf T$, to the $\text{Proj}$ of the categorical center $C^\bullet_{\underline{\bf T}}$, and prove that this map is surjective under a weaker finite generation assumption for $\bf T$ than the one conjectured by Etingof-Ostrik. Under stronger assumptions, we prove that (i) the map is homeomorphism and (ii) the two-sided thick ideals of $\underline{\bf T}$ are classified by the specialization closed subsets of $\text{Proj} C^\bullet_{\underline{\bf T}}$. We conjecture that both results hold for all FTCs. Many examples are presented that demonstrate how in important cases $C^\bullet_{\underline{\bf T}}$ arises as a fixed point subring of $R^\bullet_{\underline{\bf T}}$ and how the two-sided thick ideals of $\underline{\bf T}$ are determined in a uniform fashion. The majority of our results are proved in the greater generality of monoidal triangulated categories.


title: Comments on the Aharonov-Bohm Effect

abstract: In the original setting of the Aharonov-Bohm, the gauge invariant physical longitudinal mode of the vector potential, which is written by the gauge invariant physical current $(-e)\bar{\psi}{\boldsymbol \gamma} \psi$, gives the desired contribution to the Aharonov-Bohm effect. While the scalar mode of the vector potential, which changes under the gauge transformation so that it is the unphysical mode, give no contribution to the Aharonov-Bohm effect. Then Aharonov-Bohm effect really occurs by the physical longitudinal mode in the original Aharonov-Bohm's setting. In the setting of Tonomura {\it et al.}, where the magnet is shielded with the superconducting material, not only the magnetic field but also the longitudinal mode of the vector potential become massive by the Meissner effect. Then not only the magnetic field but also the physical longitudinal mode does not come out to the region where the electron travels. In such setting, only the scalar mode of the vector potential exists in the region where the electron travels, but there is no contribution to the Aharonov-Bohm effect from that mode. Then, theoretically, the Aharonov-Bohm effect does not occur in the Tonomura {\it et al.}'s setting. In the quantum theory, the electron is treated as the wave, and the longitudinal mode give the change of the phase, which gives the Aharonov-Bohm effect. In the classical theory, the electron is treated as the particle, and the only existing longitudinal mode gives the change of the angular momentum. For the particle, there is no concept of the phase, so that there is no Aharonov-Bohm effect.


title: Dynamically Stable Poincar\'e Embeddings for Neural Manifolds

abstract: In a Riemannian manifold, the Ricci flow is a partial differential equation for evolving the metric to become more regular. We hope that topological structures from such metrics may be used to assist in the tasks of machine learning. However, this part of the work is still missing. In this paper, we propose Ricci flow assisted Eucl2Hyp2Eucl neural networks that bridge this gap between the Ricci flow and deep neural networks by mapping neural manifolds from the Euclidean space to the dynamically stable Poincar\'e ball and then back to the Euclidean space. As a result, we prove that, if initial metrics have an $L^2$-norm perturbation which deviates from the Hyperbolic metric on the Poincar\'e ball, the scaled Ricci-DeTurck flow of such metrics smoothly and exponentially converges to the Hyperbolic metric. Specifically, the role of the Ricci flow is to serve as naturally evolving to the stable Poincar\'e ball. For such dynamically stable neural manifolds under the Ricci flow, the convergence of neural networks embedded with such manifolds is not susceptible to perturbations. And we show that Ricci flow assisted Eucl2Hyp2Eucl neural networks outperform with their all Euclidean counterparts on image classification tasks.