title: Optical magnetism and wavefront control by arrays of strontium atoms

abstract: By analyzing the parameters of electronic transitions, we show how bosonic Sr atoms in planar optical lattices can be engineered to exhibit optical magnetism and other higher-order electromagnetic multipoles that can be harnessed for wavefront control of incident light. Resonant $\lambda\simeq 2.6\mu$m light for the $^3D_1\rightarrow {^3}P_0$ transition mediates cooperative interactions between the atoms while the atoms are trapped in a deeply subwavelength optical lattice. The atoms then exhibit collective excitation eigenmodes, e.g., with a strong cooperative magnetic response at optical frequencies, despite individual atoms having negligible coupling to the magnetic component of light. We provide a detailed scheme to utilize excitations of such cooperative modes consisting of arrays of electromagnetic multipoles to form an atomic Huygens' surface, with complete $2\pi$ phase control of transmitted light and almost no reflection, allowing nearly arbitrary wavefront shaping. In the numerical examples, this is achieved by controlling the atomic level shifts of Sr with off-resonant ${^3P}_J\rightarrow {^3D}_1$ transitions, which results in a simultaneous excitation of arrays of electric dipoles and electric quadrupoles or magnetic dipoles. We demonstrate the wavefront engineering for a Sr array by realizing the steering of an incident beam and generation of a baby-Skyrmion texture in the transmitted light via a topologically nontrivial transition of a Gaussian beam to a Poincar\'{e} beam, which contains all possible polarizations in a single cross-section.

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


title: The Role of Pseudo-labels in Self-training Linear Classifiers on High-dimensional Gaussian Mixture Data

abstract: Self-training (ST) is a simple yet effective semi-supervised learning method. However, why and how ST improves generalization performance by using potentially erroneous pseudo-labels is still not well understood. To deepen the understanding of ST, we derive and analyze a sharp characterization of the behavior of iterative ST when training a linear classifier by minimizing the ridge-regularized convex loss on binary Gaussian mixtures, in the asymptotic limit where input dimension and data size diverge proportionally. The results show that ST improves generalization in different ways depending on the number of iterations. When the number of iterations is small, ST improves generalization performance by fitting the model to relatively reliable pseudo-labels and updating the model parameters by a large amount at each iteration. This suggests that ST works intuitively. On the other hand, with many iterations, ST can gradually improve the direction of the classification plane by updating the model parameters incrementally, using soft labels and small regularization. It is argued that this is because the small update of ST can extract information from the data in an almost noiseless way. However, in the presence of label imbalance, the generalization performance of ST underperforms supervised learning with true labels. To overcome this, two heuristics are proposed to enable ST to achieve nearly compatible performance with supervised learning even with significant label imbalance.

categories: stat.ML cond-mat.dis-nn cond-mat.stat-mech cs.LG math.ST stat.TH


title: Deformation of the triangular spin-$\frac{1}{2}$ lattice in Na$_2$SrCo(PO$_4$)$_2$

abstract: Crystal structure and thermodynamic properties of Na$_2$SrCo(PO$_4$)$_2$, the chemical sibling of the triangular quantum spin-liquid candidate Na$_2$BaCo(PO$_4$)$_2$, are reported. From single crystal x-ray diffraction and high-resolution synchrotron x-ray powder diffraction, the compound was found to crystallize in the monoclinic space group $P2_1/a$ at room temperature, in contrast to the trigonal Na$_2$BaCo(PO$_4$)$_2$. Above 650 K, the symmetry of Na$_2$SrCo(PO$_4$)$_2$ changes to $C2/m$, while around 1025 K a further transformation toward trigonal symmetry is observed. The monoclinic symmetry leads to a small deformation of the CoO$_6$ octahedra beyond the trigonal distortion ubiquitous in this structure type, and results in the stronger $g$-tensor anisotropy ($g_{\text{z}}/g_{\text{xy}} = 1.6 $) as well as the increased XXZ anisotropy ($J_{\text{z}}/J_{\text{xy}} = 2.1$) compared to the Ba compound ($g_{\text{z}}/g_{\text{xy}} = 1.1 $, $J_{\text{z}}/J_{\text{xy}} = 1.5$), while the average coupling strength, $J_{\text{av}}/k_{\text{B}}=(2J_{\text{xy}}+J_{\text{z}})/3k_\text{B}\simeq 1.3\,\text{K}$, remains unchanged. The N\'{e}el temperature increases from 140 mK (Ba) to 600 mK (Sr), and an uncompensated in-plane moment of $0.066(4)\mu_{\text{B}}/\text{f.u.}$ appears. We show that the ordering temperature of a triangular antiferromagnet is capably controlled by its structural distortions.


title: Multi-Species Thermalization Cascade of Energetic Particles in the Early Universe

abstract: Heavy long-lived particles are abundant in BSM physics and will, under generic circumstances, get to dominate the energy density of the universe. The resulting matter dominated era has to end before the onset of Big Bang Nucleosynthesis through the decay of the heavy matter component of mass $M$ into a thermal bath of temperature $T$. The process of thermalization primarily involves near-collinear splittings of energetic particles into two particles with lower energy. The correct treatment of these processes requires the inclusion of coherence effects which suppress the splitting rate. We write down and numerically solve the resulting coupled Boltzmann equations including all gauge bosons and fermions of the Standard Model (SM). We then comment on the dependence of the nonthermal spectra on the ratio $M/T$, as well as on the matter decay rate and branching ratios into various SM particles.


title: Predicting Emotional Volatility Using 41,000 Participants in the United Kingdom

abstract: Emotional volatility is a human universal. Yet there has been no large-scale scientific study of predictors of that phenomenon. Building from previous works, which had been ad hoc and based on tiny samples, this paper reports the first large-scale estimation of volatility in human emotional experiences. Our study draws from a large sample of intrapersonal variation in moment-to-moment happiness from over three million observations by 41,023 UK individuals. Holding other things constant, we show that emotional volatility is highest among women with children, the separated, the poor, and the young. Women without children report substantially greater emotional volatility than men with and without children. For any given rate of volatility, women with children also experience more frequent extreme emotional lows than any other socio-demographic group. Our results, which are robust to different specification tests, enable researchers and policymakers to quantify and prioritise different determinants of intrapersonal variability in human emotions.


title: Strong Equivalence of TAG and CCG

abstract: Tree-adjoining grammar (TAG) and combinatory categorial grammar (CCG) are two well-established mildly context-sensitive grammar formalisms that are known to have the same expressive power on strings (i.e., generate the same class of string languages). It is demonstrated that their expressive power on trees also essentially coincides. In fact, CCG without lexicon entries for the empty string and only first-order rules of degree at most 2 are sufficient for its full expressive power.


title: Observation of the X17 anomaly in the $^7$Li($p$,$e^+e^-$)$^8$Be direct proton-capture reaction

abstract: Angular correlation spectra of $e^+e^-$ pairs produced in the $^{7}$Li($p$,$\gamma$)$^{8}$Be nuclear reaction have been studied at the sharp $E_p$= 441 keV resonance as well as at $E_p$= 650 keV, 800 keV and 1100 keV proton beam energies. The spectra measured at the resonance can be understood through the M1 internal pair creation process, but in the case of the off-resonance regions (direct proton capture) significant anomalies were observed in the $e^+e^-$ angular correlations supporting the X17 hypothetical particle creation and decay.


title: Sustainability of Stack Exchange Q\&A communities: the role of trust

abstract: Knowledge-sharing communities are a fundamental element of any knowledge-based society. Understanding how they emerge, function, and disappear is thus of crucial importance. Many social and economic factors influence sustainable knowledge-sharing communities. Here we explore the role of the structure of social interactions and social trust in the emergence of these communities. Using tools from complex network theory, we analyze the early evolution of social structure in four pairs of StackExchange communities, each corresponding to one active and one closed community on the same topic. We adapt the dynamical reputation model to quantify the evolution of social trust in these communities. Our analysis shows that active communities have higher local cohesiveness and develop stable and more strongly connected cores. The average reputation is higher in sustainable communities. In these communities, the trust between core members develops early and remains high over time. Our results imply that efforts to create a stable and trustworthy core may be crucial for building a sustainable knowledge-sharing community.


title: On the effective metric of axial black hole perturbations in DHOST gravity

abstract: We study axial (or odd-parity) perturbations about static and spherically symmetric hairy black hole (BH) solutions in shift-symmetric DHOST (Degenerate Higher-Order Scalar-Tensor) theories. We first extend to the family of DHOST theories the first-order formulation that we recently developed for Horndeski theories. Remarkably, we find that the dynamics of DHOST axial perturbations is equivalent to that of axial perturbations in general relativity (GR) evolving in a, distinct, effective metric. In the particular case of quadratic DHOST theories, this effective metric is derived from the background BH metric via a disformal transformation. We illustrate our general study with three examples of BH solutions. In some so-called stealth solutions, the effective metric is Schwarzschild with a shifted horizon. We also give an example of BH solution for which the effective metric is associated with a naked singularity.


title: Hyperbolic Knots and Torsion in Khovanov Homology

abstract: In this note, we show that if there is a knot in $S^3$ having $\mathbb{Z}_m$ torsion in its Khovanov homology, then there are infinitely many hyperbolic knots and infinitely many prime satellite knots having $\mathbb{Z}_m$ torsion in their Khovanov homology. As an application, we give the first known examples of hyperbolic knots and links with odd (and other non-$\mathbb{Z}_2$ torsion) in their Khovanov homology.


title: Toward the primordial black hole formation threshold in a time-dependent equation-of-state background

abstract: The study of the primordial black hole (PBH) gravitational collapse process requires the determination of a critical energy density perturbation threshold $\delta_\mathrm{c}$, which depends on the equation of state of the universe at the time of PBH formation. Up to now, the majority of analytical and numerical techniques calculate $\delta_\mathrm{c}$ by assuming a constant equation-of-state (EoS) parameter $w$ at the time of PBH formation. In this work, after generalizing the constant $w$ prescription of [1] for the computation of $\delta_\mathrm{c}$ and commenting its limitations we give a first estimate for the PBH threshold in the case of a time-dependent $w$ background. In particular, we apply our formalism in the case of the QCD phase transition, where the EoS parameter varies significantly with time and one expects an enhanced PBH production due to the abrupt softening of $w$. At the end, we compare our results with analytic and numerical approaches for the determination of $\delta_\mathrm{c}$ assuming a constant EoS parameter.


title: Circumstellar shell and presupernova emission of SN 2020tlf

abstract: We address a phenomenon of a confined circumstellar (CS) dense shell and powerful presupernova emission of SN 2020tlf (type IIP). Modeling the \ha\ line and the circumstellar interaction implies the CS shell radius of $\sim$10$^{15}$ cm and the mass of $\sim0.2M_{\odot}$ lost during $\sim$6 yr prior to the explosion. Spectra and photometry of the supernova after the explosion do not show apparent signature of the material lost by the presupernova during its powerful luminosity. This material presumably resided in the inner zone of the CS shell. We present a hydrodynamic model of the outcome of a flash with the energy of $5\times10^{48}$ erg in the convective nuclear burning zone. The model predicts the ejection of outer layers of the presupernova ($\sim0.1M_{\odot}$) and the luminosity of $10^{40}$ erg s$^{-1}$ during several hundreds days in accord with observations. We propose the Lighthill mechanism of acoustic waves generation by the turbulence of the convective nuclear burning zone to account for the phenomenon of a compact CS shell of supernovae related to the core collapse.


title: What company do words keep? Revisiting the distributional semantics of J.R. Firth & Zellig Harris

abstract: The power of word embeddings is attributed to the linguistic theory that similar words will appear in similar contexts. This idea is specifically invoked by noting that "you shall know a word by the company it keeps," a quote from British linguist J.R. Firth who, along with his American colleague Zellig Harris, is often credited with the invention of "distributional semantics." While both Firth and Harris are cited in all major NLP textbooks and many foundational papers, the content and differences between their theories is seldom discussed. Engaging in a close reading of their work, we discover two distinct and in many ways divergent theories of meaning. One focuses exclusively on the internal workings of linguistic forms, while the other invites us to consider words in new company - not just with other linguistic elements, but also in a broader cultural and situational context. Contrasting these theories from the perspective of current debates in NLP, we discover in Firth a figure who could guide the field towards a more culturally grounded notion of semantics. We consider how an expanded notion of "context" might be modeled in practice through two different strategies: comparative stratification and syntagmatic extension


title: Cross helicity of interplanetary coronal mass ejections at 1 au

abstract: Interplanetary coronal mass ejections (ICMEs) contain magnetic field and velocity fluctuations across a wide range of scales. These fluctuations may be interpreted as Alfv\'enic wave packets propagating parallel or anti-parallel to the background magnetic field, with the difference in power between counter-propagating fluxes quantified by the cross helicity. We have determined the cross helicity of inertial range fluctuations at $10^{-3}-10^{-2}$ Hz in 226 ICME flux ropes and 176 ICME sheaths observed by the Wind spacecraft at 1 au during 1995-2015. The flux ropes and sheaths had mean, normalised cross helicities of 0.18 and 0.24, respectively, with positive values here indicating net anti-sunward fluxes. While still tipped towards the anti-sunward direction on average, fluxes in ICMEs tend to be more balanced than in the solar wind at 1 au, where the mean cross helicity is larger. Superposed epoch profiles show cross helicity falling sharply in the sheath and reaching a minimum inside the flux rope near the leading edge. More imbalanced, solar wind-like cross helicity was found towards the trailing edge and laterally further from the rope axis. The dependence of cross helicity on flux rope orientation and the presence of an upstream shock are considered. Potential origins of the low cross helicity in ICMEs at 1 au include balanced driving of the closed-loop flux rope at the Sun and ICME-solar wind interactions in interplanetary space. We propose that low cross helicity of fluctuations is added to the standard list of ICME signatures.


title: A Data Cube of Big Satellite Image Time-Series for Agriculture Monitoring

abstract: The modernization of the Common Agricultural Policy (CAP) requires the large scale and frequent monitoring of agricultural land. Towards this direction, the free and open satellite data (i.e., Sentinel missions) have been extensively used as the sources for the required high spatial and temporal resolution Earth observations. Nevertheless, monitoring the CAP at large scales constitutes a big data problem and puts a strain on CAP paying agencies that need to adapt fast in terms of infrastructure and know-how. Hence, there is a need for efficient and easy-to-use tools for the acquisition, storage, processing and exploitation of big satellite data. In this work, we present the Agriculture monitoring Data Cube (ADC), which is an automated, modular, end-to-end framework for discovering, pre-processing and indexing optical and Synthetic Aperture Radar (SAR) images into a multidimensional cube. We also offer a set of powerful tools on top of the ADC, including i) the generation of analysis-ready feature spaces of big satellite data to feed downstream machine learning tasks and ii) the support of Satellite Image Time-Series (SITS) analysis via services pertinent to the monitoring of the CAP (e.g., detecting trends and events, monitoring the growth status etc.). The knowledge extracted from the SITS analyses and the machine learning tasks returns to the data cube, building scalable country-specific knowledge bases that can efficiently answer complex and multi-faceted geospatial queries.


title: A tropical view on Landau-Ginzburg models

abstract: This paper, largely written in 2009/2010, fits Landau-Ginzburg models into the mirror symmetry program pursued by the last author jointly with Mark Gross since 2001. This point of view transparently brings in tropical disks of Maslov index 2 via the notion of broken lines, previously introduced in two dimensions by Mark Gross in his study of mirror symmetry for $\mathbb{P}^2$. A major insight is the equivalence of properness of the Landau-Ginzburg potential with smoothness of the anticanonical divisor on the mirror side. We obtain proper superpotentials which agree on an open part with those classically known for toric varieties. Examples include mirror LG models for non-singular and singular del Pezzo surfaces, Hirzebruch surfaces and some Fano threefolds.


title: On the spectral large sieve inequality for symmetric-squares

abstract: We improve on the spectral large sieve inequality for symmetric-squares. We also prove a lower bound showing that the most optimistic upper bound is not true for this family.


title: Quantum Receiver Enhanced by Adaptive Learning

abstract: Quantum receivers aim to effectively navigate the vast quantum-state space to endow quantum information processing capabilities unmatched by classical receivers. To date, only a handful of quantum receivers have been constructed to tackle the problem of discriminating coherent states. Quantum receivers designed by analytical approaches, however, are incapable of effectively adapting to diverse environment conditions, resulting in their quickly diminishing performance as the operational complexities increase. Here, we present a general architecture, dubbed the quantum receiver enhanced by adaptive learning (QREAL), to adapt quantum receiver structures to diverse operational conditions. QREAL is experimentally implemented in a hardware platform with record-high efficiency. Combining the QREAL architecture and the experimental advances, the error rate is reduced up to 40% over the standard quantum limit in two coherent-state encoding schemes.


title: The Influence of Dimensions on the Complexity of Computing Decision Trees

abstract: A decision tree recursively splits a feature space $\mathbb{R}^{d}$ and then assigns class labels based on the resulting partition. Decision trees have been part of the basic machine-learning toolkit for decades. A large body of work treats heuristic algorithms to compute a decision tree from training data, usually aiming to minimize in particular the size of the resulting tree. In contrast, little is known about the complexity of the underlying computational problem of computing a minimum-size tree for the given training data. We study this problem with respect to the number $d$ of dimensions of the feature space. We show that it can be solved in $O(n^{2d + 1}d)$ time, but under reasonable complexity-theoretic assumptions it is not possible to achieve $f(d) \cdot n^{o(d / \log d)}$ running time, where $n$ is the number of training examples. The problem is solvable in $(dR)^{O(dR)} \cdot n^{1+o(1)}$ time, if there are exactly two classes and $R$ is an upper bound on the number of tree leaves labeled with the first~class.


title: Bound states in the continuum in a fluxonium qutrit

abstract: The heavy fluxonium at zero external flux has a long-lived state when coupled capacitively to any other system. We analyze it by projecting all the fluxonium relevant operators into the qutrit subspace, as this long-lived configuration corresponds to the second excited fluxonium level. This state becomes a bound-state in the continuum (BIC) when the coupling occurs to an extended system supporting a continuum of modes. In the case without noise, we find BIC lifetimes that can be much larger than seconds $T_1\gg {\rm s}$ when the fluxonium is coupled to a superconducting waveguide, while typical device frequencies are in the order of ${\rm GHz}$. We have performed a detailed study of the different sources of decoherence in a realistic experiment, obtaining that upward transitions caused by a finite temperature in the waveguide and decay induced by $1/f$-flux noise are the most dangerous ones. Even in their presence, BICs decay times could reach the range of ${T_1\sim \rm 10^{-1} ms},$ while preparation times are of the order of $10^{2}$ns.


title: A high gain travelling-wave parametric amplifier based on three-wave mixing

abstract: We extend the theory for a Josephson junction travelling wave parametric amplifier (TWPA) operating in the three-wave mixing regime and we propose a scheme for achieving high gain. The continuous three-mode model [P. K. Tien, J. Appl. Phys. 29, 1347 (1958)] is on one hand extended to describe a discrete chain of Josephson junctions at high frequencies close to the spectral cutoff where there is no up-conversion. On the other hand, we also develop a continuous multimode theory for the low-frequency region where the frequency dispersion is close to linear. We find that in both cases the gain is significantly reduced compared to the prediction by the continuous three-mode model as the result of increasingly strong dispersion at the high frequencies and generation of up-converted modes at the low frequencies. The developed theory is in quantitative agreement with experimental observations. To recover the high gain, we propose to engineer a chain with dispersive features to form a two-band frequency spectrum and to place the pump frequency within the upper band close to the spectral cutoff. We prove that there exists a sweet spot, where the signal and the pump are phase matched, while the up-conversion is inhibited. This results in a high gain which grows exponentially with the length of the TWPA.


title: Software Updates Strategies: a Quantitative Evaluation against Advanced Persistent Threats

abstract: Software updates reduce the opportunity for exploitation. However, since updates can also introduce breaking changes, enterprises face the problem of balancing the need to secure software with updates with the need to support operations. We propose a methodology to quantitatively investigate the effectiveness of software updates strategies against attacks of Advanced Persistent Threats (APTs). We consider strategies where the vendor updates are the only limiting factors to cases in which enterprises delay updates from 1 to 7 months based on SANS data. Our manually curated dataset of APT attacks covers 86 APTs and 350 campaigns from 2008 to 2020. It includes information about attack vectors, exploited vulnerabilities (e.g. 0-days vs public vulnerabilities), and affected software and versions. Contrary to common belief, most APT campaigns employed publicly known vulnerabilities. If an enterprise could theoretically update as soon as an update is released, it would face lower odds of being compromised than those waiting one (4.9x) or three (9.1x) months. However, if attacked, it could still be compromised from 14% to 33% of the times. As in practice enterprises must do regression testing before applying an update, our major finding is that one could perform 12% of all possible updates restricting oneself only to versions fixing publicly known vulnerabilities without significant changes to the odds of being compromised compared to a company that updates for all versions.


title: Propification and the Scalable Comonad

abstract: String diagrams can nicely express numerous computations in symmetric strict monoidal categories (SSMC). To be entirely exact, this is only true for props: the SSMCs whose monoid of objects are free. In this paper, we show a propification theorem asserting that any SSMC is monoidally equivalent to a coloured prop. As a consequence, all SSMCs are within reach of diagrammatical methods. We introduce a diagrammatical calculus of bureaucracy isomorphisms, allowing us to handle graphically non-free monoids of objects. We also connect this construction with the scalable notations previously introduced to tackle large-scale diagrammatic reasoning.


title: Single-shot characterization of vector beams by generalized measurements

abstract: Vector vortex beams, featuring independent spatial modes in orthogonal polarization components, offer an increase in information density for emerging applications in both classical and quantum communication technology. Recent advances in optical instrumentation have led to the ability of generating and manipulating such beams. Their tomography is generally accomplished by projection measurements to identify polarization as well as spatial modes. In this paper we demonstrate spatially resolved generalized measurements of arbitrary vector vortex beams. We perform positive operator valued measurements (POVMs) in an interferometric setup that characterizes the vector light mode in a single-shot. This offers superior data acquisition speed compared to conventional Stokes tomography techniques, with potential benefits for communication protocols as well as dynamic polarization microscopy of materials.


title: A Nonlinear Lateral Controller Design for Vehicle Path-following with an Arbitrary Sensor Location

abstract: This paper investigates the lateral control problem in vehicular path-following when the feedback sensor(s) are mounted at an arbitrary location in the longitudinal symmetric axis. We point out that some existing literature has abused the kinematic bicycle model describing the motion of rear axle center for other locations, which may lead to poor performance in practical implementations. A new nonlinear controller with low-complexity and high-maneuverability is then designed that takes into account senor mounting location, driving comfort and transient response with large initial errors. Design insights and intuitions are also provided in detail. Furthermore, analysis on stability and tracking performance for the closed-loop system are studied, and conditions and guidelines are provided on the selection of control parameters. Comprehensive simulations are performed to demonstrate the efficacy of the proposed nonlinear controller for arbitrary sensor locations. Meanwhile, we also show that designing controllers ignoring the sensor location may lead to unexpected vehicular sway motion in non-straight paths.


title: FvOR: Robust Joint Shape and Pose Optimization for Few-view Object Reconstruction

abstract: Reconstructing an accurate 3D object model from a few image observations remains a challenging problem in computer vision. State-of-the-art approaches typically assume accurate camera poses as input, which could be difficult to obtain in realistic settings. In this paper, we present FvOR, a learning-based object reconstruction method that predicts accurate 3D models given a few images with noisy input poses. The core of our approach is a fast and robust multi-view reconstruction algorithm to jointly refine 3D geometry and camera pose estimation using learnable neural network modules. We provide a thorough benchmark of state-of-the-art approaches for this problem on ShapeNet. Our approach achieves best-in-class results. It is also two orders of magnitude faster than the recent optimization-based approach IDR. Our code is released at \url{https://github.com/zhenpeiyang/FvOR/}


title: On the inability of Gaussian process regression to optimally learn compositional functions

abstract: We rigorously prove that deep Gaussian process priors can outperform Gaussian process priors if the target function has a compositional structure. To this end, we study information-theoretic lower bounds for posterior contraction rates for Gaussian process regression in a continuous regression model. We show that if the true function is a generalized additive function, then the posterior based on any mean-zero Gaussian process can only recover the truth at a rate that is strictly slower than the minimax rate by a factor that is polynomially suboptimal in the sample size $n$.


title: An Experimental Comparison of Floating Base Estimators for Humanoid Robots with Flat Feet

abstract: Extended Kalman filtering is a common approach to achieve floating base estimation of a humanoid robot. These filters rely on measurements from an Inertial Measurement Unit (IMU) and relative forward kinematics for estimating the base position-and-orientation and its linear velocity along with the augmented states of feet position-and-orientation, thus giving them their name, flat-foot filters. However, the availability of only partial measurements often poses the question of consistency in the filter design. In this paper, we perform an experimental comparison of state-of-the-art flat-foot filters based on the representation choice of state, observation, matrix Lie group error and system dynamics evaluated for filter consistency and trajectory errors. The comparison is performed over simulated and real-world experiments conducted on the iCub humanoid platform.


title: Pneumatic System for Pressure Probe Measurements in Transient Flows of Non-Ideal Vapors Subject to Line Condensation

abstract: This paper presents the design, construction and commissioning of a pneumatic system for pressure probe measurements in flows of organic vapors in non-ideal conditions, close to the liquid-vapor saturation curve and the critical point where the ideal gas law is not applicable. Experiments were performed with fluid siloxane MM, employed in medium/high temperature Organic Rankine Cycles, in the TROVA blow-down wind tunnel at Politecnico Milano. Challenges linked to condensation in pneumatic lines (vapor-liquid menisci, hydrostatic head, mass-sink), were evaluated with theoretical calculation and experiments, and were avoided with a nitrogen flushing procedure. Commissioning tests were performed with a Pitot tube in non-ideal subsonic flows at Mach numbers of 0.2 and 0.5. Measurement delay issues were identified and solved through a dynamic testing procedure. The correct performance of the complete system was verified for probe measurements of total, static and dynamic pressure in non-ideal flows of organic vapors.


title: Efficient Algorithms for Planning with Participation Constraints

abstract: We consider the problem of planning with participation constraints introduced in [Zhang et al., 2022]. In this problem, a principal chooses actions in a Markov decision process, resulting in separate utilities for the principal and the agent. However, the agent can and will choose to end the process whenever his expected onward utility becomes negative. The principal seeks to compute and commit to a policy that maximizes her expected utility, under the constraint that the agent should always want to continue participating. We provide the first polynomial-time exact algorithm for this problem for finite-horizon settings, where previously only an additive $\varepsilon$-approximation algorithm was known. Our approach can also be extended to the (discounted) infinite-horizon case, for which we give an algorithm that runs in time polynomial in the size of the input and $\log(1/\varepsilon)$, and returns a policy that is optimal up to an additive error of $\varepsilon$.


title: Rewinding the Void: How One Solution of Einstein's Field Equations Describes Both the Birth of a Universe and the End of Time

abstract: The type D Kasner vacuum solution of general relativity is reviewed, highlighting the little-known, intriguing property that it can describe both an anisotropic cosmology and the spacetime deep within a black hole, these two descriptions linked by a reversal of the time-ordering of the solution. The flexible nature of solutions of Einstein's equations is emphasised, and a brief discussion of the arrow of time in modern physics is presented.


title: A BenchCouncil View on Benchmarking Emerging and Future Computing

abstract: The measurable properties of the artifacts or objects in the computer, management, or finance disciplines are extrinsic, not inherent -- dependent on their problem definitions and solution instantiations. Only after the instantiation can the solutions to the problem be measured. The processes of definition, instantiation, and measurement are entangled, and they have complex mutual influences. Meanwhile, the technology inertia brings instantiation bias -- trapped into a subspace or even a point at a high-dimension solution space. These daunting challenges, which emerging computing aggravates, make metrology can not work for benchmark communities. It is pressing to establish independent benchmark science and engineering. This article presents a unifying benchmark definition, a conceptual framework, and a traceable and supervised learning-based benchmarking methodology, laying the foundation for benchmark science and engineering. I also discuss BenchCouncil's plans for emerging and future computing. The ongoing projects include defining the challenges of intelligence, instinct, quantum computers, Metaverse, planet-scale computers, and reformulating data centers, artificial intelligence for science, and CPU benchmark suites. Also, BenchCouncil will collaborate with ComputerCouncil on open-source computer systems for planet-scale computing, AI for science systems, and Metaverse.


title: JR2net: A Joint Non-Linear Representation and Recovery Network for Compressive Spectral Imaging

abstract: Deep learning models are state-of-the-art in compressive spectral imaging (CSI) recovery. These methods use a deep neural network (DNN) as an image generator to learn non-linear mapping from compressed measurements to the spectral image. For instance, the deep spectral prior approach uses a convolutional autoencoder network (CAE) in the optimization algorithm to recover the spectral image by using a non-linear representation. However, the CAE training is detached from the recovery problem, which does not guarantee optimal representation of the spectral images for the CSI problem. This work proposes a joint non-linear representation and recovery network (JR2net), linking the representation and recovery task into a single optimization problem. JR2net consists of an optimization-inspired network following an ADMM formulation that learns a non-linear low-dimensional representation and simultaneously performs the spectral image recovery, trained via the end-to-end approach. Experimental results show the superiority of the proposed method with improvements up to 2.57 dB in PSNR and performance around 2000 times faster than state-of-the-art methods.


title: Multiple Rabi rotations of trions in InGaAs quantum dots observed by photon echo spectroscopy with spatially shaped laser pulses

abstract: We study Rabi rotations arising in intensity-dependent photon echoes from an ensemble of self-assembled InGaAs quantum dots. To achieve a uniform distribution of intensities within the excited ensemble, we introduce flattop intensity profiles of picosecond laser pulses. This allows us to overcome the damping of Rabi rotations imposed by the spatial inhomogeneity of Rabi frequencies by a Gaussian laser profile. Using photon echo polarimetry, we distinguish between the coherent optical responses from exciton and trion ensembles. Here, we demonstrate that a photo-induced charging of the quantum dots leads to a significant reduction of the number of neutral quantum dots under resonant excitation with intensive optical pulses with areas exceeding $\frac{\pi}{2}$. The trion ensemble shows robust Rabi rotations when the area of the refocussing pulse is increased up to 5.5$\pi$. We analyze the remaining attenuation of Rabi rotations by theoretical modeling of excitation induced dephasing, inhomogeneity of dipole moments, and coupling to acoustic phonons. The latter is identified as the dominating mechanism resulting in a loss of optical coherence during the action of the involved optical pulses.


title: Moving Target Interception Considering Dynamic Environment

abstract: The interception of moving targets is a widely studied issue. In this paper, we propose an algorithm of intercepting the moving target with a wheeled mobile robot in a dynamic environment. We first predict the future position of the target through polynomial fitting. The algorithm then generates an interception trajectory with path and speed decoupling. We use Hybrid A* search to plan a path and optimize it via gradient decent method. To avoid the dynamic obstacles in the environment, we introduce ST graph for speed planning. The speed curve is represented by piecewise B\'ezier curves for further optimization. Compared with other interception algorithms, we consider a dynamic environment and plan a safety trajectory which satisfies the kinematic characteristics of the wheeled robot while ensuring the accuracy of interception. Simulation illustrates that the algorithm successfully achieves the interception tasks and has high computational efficiency.


title: A revised simplified scattering model for the moonlit sky brightness profile based on photometry at SAAO

abstract: This paper presents multi-filter measurements of the night sky brightness at the South African Astronomical Observatory (SAAO) in Sutherland in the presence of a bright moon. The observations cover a wide range of sky directions, lunar phases and lunar positions. A revised simplified scattering model is developed for estimating the sky brightness due to moonlight that more accurately reflects the atmospheric extinction of the lunar beam compared to models frequently applied in astronomical studies. Contributions to night sky brightness due to sources other than moonlight are quantified and subtracted from the total sky background radiation to determine the spectral intensity and angular distribution of scattered moonlight. The atmospheric scattering phase function is then derived by comparing the sky brightening to the strength of the incoming lunar beam, estimated using a novel approach. The phase function is shown to be an excellent match to the combined theoretical Rayleigh and Mie scattering functions, the latter with a Henyey--Greenstein form instead of the exponential angular relationship often used in previous studies. Where deviations between measured and model sky brightness are evident in some bands these are explained by contributions from multiple scattering or airglow, and are quantified accordingly. The model constitutes an effective tool to predict sky brightness at SAAO in optical photometric bands, especially with a bright moon present. The methodology can also be readily be adapted for use at other astronomical sites. The paper furthermore presents $UBV(RI)_c$ and Str{\"o}mgren photometry for 49 stars, most with no prior such data.


title: Gradient-based Counterfactual Explanations using Tractable Probabilistic Models

abstract: Counterfactual examples are an appealing class of post-hoc explanations for machine learning models. Given input $x$ of class $y_1$, its counterfactual is a contrastive example $x^\prime$ of another class $y_0$. Current approaches primarily solve this task by a complex optimization: define an objective function based on the loss of the counterfactual outcome $y_0$ with hard or soft constraints, then optimize this function as a black-box. This "deep learning" approach, however, is rather slow, sometimes tricky, and may result in unrealistic counterfactual examples. In this work, we propose a novel approach to deal with these problems using only two gradient computations based on tractable probabilistic models. First, we compute an unconstrained counterfactual $u$ of $x$ to induce the counterfactual outcome $y_0$. Then, we adapt $u$ to higher density regions, resulting in $x^{\prime}$. Empirical evidence demonstrates the dominant advantages of our approach.


title: Existence of solutions to Chern-Simons-Higgs equations on graphs

abstract: Let $G=(V,E)$ be a finite graph. We consider the existence of solutions to a generalized Chern-Simons-Higgs equation $$ \Delta u=-\lambda e^{g(u)}\left( e^{g(u)}-1\right)^2+4\pi\sum\limits_{j=1}^{N}\delta_{p_j} $$ on $G$, where $\lambda$ is a positive constant; $g(u)$ is the inverse function of $u=f(\upsilon)=1+\upsilon-e^{\upsilon}$ on $(-\infty, 0]$; $N$ is a positive integer; $p_1, p_2, \cdot\cdot\cdot, p_N$ are distinct vertices of $V$ and $\delta_{p_j}$ is the Dirac delta mass at $p_j$. We prove that there is critical value $\lambda_c$ such that the generalized Chern-Simons-Higgs equation has a solution if and only if $\lambda\geq \lambda_c$ . We also prove the existence of solutions to the Chern-Simons-Higgs equation $$ \Delta u=\lambda e^{u}(e^{u}-1)+4\pi\sum\limits_{j=1}^{N}\delta_{p_j} $$ on $G$ when $\lambda$ takes the critical value $\lambda_c$ and this completes the results of An Huang, Yong Lin and Shing-Tung Yau (Commun. Math. Phys. 377, 613-621 (2020)).


title: Towards Optimal Foreground Mitigation Strategies for Interferometric HI Intensity Mapping in the Low-Redshift Universe

abstract: We conduct the first case study towards developing optimal foreground mitigation strategies for neutral hydrogen (HI) intensity mapping using radio interferometers at low redshifts. A pipeline for simulation, foreground mitigation and power spectrum estimation is built, which can be used for ongoing and future surveys using MeerKAT and Square Kilometre Array Observatory (SKAO). It simulates realistic sky signals to generate visibility data given instrument and observation specifications, which is subsequently used to perform foreground mitigation and power spectrum estimation. A quadratic estimator formalism is developed to estimate the temperature power spectrum in visibility space. Using MeerKAT telescope specifications for observations in the redshift range z~0.25-0.30 corresponding to the MeerKAT International GHz Tiered Extragalactic Exploration (MIGHTEE) survey, we present a case study where we compare different approaches of foreground mitigation. We find that component separation in visibility space provides a more accurate estimation of HI clustering comparing to foreground avoidance, with the uncertainties being 30 per cent smaller. Power spectrum estimation from image is found to be less robust with larger bias and more information loss when compared to estimation in visibility. We conclude that for z~0.25-0.30, the MIGHTEE survey will be capable of measuring the HI power spectrum from k~0.5 Mpc$^{-1}$ to k~10 Mpc$^{-1}$ with high accuracy. We are the first to show that, at low redshift, component separation in visibility space suppresses foreground contamination at large line-of-sight scales, allowing measurement of HI power spectrum closer to the foreground wedge, crucial for data analysis towards future detections.


title: Unlabeled Multi-Robot Motion Planning with Tighter Separation Bounds

abstract: We consider the unlabeled motion-planning problem of $m$ unit-disc robots moving in a simple polygonal workspace of $n$ edges. The goal is to find a motion plan that moves the robots to a given set of $m$ target positions. For the unlabeled variant, it does not matter which robot reaches which target position as long as all target positions are occupied in the end. If the workspace has narrow passages such that the robots cannot fit through them, then the free configuration space, representing all possible unobstructed positions of the robots, will consist of multiple connected components. Even if in each component of the free space the number of targets matches the number of start positions, the motion-planning problem does not always have a solution when the robots and their targets are positioned very densely. In this paper, we prove tight bounds on how much separation between start and target positions is necessary to always guarantee a solution. Moreover, we describe an algorithm that always finds a solution in time $O(n \log n + mn + m^2)$ if the separation bounds are met. Specifically, we prove that the following separation is sufficient: any two start positions are at least distance $4$ apart, any two target positions are at least distance $4$ apart, and any pair of a start and a target positions is at least distance $3$ apart. We further show that when the free space consists of a single connected component, the separation between start and target positions is not necessary.


title: The Role of Resource Awareness in Medical Information System Life Cycle

abstract: During the process of medical information system development, resource awareness is neglected. It is often assumed that the underlying hardware will always have enough memory, processing power, and network bandwidth. Unfortunately, this approach seems not so feasible in every case, and these assumptions, if proven wrong, will harm the initial development run, a later system upgrade, and life cycle in general. This paper aims to raise a resource awareness problem that could still influence all information system deployment and maintenance steps. As an example, we described the influence of the general hardware and network limitations on the information system design, functionality update process, and external system integration. Our research results are a set of guidelines that should be applied to support resource awareness, as an important part of the system design.


title: Efficient Nearly-Fair Division with Capacity Constraints

abstract: We consider the problem of fairly and efficiently allocating indivisible items (goods or bads) under capacity constraints. In this setting, we are given a set of categorized items. Each category has a capacity constraint (the same for all agents), that is an upper bound on the number of items an agent can receive from each category. Our main result is a polynomial-time algorithm that solves the problem for two agents with additive utilities over the items. When each category contains items that are all goods (positively evaluated) or all chores (negatively evaluated) for each of the agents, our algorithm finds a feasible allocation of the items, which is both Pareto-optimal and envy-free up to one item. In the general case, when each item can be a good or a chore arbitrarily, our algorithm finds an allocation that is Pareto-optimal and envy-free up to one good and one chore.


title: Prisma: A Tierless Language for Enforcing Contract-Client Protocols in Decentralized Applications (Extended Version)

abstract: Decentralized applications (dApps) consist of smart contracts that run on blockchains and clients that model collaborating parties. dApps are used to model financial and legal business functionality. Today, contracts and clients are written as separate programs -- in different programming languages -- communicating via send and receive operations. This makes distributed program flow awkward to express and reason about, increasing the potential for mismatches in the client-contract interface, which can be exploited by malicious clients, potentially leading to huge financial losses. In this paper, we present Prisma, a language for tierless decentralized applications, where the contract and its clients are defined in one unit and pairs of send and receive actions that "belong together" are encapsulated into a single direct-style operation, which is executed differently by sending and receiving parties. This enables expressing distributed program flow via standard control flow and renders mismatching communication impossible. We prove formally that our compiler preserves program behavior in presence of an attacker controlling the client code. We systematically compare Prisma with mainstream and advanced programming models for dApps and provide empirical evidence for its expressiveness and performance.


title: Social Aspects of Software Testing: Comparative Studies in Asia

abstract: This study attempts to understand motivators and de-motivators that influence the decisions of software students to take up and sustain software testing careers across three different Asian countries, i.e., China, India, and Malaysia. The re-search question can be framed as How many software students across different Asian geographies are keen to take up testing careers, and what are the reasons for their choices? Towards an answer, we developed a cross-sectional but simple survey-based instrument. In this work, we investigated how software students perceived the software testing role. The results from China and India revealed that students are not very keen on taking up a software tester career, but the Malaysia students show a more positive attitude towards software testing. The study also pointed out the importance of considering software testing activities as a set of human-dependent tasks and emphasized the need for further re-search that examines critically individual assessments of software testers about software testing activities. This investigation can academics involved in software testing courses to understand the impacting factors on the motivation and de-motivators of their students, as well as to try convey positive view of testing as challenging and requires critical thinking and innovative ideas.


title: Spectral properties of the generalized diluted Wishart ensemble

abstract: The celebrated Mar\v{c}enko-Pastur law, that considers the asymptotic spectral density of random covariance matrices, has found a great number of applications in physics, biology, economics, engineering, among others. Here, using techniques from statistical mechanics of spin glasses, we derive simple formulas concerning the spectral density of generalized diluted Wishart matrices. These are defined as $\bm{F}\equiv \frac{1}{2d}\left( \bm{X}\bm{Y}^T+ \bm{Y}\bm{X}^T\right)$, where $\bm{X}$ and $\bm{Y}$ are diluted $N\times P$ rectangular matrices, whose entries correspond to the links of doubly-weighted random bipartite Poissonian graphs following the distribution $P(x_{i}^\mu,y_{i}^{\mu})=\frac{d}{N}\varrho(x_{i}^{\mu},y_{i}^{\mu})+\left(1-\frac{d}{N}\right)\delta_{x_{i}^{\mu},0}\delta_{y_{i}^{\mu},0}$, with the probability density $\varrho(x,y)$ controlling the correlation between the matrices entries of $\bm{X}$ and $\bm{Y}$. Our results cover several interesting cases by varying the parameters of the matrix ensemble, namely, the dilution of the graph $d$, the rectangularity of the matrices $\alpha=N/P$, and the degree of correlation of the matrix entries via the density $\varrho(x,y)$. Finally, we compare our findings to numerical diagonalisation showing excellent agreement.


title: Strong Equivalence of Logic Programs with Counting

abstract: In answer set programming, two groups of rules are considered strongly equivalent if they have the same meaning in any context. In some cases, strong equivalence of programs in the input language of the grounder gringo can be established by deriving rules of each program from rules of the other. The possibility of such proofs has been demonstrated for a subset of that language that includes comparisons, arithmetic operations, and simple choice rules, but not aggregates. This method is extended here to a class of programs in which some uses of the #count aggregate are allowed. This paper is under consideration for acceptance in TPLP.


title: The intrinsic pathology of self-interacting vector fields

abstract: We show that self-interacting vector field theories exhibit unphysical behaviour even when they are not coupled to any external field. This means any theory featuring such vectors is in danger of being unphysical, an alarming prospect for many proposals in cosmology, gravity, high energy physics and beyond. The problem arises when vector fields with healthy configurations naturally reach a point where time evolution is mathematically ill-defined. We develop tools to easily identify this issue, and provide a simple and unifying framework to investigate it.


title: Andreev bound states in junctions formed by conventional and $\mathcal{PT}$-symmetric non-Hermitian superconductors

abstract: We study theoretically a junction of a $\mathcal{PT}$-symmetric non-Hermitian superconductor (PTS) placed between two conventional superconductors. We show that due to non-Hermitian electron-electron interaction in the PTS region and the combination of symmetries, only discrete values of phases of the conventional superconductors yield solutions for Andreev bound states. Remarkably, in the case of $0$ and $\pi$, we obtain growing and decaying in time Andreev bound states. For $\pi/2$ and $3\pi/2$, there is a Majorana zero mode penetrating through the junction in only one direction forming a quasiparticle supercurrent.


title: Improving Bayesian radiological profiling of waste drums using Dirichlet priors, Gaussian process priors, and hierarchical modeling

abstract: We present three methodological improvements of the "SCK CEN approach" for Bayesian inference of the radionuclide inventory in radioactive waste drums, from radiological measurements. First we resort to the Dirichlet distribution for the prior distribution of the isotopic vector. The Dirichlet distribution possesses the attractive property that the elements of its vector samples sum up to 1. Second, we demonstrate that such Dirichlet priors can be incorporated within an hierarchical modeling of the prior uncertainty in the isotopic vector, when prior information about isotopic composition is available. Our used Bayesian hierarchical modeling framework makes use of this available information but also acknowledges its uncertainty by letting to a controlled extent the information content of the indirect measurement data (i.e., gamma and neutron counts) shape the actual prior distribution of the isotopic vector. Third, we propose to regularize the Bayesian inversion by using Gaussian process (GP) prior modeling when inferring 1D spatially-distributed quantities. As of uncertainty in the efficiencies, we keep using the same stylized drum modeling approach as proposed in our previous work to account for the source distribution uncertainty across the vertical direction of the drum. A series of synthetic tests followed by application to a real waste drum show that combining hierarchical modeling of the prior isotopic composition uncertainty together with GP prior modeling of the vertical Pu profile across the drum works well. We also find that our GP prior can handles both cases with and without spatial correlation. The computational times involved by our proposed approach are on the order of a few hours, say about 2, to provide uncertainty estimates for all variables of interest in the considered inverse problem. This warrants further investigations to speed up the inference.


title: Horizon-scale tests of gravity theories and fundamental physics from the Event Horizon Telescope image of Sagittarius A$^*$

abstract: Horizon-scale images of black holes (BHs) and their shadows have opened an unprecedented window onto tests of gravity and fundamental physics in the strong-field regime. We consider a wide range of well-motivated deviations from classical General Relativity (GR) BH solutions, and constrain them using the Event Horizon Telescope (EHT) observations of Sagittarius A$^*$ (Sgr A$^*$), connecting the size of the bright ring of emission to that of the underlying BH shadow and exploiting high-precision measurements of Sgr A$^*$'s mass-to-distance ratio. The scenarios we consider, and whose fundamental parameters we constrain, include various regular BHs, string-inspired space-times, violations of the no-hair theorem driven by additional fields, alternative theories of gravity, novel fundamental physics frameworks, and BH mimickers including well-motivated wormhole and naked singularity space-times. We demonstrate that the EHT image of Sgr A$^*$ places particularly stringent constraints on models predicting a shadow size larger than that of a Schwarzschild BH of a given mass, with the resulting limits in some cases surpassing cosmological ones. Our results are among the first tests of fundamental physics from the shadow of Sgr A$^*$ and, while the latter appears to be in excellent agreement with the predictions of GR, we have shown that a number of well motivated alternative scenarios, including BH mimickers, are far from being ruled out at present.


title: Configuration of five points in $\mathbb P^3$ and their limits

abstract: We give a classification of ordered five points in $\mathbb P^3$ under the diagonal action of $GL_4$ over an algebraically closed field of characteristic $0$, by an explicit description of the diagonal action of $GL_4$ on the quintuple of the projective varieties $\mathbb P^3$. This is the second simplest setting, where a reductive subgroup of $H$ of $G$ has an open orbit in a (generalised) flag variety $X$ of $G$ but $\#(H\backslash X)=\infty$. The closure relations among infinitely many orbits are also given.


title: The derived Brauer map via twisted sheaves

abstract: Let $X$ be a quasicompact quasiseparated scheme. The collection of derived Azumaya algebras in the sense of To\"en forms a group, which contains the classical Brauer group of $X$ and which we call $Br^\dagger(X)$ following Lurie. To\"en introduced a map $\phi:Br^\dagger(X)\to H^2_{et}(X,\mathbb G_m)$ which extends the classical Brauer map, but instead of being injective, it is surjective. In this paper we study the restriction of $\phi$ to a subgroup $Br(X)\subset Br^\dagger(X)$, which we call the "derived Brauer group", on which $\phi$ becomes an isomorphism $Br(X)\simeq H^2_{et}(X,\mathbb G_m)$. This map may be interpreted as a derived version of the classical Brauer map which offers a way to "fill the gap" between the classical Brauer group and the cohomogical Brauer group. The group $Br(X)$ was introduced by Lurie by making use of the theory of prestable $\infty$-categories. There, the mentioned isomorphism of abelian groups was deduced from an equivalence of $\infty$-categories between the "Brauer space" of invertible presentable prestable $\mathcal O_X$-linear categories, and the space $Map(X,K(\mathbb G_m,2))$. We offer an alternative proof of this equivalence of $\infty$-categories, characterizing the functor from the left to the right via gerbes of connective trivializations, and its inverse via connective twisted sheaves. We also prove that this equivalence carries a symmetric monoidal structure, thus proving a conjecture of Binda an Porta.


title: Multi-wavelength study of the luminous GRB 210619B observed with Fermi and ASIM

abstract: We report on detailed multi-wavelength observations and analysis of the very bright and long GRB 210619B, detected by the Atmosphere-Space Interactions Monitor (ASIM) installed on the International Space Station (ISS) and the Gamma-ray Burst Monitor (GBM) on-board the Fermi mission. Our main goal is to understand the radiation mechanisms and jet composition of GRB 210619B. With a measured redshift of $z$ = 1.937, we find that GRB 210619B falls within the 10 most luminous bursts observed by Fermi so far. The energy-resolved prompt emission light curve of GRB 210619B exhibits an extremely bright hard emission pulse followed by softer/longer emission pulses. The low-energy photon indices ($\alpha_{\rm pt}$) values obtained using the time-resolved spectral analysis of the burst suggest a transition between the thermal (during harder pulse) to non-thermal (during softer pulse) outflow. We examine the correlation between spectral parameters and find that both peak energy and $\alpha_{\rm pt}$ exhibit the flux tracking pattern. The late time broadband photometric dataset can be explained within the framework of the external forward shock model with $\nu_m$ $< \nu_c$ $< \nu_{x}$ (where $\nu_m$, $\nu_c$, and $\nu_{x}$ are the synchrotron peak, cooling-break, and X-ray frequencies, respectively) spectral regime supporting a rarely observed hard electron energy index ($p<$ 2). We find moderate values of host extinction of E(B-V) = 0.14 $\pm$ 0.01 mag for the Small Magellanic Cloud (SMC) extinction law. In addition, we also report late-time optical observations with the 10.4 m GTC placing deep upper limits for the host galaxy ($z$=1.937), favouring a faint, dwarf host for the burst.


title: A note on almost negative matrices and Gromov-hyperbolic Coxeter groups

abstract: In this note we revisit Moussong's Characterization of Gromov-hyperbolic Coxeter groups. A Coxeter group is Gromov-hyperbolic if and only if it does not contain a subgroup isomorphic to $\mathbb{Z}^2$ which can be read off directly from the defining graph. We show that there is a small gap in the original argument and provide a workaround.


title: Single-molecule mid-IR detection through vibrationally-assisted luminescence

abstract: Room temperature detection of molecular vibrations in the mid-infrared (MIR, $\lambda$ =3-30$\mu$m) has numerous applications including real-time gas sensing, chemical reactivity, medical imaging, astronomical surveys, and quantum communication [1,2]. However, MIR detection is severely hindered by thermal noise, hence current technologies rely on energy-intensive cooled semiconductor detectors (mercury cadmium telluride, MCT) [3,4,5]. One way to overcome this challenge is to upconvert the low-energy MIR light into high-energy visible wavelengths ($\lambda$ =500-800nm) where detection of single photons is easily achieved using silicon technologies [6,7]. This process suffers from weak cross sections and the mismatch between MIR and visible wavelengths, limiting its efficiency. Here, we exploit molecular emitters possessing both MIR and visible transitions from molecular vibrations and electronic states, coupled through Frank-Condon factors. By assembling molecules into a nanoscale cavity and continuously optically pumping them below the electronic absorption band, we show the transduction of MIR light absorbed by the molecular vibrations. The upconverted signal is observed as enhanced high-energy luminescence. Combining Purcell-enhanced visible luminescence with enhanced rates of vibrational pumping gives transduction efficiencies exceeding 10%. By down-scaling the cavity volume below $1nm^3$, we show MIR detection of single-molecular bonds, inaccessible to any previous detector.


title: Regarding Flows Under the Free Energy Principle: A Comment on "How Particular is the Physics of the Free Energy Principle?" by Aguilera, Millidge, Tschantz, and Buckley

abstract: In a recent technical critique of the free energy principle (FEP) due to Aguilera-Millidge-Tschantz-Buckley, it is argued that there are a number of instances where the FEP$\unicode{x2014}$as conventionally written, in terms of densities over states$\unicode{x2014}$is uninformative about the dynamics of many physical systems, and by extension, many 'things.' In this informal comment on their critique, I highlight two points of interest where their derivations are largely correct, but where their arguments are not fatal to the FEP. I go on to conjecture that a path-based formulation of the FEP has key features which restore its explanatory power in broad physical regimes. Correspondingly, this piece takes the position that the application of a state-based formulation of the FEP is inappropriate for certain simple systems, but, that the FEP can be expected to hold regardless.


title: Minimal model of Chiral Higher Spin Gravity

abstract: A unique class of local Higher Spin Gravities with propagating massless fields in $4d$ - Chiral Higher Spin Gravity - was first found in the light-cone gauge. We construct a covariant form of the corresponding field equations in all orders, thus completing the previous analysis of arXiv:2204.10285. This result is equivalent to taking the minimal model (in the sense of $L_\infty$-algebras) of the jet-space BV-BRST formulation of Chiral Higher Spin Gravity, thereby, containing also information about counterterms, anomalies, etc.


title: Referring Expressions with Rational Speech Act Framework: A Probabilistic Approach

abstract: This paper focuses on a referring expression generation (REG) task in which the aim is to pick out an object in a complex visual scene. One common theoretical approach to this problem is to model the task as a two-agent cooperative scheme in which a `speaker' agent would generate the expression that best describes a targeted area and a `listener' agent would identify the target. Several recent REG systems have used deep learning approaches to represent the speaker/listener agents. The Rational Speech Act framework (RSA), a Bayesian approach to pragmatics that can predict human linguistic behavior quite accurately, has been shown to generate high quality and explainable expressions on toy datasets involving simple visual scenes. Its application to large scale problems, however, remains largely unexplored. This paper applies a combination of the probabilistic RSA framework and deep learning approaches to larger datasets involving complex visual scenes in a multi-step process with the aim of generating better-explained expressions. We carry out experiments on the RefCOCO and RefCOCO+ datasets and compare our approach with other end-to-end deep learning approaches as well as a variation of RSA to highlight our key contribution. Experimental results show that while achieving lower accuracy than SOTA deep learning methods, our approach outperforms similar RSA approach in human comprehension and has an advantage over end-to-end deep learning under limited data scenario. Lastly, we provide a detailed analysis on the expression generation process with concrete examples, thus providing a systematic view on error types and deficiencies in the generation process and identifying possible areas for future improvements.


title: Artin perverse sheaves

abstract: We show that the perverse t-structure induces a t-structure on the category $\mathcal{D}^A(S,\mathbb{Z}_\ell)$ of Artin $\ell$-adic complexes when $S$ is an excellent scheme of dimension less than $2$ and provide a counter-example in dimension $3$. The heart $\mathrm{Perv}^A(S,\mathbb{Z}_\ell)$ of this t-structure can be described explicitly in terms of representations in the case of $1$-dimensional schemes. When $S$ is of finite type over a finite field, we also construct a perverse homotopy t-structure over $\mathcal{D}^A(S,\mathbb{Q}_\ell)$ and show that it is the best possible approximation of the perverse t-structure. We describe the simple objects of its heart $\mathrm{Perv}^A(S,\mathbb{Q}_\ell)^\#$ and show that the weightless truncation functor $\omega^0$ is t-exact. We also show that the weightless intersection complex $EC_S=\omega^0 IC_S$ is a simple Artin homotopy perverse sheaf. If $S$ is a surface, it is also a perverse sheaf but it need not be simple in the category of perverse sheaves.


title: On the probabilistic well-posedness of the two-dimensional periodic nonlinear Schr\"odinger equation with the quadratic nonlinearity $|u|^2$

abstract: We study the two-dimensional periodic nonlinear Schr\"odinger equation (NLS) with the quadratic nonlinearity $|u|^2$. In particular, we study the quadratic NLS with random initial data distributed according to a fractional derivative (of order $\alpha \geq 0$) of the Gaussian free field. After removing the singularity at the zeroth frequency, we prove that the quadratic NLS is almost surely locally well-posed for $\alpha < \frac{1}{2}$ and is probabilistically ill-posed for $\alpha \geq \frac{3}{4}$ in a suitable sense. These results show that in the case of rough random initial data and a quadratic nonlinearity, the standard probabilistic well-posedness theory for NLS breaks down before reaching the critical value $\alpha = 1$ predicted by the scaling analysis due to Deng, Nahmod, and Yue (2019), and thus this paper is a continuation of the work by Oh and Okamoto (2021) on stochastic nonlinear wave and heat equations by building an analogue for NLS.


title: Multiple solutions of a nonlinear biharmonic equation on graphs

abstract: In this paper, we consider a biharmonic equation with respect to the Dirichlet problem on a domain of a locally finite graph. Using the variation method, we prove that the equation has two distinct solutions under certain conditions.


title: Transfer of Rocks between Planetary Systems: Panspermia Revisited

abstract: Motivated by the recent discovery of interstellar objects passing through the solar system, and by recent developments in dynamical simulations, this paper reconsiders the likelihood for life bearing rocks to be transferred from one planetary system to another. The astronomical aspects of this lithopanspermia process can now be estimated, including the cross sections for rock capture, the velocity distributions of rocky ejecta, the survival times for captured objects, and the dynamics of the solar system in both its birth cluster and in the field. The remaining uncertainties are primarily biological, i.e., the probability of life developing on a planet, the time required for such an event, and the efficiency with which life becomes seeded in a new environment. Using current estimates for the input quantities, we find that the transfer rates are enhanced in the birth cluster, but the resulting odds for success are too low for panspermia to be a likely occurrence. In contrast, the expected inventory of alien rocks in the solar system is predicted to be substantial (where the vast majority of such bodies are not biologically active and do not interact with Earth).


title: Design and Evaluation of an Invariant Extended Kalman Filter for Trunk Motion Estimation with Sensor Misalignment

abstract: Understanding human motion is of critical importance for health monitoring and control of assistive robots, yet many human kinematic variables cannot be directly or accurately measured by wearable sensors. In recent years, invariant extended Kalman filtering (InEKF) has shown a great potential in nonlinear state estimation, but its applications to human poses new challenges, including imperfect placement of wearable sensors and inaccurate measurement models. To address these challenges, this paper proposes an augmented InEKF design which considers the misalignment of the inertial sensor at the trunk as part of the states and preserves the group affine property for the process model. Personalized lower-extremity forward kinematic models are built and employed as the measurement model for the augmented InEKF. Observability analysis for the new InEKF design is presented. The filter is evaluated with three subjects in squatting, rolling-foot walking, and ladder-climbing motions. Experimental results validate the superior performance of the proposed InEKF over the state-of-the-art InEKF. Improved accuracy and faster convergence in estimating the velocity and orientation of human, in all three motions, are achieved despite the significant initial estimation errors and the uncertainties associated with the forward kinematic measurement model.


title: Large rank jumps on elliptic surfaces and the Hilbert property

abstract: Given a rational elliptic surface over a number field, we study the collection of fibers whose Mordell--Weil rank is greater than the generic rank. We give conditions on the singular fibers to assure that the collection of fibers for which the rank jumps of at least 3 is not thin.


title: The Primacy Bias in Deep Reinforcement Learning

abstract: This work identifies a common flaw of deep reinforcement learning (RL) algorithms: a tendency to rely on early interactions and ignore useful evidence encountered later. Because of training on progressively growing datasets, deep RL agents incur a risk of overfitting to earlier experiences, negatively affecting the rest of the learning process. Inspired by cognitive science, we refer to this effect as the primacy bias. Through a series of experiments, we dissect the algorithmic aspects of deep RL that exacerbate this bias. We then propose a simple yet generally-applicable mechanism that tackles the primacy bias by periodically resetting a part of the agent. We apply this mechanism to algorithms in both discrete (Atari 100k) and continuous action (DeepMind Control Suite) domains, consistently improving their performance.


title: Average-Case Hardness of Proving Tautologies and Theorems

abstract: We consolidate two widely believed conjectures about tautologies -- no optimal proof system exists, and most require superpolynomial size proofs in any system -- into a $p$-isomorphism-invariant condition satisfied by all paddable $\textbf{coNP}$-complete languages or none. The condition is: for any Turing machine (TM) $M$ accepting the language, $\textbf{P}$-uniform input families requiring superpolynomial time by $M$ exist (equivalent to the first conjecture) and appear with positive upper density in an enumeration of input families (implies the second). In that case, no such language is easy on average (in $\textbf{AvgP}$) for a distribution applying non-negligible weight to the hard families. The hardness of proving tautologies and theorems is likely related. Motivated by the fact that arithmetic sentences encoding "string $x$ is Kolmogorov random" are true but unprovable with positive density in a finitely axiomatized theory $\mathcal{T}$ (Calude and J{\"u}rgensen), we conjecture that any propositional proof system requires superpolynomial size proofs for a dense set of $\textbf{P}$-uniform families of tautologies encoding "there is no $\mathcal{T}$ proof of size $\leq t$ showing that string $x$ is Kolmogorov random". This implies the above condition. The conjecture suggests that there is no optimal proof system because undecidable theories help prove tautologies and do so more efficiently as axioms are added, and that constructing hard tautologies seems difficult because it is impossible to construct Kolmogorov random strings. Similar conjectures that computational blind spots are manifestations of noncomputability would resolve other open problems.


title: CurFi: An automated tool to find the best regression analysis model using curve fitting

abstract: Regression analysis is a well known quantitative research method that primarily explores the relationship between one or more independent variables and a dependent variable. Conducting regression analysis manually on large datasets with multiple independent variables can be tedious. An automated system for regression analysis will be of great help for researchers as well as non-expert users. Thus, the objective of this research is to design and develop an automated curve fitting system. As outcome, a curve fitting system named "CurFi" was developed that uses linear regression models to fit a curve to a dataset and to find out the best fit model. The system facilitates to upload a dataset, split the dataset into training set and test set, select relevant features and label from the dataset; and the system will return the best fit linear regression model after training is completed. The developed tool would be a great resource for the users having limited technical knowledge who will also be able to find the best fit regression model for a dataset using the developed "CurFi" system.


title: Iterated Gauss-Seidel GMRES

abstract: The GMRES algorithm of Saad and Schultz (1986) is an iterative method for approximately solving linear systems $A{\bf x}={\bf b}$, with initial guess ${\bf x}_0$ and residual ${\bf r}_0 = {\bf b} - A{\bf x}_0$. The algorithm employs the Arnoldi process to generate the Krylov basis vectors (the columns of $V_k$). It is well known that this process can be viewed as a $QR$ factorization of the matrix $B_k = [\: {\bf r}_0, AV_k\:]$ at each iteration. Despite an ${O}(\epsilon)\kappa(B_k)$ loss of orthogonality, for unit roundoff $\epsilon$ and condition number $\kappa$, the modified Gram-Schmidt formulation was shown to be backward stable in the seminal paper by Paige et al. (2006). We present an iterated Gauss-Seidel formulation of the GMRES algorithm (IGS-GMRES) based on the ideas of Ruhe (1983) and \'{S}wirydowicz et al. (2020). IGS-GMRES maintains orthogonality to the level ${O}(\epsilon)\kappa(B_k)$ or ${O}(\epsilon)$, depending on the choice of one or two iterations; for two Gauss-Seidel iterations, the computed Krylov basis vectors remain orthogonal to working precision and the smallest singular value of $V_k$ remains close to one. The resulting GMRES method is thus backward stable. We show that IGS-GMRES can be implemented with only a single synchronization point per iteration, making it relevant to large-scale parallel computing environments. We also demonstrate that, unlike MGS-GMRES, in IGS-GMRES the relative Arnoldi residual corresponding to the computed approximate solution no longer stagnates above machine precision even for highly non-normal systems.


title: Magneto-Transport Properties of Kagome Magnet TmMn$_6$Sn$_6$

abstract: Kagome magnet usually hosts nontrivial electronic or magnetic states drawing great interests in condensed matter physics. In this paper, we report a systematic study on transport properties of kagome magnet TmMn$_6$Sn$_6$. The prominent topological Hall effect (THE) has been observed in a wide temperature region spanning over several magnetic phases and exhibits strong temperature and field dependence. This novel phenomenon due to non-zero spin chirality indicates possible appearance of nontrival magnetic states accompanying with strong fluctuations. The planar applied field drives planar Hall effect(PHE) and anistropic magnetoresisitivity(PAMR) exhibiting sharp disconnections in angular dependent planar resistivity violating the empirical law. By using an effective field, we identify a magnetic transition separating the PAMR into two groups belonging to various magnetic states. We extended the empirical formula to scale the field and temperature dependent planar magnetoresistivity and provide the understandings for planar transport behaviors with the crossover between various magnetic states. Our results shed lights on the novel transport effects in presence of multiple nontrivial magnetic states for the kagome lattice with complicated magnetic structures.


title: The initial conditions for young massive cluster formation in the Galactic Centre: convergence of large-scale gas flows

abstract: Young massive clusters (YMCs) are compact ($\lesssim$1 pc), high-mass (>10${}^4$ M${}_{\odot}$) stellar systems of significant scientific interest. Due to their rarity and rapid formation, we have very few examples of YMC progenitor gas clouds before star formation has begun. As a result, the initial conditions required for YMC formation are uncertain. We present high-resolution (0.13$^{\prime\prime}$, $\sim$1000 au) ALMA observations and Mopra single-dish data, showing that Galactic Centre dust ridge `Cloud d' (G0.412$+$0.052, mass$\sim 7.6 \times 10^4$ M$_{\odot}$, radius$\sim 3.2$ pc) has the potential to become an Arches-like YMC (10$^4$ M$_{\odot}$, r$\sim$1 pc), but is not yet forming stars. This would mean it is the youngest known pre-star forming massive cluster and therefore could be an ideal laboratory for studying the initial conditions of YMC formation. We find 96 sources in the dust continuum, with masses $\lesssim$3 M$_{\odot}$ and radii of $\sim$10${}^3$ au. The source masses and separations are more consistent with thermal rather than turbulent fragmentation. It is not possible to unambiguously determine the dynamical state of most of the sources, as the uncertainty on virial parameter estimates is large. We find evidence for large-scale ($\sim$1 pc) converging gas flows, which could cause the cloud to grow rapidly, gaining 10$^4$ M$_{\odot}$ within 10$^5$ yr. The highest density gas is found at the convergent point of the large-scale flows. We expect this cloud to form many high-mass stars, but find no high-mass starless cores. If the sources represent the initial conditions for star formation, the resulting IMF will be bottom-heavy.


title: Switch as a Verifier: Toward Scalable Data Plane Checking via Distributed, On-Device Verification

abstract: Data plane verification (DPV) is important for finding network errors. Current DPV tools employ a centralized architecture, where a server collects the data planes of all devices and verifies them. Despite substantial efforts on accelerating DPV, this centralized architecture is inherently unscalable. In this paper, to tackle the scalability challenge of DPV, we circumvent the scalability bottleneck of centralized design and design Coral, a distributed, on-device DPV framework. The key insight of Coral is that DPV can be transformed into a counting problem on a directed acyclic graph, which can be naturally decomposed into lightweight tasks executed at network devices, enabling scalability. Coral consists of (1) a declarative requirement specification language, (2) a planner that employs a novel data structure DVNet to systematically decompose global verification into on-device counting tasks, and (3) a distributed verification (DV) protocol that specifies how on-device verifiers communicate task results efficiently to collaboratively verify the requirements. We implement a prototype of Coral. Extensive experiments with real-world datasets (WAN/LAN/DC) show that Coral consistently achieves scalable DPV under various networks and DPV scenarios, i.e., up to 1250 times speed up in the scenario of burst update, and up to 202 times speed up on 80% quantile of incremental verification, than state-of-the-art DPV tools, with little overhead on commodity network devices.


title: Searching for a Ringdown Overtone in GW150914

abstract: We reanalyze the GW150914 post-merger data searching for quasinormal modes beyond the fundamental, quadrupolar mode. There is currently an ongoing disagreement in the literature about whether, and to what extent, the data contains evidence for a quasinormal mode overtone. We use a frequency-domain approach to ringdown data analysis that was recently proposed by the authors. Our analysis has several advantages compared to other analyses performed mainly in the time domain; in particular, the source sky position and the ringdown start time are marginalized over (as opposed to simply being fixed) as part of a Bayesian ringdown analysis. We find tentative evidence for an overtone in GW150914, but at a lower significance than reported elsewhere. Our preferred analysis, marginalizing over the uncertainty in the time of peak strain amplitude, gives a posterior on the overtone amplitude peaked away from zero at $\sim 1.8\sigma$.


title: Induced gravitational waves from statistically anisotropic scalar perturbations

abstract: Scalar-induced gravitational waves (SIGWs) are attracting growing attention for probing extremely short-scale scalar perturbations via gravitational wave measurements. In this paper, we investigate the SIGWs from statistically anisotropic scalar perturbations, which are motivated in inflationary scenarios in the presence of, e.g., a vector field. While the ensemble average of the SIGW energy spectrum is isotropic for the standard statistically isotropic scalar perturbations, the statistical anisotropy in the source introduces the multipole moments of the differential SIGW energy spectrum. We consider quadrupole anisotropy in the scalar power spectrum and show that the SIGW spectrum has anisotropies up to $\ell=4$. We present generic formulas of the multipole moments and then apply them to the delta-function-like and log-normal source spectra. We find analytic expressions for the former case and show that the infrared scalings of the multipole moments are the same as the isotropic SIGWs. Interestingly, the monopole has an additional local minimum in the high-$k$ tail, a key feature to distinguish from the isotropic SIGWs. The latter log-normal case is analytic for the narrow-peak source, and we perform the numerical calculation for the broad peak. As one expects, the multipole moments become broader with increasing source width. Our results are helpful to test the isotropy of primordial density perturbations at extremely small scales through SIGWs.


title: Natural Language Specifications in Proof Assistants

abstract: Interactive proof assistants are computer programs carefully constructed to check a human-designed proof of a mathematical claim with high confidence in the implementation. However, this only validates truth of a formal claim, which may have been mistranslated from a claim made in natural language. This is especially problematic when using proof assistants to formally verify the correctness of software with respect to a natural language specification. The translation from informal to formal remains a challenging, time-consuming process that is difficult to audit for correctness. This paper argues that it is possible to build support for natural language specifications within existing proof assistants, in a way that complements the principles used to establish trust and auditability in proof assistants themselves.


title: Heat Source Layout Optimization Using Automatic Deep Learning Surrogate and Multimodal Neighborhood Search Algorithm

abstract: In satellite layout design, heat source layout optimization (HSLO) is an effective technique to decrease the maximum temperature and improve the heat management of the whole system. Recently, deep learning surrogate assisted HSLO has been proposed, which learns the mapping from layout to its corresponding temperature field, so as to substitute the simulation during optimization to decrease the computational cost largely. However, it faces two main challenges: 1) the neural network surrogate for the certain task is often manually designed to be complex and requires rich debugging experience, which is challenging for the designers in the engineering field; 2) existing algorithms for HSLO could only obtain a near optimal solution in single optimization and are easily trapped in local optimum. To address the first challenge, considering reducing the total parameter numbers and ensuring the similar accuracy as well as, a neural architecture search (NAS) method combined with Feature Pyramid Network (FPN) framework is developed to realize the purpose of automatically searching for a small deep learning surrogate model for HSLO. To address the second challenge, a multimodal neighborhood search based layout optimization algorithm (MNSLO) is proposed, which could obtain more and better approximate optimal design schemes simultaneously in single optimization. Finally, two typical two-dimensional heat conduction optimization problems are utilized to demonstrate the effectiveness of the proposed method. With the similar accuracy, NAS finds models with 80% fewer parameters, 64% fewer FLOPs and 36% faster inference time than the original FPN. Besides, with the assistance of deep learning surrogate by automatic search, MNSLO could achieve multiple near optimal design schemes simultaneously to provide more design diversities for designers.


title: On Lasso and Slope drift estimators for L\'evy-driven Ornstein--Uhlenbeck processes

abstract: We investigate the problem of estimating the drift parameter of a high-dimensional L\'evy-driven Ornstein--Uhlenbeck process under sparsity constraints. It is shown that both Lasso and Slope estimators achieve the minimax optimal rate of convergence (up to numerical constants), for tuning parameters chosen independently of the confidence level, which improves the previously obtained results for standard Ornstein--Uhlenbeck processes. The results are nonasymptotic and hold both in probability and conditional expectation with respect to an event resembling the restricted eigenvalue condition.


title: Punctured-Chern topological invariants for semi-metallic bandstructures

abstract: Topological insulator-based methods underpin the topological classification of gapped bands, including those surrounding semi-metallic nodal defects. However, multiple bands with gap-closing points can also possess non-trivial topology. We construct a general wavefunction-based ``punctured-Chern" invariant to capture such topology. To show its general applicability, we analyze two systems with disparate gapless topology: 1) a recent two-dimensional fragile topological model to capture the various band-topological transitions and 2) a three-dimensional model with a triple-point nodal defect to characterize its semi-metallic topology with \emph{half-integers} that govern physical observables such as anomalous transport. This invariant also gives the classification for Nexus triple-points ($\mathbb{Z}\times\mathbb{Z}$) with certain symmetry restrictions, which is re-confirmed by abstract algebra.


title: Vehicle Collision Detection & Prevention Using VANET Based IoT With V2V

abstract: EMERGENCY alert in case of any accident is vitally necessitated to rescue the victims. And so, this paper is made to present the results of a major analysis relating to emergency alert conditions at the time of collision (automobile). In this study, the authors have investigated modern Internet of Things (IoT) and VANET (Vehicular Ad hoc Networks) technologies and developed a collection of modern and specialized techniques as well as their characteristics. It has sensors that detect unbalanced circumstances and provide with a warning to the microcontroller if a collision occurs. Additionally, the technique can be implemented in such a way that vehicles are alerted of possible closing barriers. Vehicle-to-Vehicle communication (V2V) has a huge impact since it allows vehicles to communicate with each other while in proximity and the buzzer together with the LEDs serves as a safety feature. The primary goal of the system is to carry out the microcontroller functions in every environment and moreover, the concept refers to detect and prevent the collision specially in a foggy weather as well as at night and in other odd circumstances. The Internet of Things (IoT) and the Vehicular Ad-Hoc Network (VANET) have now been merged as the fundamental and central components of Intelligent Transportation System (ITS). Furthermore, while the procedure of obtaining the insurance may be longer for certain people. On the other hand, others may avoid the law after being involved in severe collisions which makes it difficult for the authorities to discriminate between criminal and non-criminal evidence.


title: RAN Slicing: Towards Multi-Tenancy IN 5G Radio Access Networks

abstract: A significant purpose of 5G networks is allowing sharing resources among different network tenants such as service providers and Mobile Virtual network Operators. Numerous domains are taken in account regarding resource sharing containing different infrastructure (storage, compute and networking), Radio Access Network (RAN) and Radio Frequency (RF) spectrum. RAN and spectrum, transport. Spectrum sharing and RAN are anticipated as the fundamental part in multi-tenant 5G network. Nevertheless, there is a shortage of evaluation platforms to determine the number of benefits that can be acquired from multilevel spectrum sharing rather than single-level spectrum sharing. The work presented in this paper intend to address this issue by presenting a modified SimuLTE model is used for evaluating active RAN based on multi-tenant 5G networks. The result shows an understanding into the actual advantages of RAN slicing for multi-tenants in 5G networks.


title: $T\bar{T}$ in JT Gravity and BF Gauge Theory

abstract: JT gravity has a first-order formulation as a two-dimensional BF theory, which can be viewed as the dimensional reduction of the Chern-Simons description of $3d$ gravity. We consider $T\bar{T}$-type deformations of the $(0+1)$-dimensional dual to this $2d$ BF theory and interpret the deformation as a modification of the BF theory boundary conditions. The fundamental observables in this deformed BF theory, and in its $3d$ Chern-Simons lift, are Wilson lines and loops. In the $3d$ Chern-Simons setting, we study modifications to correlators involving boundary-anchored Wilson lines which are induced by a $T\bar{T}$ deformation on the $2d$ boundary; results are presented at both the classical level (using modified boundary conditions) and the quantum-mechanical level (using conformal perturbation theory). Finally, we calculate the analogous deformed Wilson line correlators in $2d$ BF theory below the Hagedorn temperature where the principal series dominates over the discrete series.


title: Sharp Hessian estimates for fully nonlinear elliptic equations under relaxed convexity assumptions, oblique boundary conditions and applications

abstract: In this work we derive global estimates for viscosity solutions to fully nonlinear elliptic equations under relaxed structural assumptions on the governing operator which are weaker than convexity and oblique boundary conditions and under suitable assumptions on the dat. Our approach makes use of geometric tangential methods, which consists of importing "fine regularity estimates" from a limiting profile, i.e., the Recession operator, associated with the original second order one via compactness and stability procedures. As a result, we devote a special attention to the borderline scenario. In such a setting, we prove that solutions enjoy BMO type estimates for their second derivatives. In the end, as another application of our findings, we obtain Hessian estimates to obstacle type problems under oblique boundary conditions and no convexity assumptions, which may have their own mathematical interest. A density result in a suitable class of viscosity solutions will be also addressed.


title: The angular scale of homogeneity with SDSS-IV DR16 Luminous Red Galaxies

abstract: We report measurements of the angular scale of cosmic homogeneity ($\theta_{H}$) using the recently released luminous red galaxy sample of the sixteenth data release of the Sloan Digital Sky Survey (SDSS-IV LRG DR16). It consists of a model-independent method, as we only use the celestial coordinates of these objects to carry out such an analysis. The observational data is divided into thin redshift bins, namely $0.67<z<0.68$, $0.70<z<0.71$, and $0.73<z<0.74$, in order to avoid projection biases, and we estimate our uncertainties through a bootstrap method and a suite of mock catalogues. We find that the LRGs exhibit an angular scale of homogeneity consistent with the predictions of the standard cosmology within the redshift interval studied. Considering the bootstrap method, in which the measurements are obtained in a model-independent way, we found at 1$\sigma$ level that $\theta_H^{boot}(0.675) = 7.57 \pm 2.91$ deg, $\theta_H^{boot} (0.705) = 7.49 \pm 2.63$ deg and $\theta_H^{boot} (0.735) = 8.88 \pm 2.81$ deg. Such results are in good agreement with the ones obtained using mock catalogues built under the assumption of the standard cosmological model.


title: Multi-ship cooperative air defense model based on queuing theory

abstract: The study of the multi-ship air defense model is of great significance in the simulation and evaluation of the actual combat process, the demonstration of air defense tactics, and the improvement of the security of important targets. The traditional multi-ship air defense model does not consider the coordination between ships, and the model assumptions are often too simple to effectively describe the capabilities of the multi-ship cooperative air defense system in realistic combat scenarios. In response to the above problems, this paper proposes a multi-ship cooperative air defense model, which effectively integrates the attack and defense parameters of both sides such as missile launch rate, missile flight speed, missile launch direction, ship interception rate, ship interception range, and the number of ship interception fire units. Then, the cooperative interception capability among ships is modeled by the method of task assignment. Based on the queuing theory, this paper strictly deduces the penetration probability of the cooperative air defense system, and provides an analytical calculation model for the analysis and design of the cooperative air defense system. Finally, through simulation experiments in typical scenarios, this paper studies and compares the air defense capabilities of the system in two different modes with and without coordination, and verifies the superiority of the multi-ship cooperative air defense model in reducing the probability of missile penetration; Further, the ability changes of the defense system under different parameters such as missile speed, speed, angle, ship interception rate, range, and number of fire units are studied, and the weak points of the defense formation, defense range settings, and interception settings are obtained.