title: Future dynamics of FLRW for the massless-scalar field system with positive cosmological constant

abstract: We consider solutions to the Einstein-massless-scalar field system with a positive cosmological constant, arising from sufficiently regular, near-FLRW, initial data. We establish global existence in the future direction and derive their precise asymptotic behavior towards infinity. As a corollary, we infer that, unlike the FLRW background, the perturbed solutions do not describe a regular irrotational stiff fluid with linear equation of state $p=\rho$, for general asymptotic data at infinity. The reason for the breakdown of this interpretation is that the gradient of the scalar field stops being timelike at large times, eventually becoming null and then spacelike near infinity. Our results hold for open sets of initial data in Sobolev spaces without symmetries.


title: (Integral-)ISS of switched and time-varying impulsive systems based on global state weak linearization

abstract: It is shown that impulsive systems of nonlinear, time-varying and/or switched form that allow a stable global state weak linearization are jointly input-to-state stable (ISS) under small inputs and integral ISS (iISS). The system is said to allow a global state weak linearization if its flow and jump equations can be written as a (time-varying, switched) linear part plus a (nonlinear) pertubation satisfying a bound of affine form on the state. This bound reduces to a linear form under zero input but does not force the system to be linear under zero input. The given results generalize and extend previously existing ones in many directions: (a) no (dwell-time or other) constraints are placed on the impulse-time sequence, (b) the system need not be linear under zero input, (c) existence of a (common) Lyapunov function is not required, (d) the perturbation bound need not be linear on the input.


title: Multi-Objective Optimization of a Path-following MPC for Vehicle Guidance: A Bayesian Optimization Approach

abstract: This paper tackles the multi-objective optimization of the cost functional of a path-following model predictive control for vehicle longitudinal and lateral control. While the inherent optimal character of the model predictive control and the direct consideration of constraints gives a very powerful tool for many applications, is the determination of an appropriate cost functional a non-trivial task. This results on the one hand from the number of degrees of freedom or the multitude of adjustable parameters and on the other hand from the coupling of these. To overcome this situation a Bayesian optimization procedure is present, which gives the possibility to determine optimal cost functional parameters for a given desire. Moreover, a Pareto-front for a whole set of possible configurations can be computed.


title: Cyclic descents for Motzkin paths

abstract: A notion of cyclic descents on standard Young tableaux (SYT) of rectangular shape was introduced by Rhoades, and extended to certain skew shapes by Adin, Elizalde and Roichman. The cyclic descent set restricts to the usual descent set when the largest value is ignored, and has the property that the number of SYT of a given shape with a given cyclic descent set D is invariant under cyclic shifts of the entries of D. Adin, Reiner and Roichman proved that a skew shape has a cyclic descent map if and only if it is not a connected ribbon. Unfortunately, their proof is nonconstructive. Recently Huang constructed an explicit cyclic descent map for all shapes where this is possible. In the earlier version of Adin, Elizalde and Roichman's paper, they asked to find statistics on combinatorial objects which are equidistributed with cyclic descents on SYT of given shapes. In this paper, we explicitly describe cyclic descent sets for Motzkin paths, which are equidistributed with cyclic descent sets of SYT for three-row shapes. Moreover, in light of Stanley's shuffling theorem, we give a bijective proof of the shuffling property of descent statistics for Motzkin paths.


title: Geometry-based Distance Decomposition for Monocular 3D Object Detection

abstract: Monocular 3D object detection is of great significance for autonomous driving but remains challenging. The core challenge is to predict the distance of objects in the absence of explicit depth information. Unlike regressing the distance as a single variable in most existing methods, we propose a novel geometry-based distance decomposition to recover the distance by its factors. The decomposition factors the distance of objects into the most representative and stable variables, i.e. the physical height and the projected visual height in the image plane. Moreover, the decomposition maintains the self-consistency between the two heights, leading to robust distance prediction when both predicted heights are inaccurate. The decomposition also enables us to trace the causes of the distance uncertainty for different scenarios. Such decomposition makes the distance prediction interpretable, accurate, and robust. Our method directly predicts 3D bounding boxes from RGB images with a compact architecture, making the training and inference simple and efficient. The experimental results show that our method achieves the state-of-the-art performance on the monocular 3D Object Detection and Birds Eye View tasks of the KITTI dataset, and can generalize to images with different camera intrinsics.


title: Statistically significant detection of semantic shifts using contextual word embeddings

abstract: Detecting lexical semantic change in smaller data sets, e.g. in historical linguistics and digital humanities, is challenging due to a lack of statistical power. This issue is exacerbated by non-contextual embedding models that produce one embedding per word and, therefore, mask the variability present in the data. In this article, we propose an approach to estimate semantic shift by combining contextual word embeddings with permutation-based statistical tests. We use the false discovery rate procedure to address the large number of hypothesis tests being conducted simultaneously. We demonstrate the performance of this approach in simulation where it achieves consistently high precision by suppressing false positives. We additionally analyze real-world data from SemEval-2020 Task 1 and the Liverpool FC subreddit corpus. We show that by taking sample variation into account, we can improve the robustness of individual semantic shift estimates without degrading overall performance.


title: Affine-modeled video extraction from a single motion blurred image

abstract: A motion-blurred image is the temporal average of multiple sharp frames over the exposure time. Recovering these sharp video frames from a single blurred image is nontrivial, due to not only its strong ill-posedness, but also various types of complex motion in reality such as rotation and motion in depth. In this work, we report a generalized video extraction method using the affine motion modeling, enabling to tackle multiple types of complex motion and their mixing. In its workflow, the moving objects are first segemented in the alpha channel. This allows separate recovery of different objects with different motion. Then, we reduce the variable space by modeling each video clip as a series of affine transformations of a reference frame, and introduce the $l0$-norm total variation regularization to attenuate the ringing artifact. The differentiable affine operators are employed to realize gradient-descent optimization of the affine model, which follows a novel coarse-to-fine strategy to further reduce artifacts. As a result, both the affine parameters and sharp reference image are retrieved. They are finally input into stepwise affine transformation to recover the sharp video frames. The stepwise retrieval maintains the nature to bypass the frame order ambiguity. Experiments on both public datasets and real captured data validate the state-of-the-art performance of the reported technique.


title: Progressive Semantic Segmentation

abstract: The objective of this work is to segment high-resolution images without overloading GPU memory usage or losing the fine details in the output segmentation map. The memory constraint means that we must either downsample the big image or divide the image into local patches for separate processing. However, the former approach would lose the fine details, while the latter can be ambiguous due to the lack of a global picture. In this work, we present MagNet, a multi-scale framework that resolves local ambiguity by looking at the image at multiple magnification levels. MagNet has multiple processing stages, where each stage corresponds to a magnification level, and the output of one stage is fed into the next stage for coarse-to-fine information propagation. Each stage analyzes the image at a higher resolution than the previous stage, recovering the previously lost details due to the lossy downsampling step, and the segmentation output is progressively refined through the processing stages. Experiments on three high-resolution datasets of urban views, aerial scenes, and medical images show that MagNet consistently outperforms the state-of-the-art methods by a significant margin.


title: Localization of Dirac modes in finite-temperature $\mathbb{Z}_2$ gauge theory on the lattice

abstract: We study the localization properties of the eigenmodes of the staggered Dirac operator in finite-temperature $\mathbb{Z}_2$ pure gauge theory on the lattice in 2+1 dimensions. We find that the low modes turn from delocalized to localized as the system crosses over from the confined to the deconfined phase in the "physical" sector (positive average Polyakov loop) selected by external fermionic probes, while they remain delocalized in the "unphysical" sector (negative average Polyakov loop). This confirms that the close connection between deconfinement and localization of the low Dirac modes in the physical sector, already observed in other models, holds also in the simplest gauge theory displaying a deconfinement transition. We also observe a clear correlation of localized modes with fluctuations of the Polyakov loop away from the ordered value, as expected according to the "sea/islands" picture of localization, and with clusters of negative plaquettes. A novel finding is the presence of localized modes at the high end of the Dirac spectrum in all phases/sectors of the theory.


title: Enabling Cross-Domain Communication: How to Bridge the Gap between AI and HW Engineers

abstract: A key issue in system design is the lack of communication between hardware, software and domain expert. Recent research work shows progress in automatic HW/SW co-design flows of neural accelerators that seems to make this kind of communication obsolete. Most real-world systems, however, are a composition of multiple processing units, communication networks and memories. A HW/SW co-design process of (reconfigurable) neural accelerators, therefore, is an important sub-problem towards a common co-design methodology. The ultimate challenge is to define the constraints for the design space exploration on system level - a task which requires deep knowledge and understanding of hardware architectures, mapping of workloads onto hardware and the application domain, e.g. artificial intelligence. For most projects, these skills are distributed among several people or even different teams which is one of the major reasons why there is no established end-to-end development methodology for digital systems. This position paper discusses possibilities how to establish such a methodology for systems that include (reconfigurable) dedicated accelerators and outlines the central role that languages and tools play in the process.


title: Leveraging Good Representations in Linear Contextual Bandits

abstract: The linear contextual bandit literature is mostly focused on the design of efficient learning algorithms for a given representation. However, a contextual bandit problem may admit multiple linear representations, each one with different characteristics that directly impact the regret of the learning algorithm. In particular, recent works showed that there exist "good" representations for which constant problem-dependent regret can be achieved. In this paper, we first provide a systematic analysis of the different definitions of "good" representations proposed in the literature. We then propose a novel selection algorithm able to adapt to the best representation in a set of $M$ candidates. We show that the regret is indeed never worse than the regret obtained by running LinUCB on the best representation (up to a $\ln M$ factor). As a result, our algorithm achieves constant regret whenever a "good" representation is available in the set. Furthermore, we show that the algorithm may still achieve constant regret by implicitly constructing a "good" representation, even when none of the initial representations is "good". Finally, we empirically validate our theoretical findings in a number of standard contextual bandit problems.


title: On Leibniz algebras, whose subalgebras are either ideals or self-idealizing

abstract: A subalgebra S of a Leibniz algebra L is called self-idealizing in L if it coincides with its idealizer IL(S). In this paper we study the structure of Leibniz algebras, whose subalgebras are either ideals or self-idealizing.


title: A Scalable Distributed Collision Avoidance Scheme for Multi-agent UAV systems

abstract: In this article we propose a distributed collision avoidance scheme for multi-agent unmanned aerial vehicles(UAVs) based on nonlinear model predictive control (NMPC),where other agents in the system are considered as dynamic obstacles with respect to the ego agent. Our control scheme operates at a low level and commands roll, pitch and thrust signals at a high frequency, each agent broadcasts its predicted trajectory to the other ones, and we propose an obstacle prioritization scheme based on the shared trajectories to allow up-scaling of the system. The NMPC problem is solved using an ad hoc solver where PANOC is combined with an augmented Lagrangian method to compute collision-free trajectories. We evaluate the proposed scheme in several challenging laboratory experiments for up to ten aerial agents, in dense aerial swarms.


title: Local Lorentz invariance tests for photons and hadrons at the Gamma Factory

abstract: High-precision tests of local Lorentz invariance, via monitoring of the sidereal time variation of the photon energies emitted by ultrarelativistic heavy-ion beams and of the beam momentum, are proposed. This paper includes descriptions of the physics ideas and the concept for the detector. The experiment results will allow high-precision tests of LLI via anisotropy of the maximum attainable speed of a photon and an ion. The projected accuracy for the asymmetries interpreted in the framework of the anisotropic relativistic mechanics corresponds to the limit on sidereal time variation of the one-way maximum attainable speed at the levels between $10^{-14}$ and $10^{-17}$.


title: Decoupling bulk and surface recombination properties in silicon by depth-dependent carrier lifetime measurements

abstract: Muons, as a bulk probe of materials, have been used to study the depth profile of charge carrier kinetics in Si wafers by scanning the muon implantation depth. The photoexcited muon spin spectroscopy technique can optically generate excess carriers in semiconductor wafers, while muons can measure the excess carrier density. As a result, carrier recombination lifetime spectra can be obtained. The depth-dependent lifetime spectra enable us to accurately measure the bulk carrier lifetime and surface recombination velocity by fitting the spectra to a simple 1-dimensional diffusion model. Unlike other traditional lifetime spectroscopy techniques, the bulk and surface recombination properties can be readily de-convoluted in this method. Here, we have applied the technique to study silicon wafers both with and without passivation treatment, and have demonstrated that the model can correctly describe the carrier kinetics in these two cases.


title: Deep-Learning Density Functional Theory Hamiltonian for Efficient ab initio Electronic-Structure Calculation

abstract: The marriage of density functional theory (DFT) and deep learning methods has the potential to revolutionize modern computational materials science. Here we develop a deep neural network approach to represent DFT Hamiltonian (DeepH) of crystalline materials, aiming to bypass the computationally demanding self-consistent field iterations of DFT and substantially improve the efficiency of ab initio electronic-structure calculations. A general framework is proposed to deal with the large dimensionality and gauge (or rotation) covariance of DFT Hamiltonian matrix by virtue of locality and is realized by the message passing neural network for deep learning. High accuracy, high efficiency and good transferability of the DeepH method are generally demonstrated for various kinds of material systems and physical properties. The method provides a solution to the accuracy-efficiency dilemma of DFT and opens opportunities to explore large-scale material systems, as evidenced by a promising application to study twisted van der Waals materials.

categories: cond-mat.mtrl-sci cond-mat.dis-nn cond-mat.mes-hall physics.comp-ph quant-ph


title: A Topology-Switching Coalitional Control and Observation Scheme with Stability Guarantees

abstract: In this paper a coalitional control and observation scheme is presented in which the coalitions are changed online by enabling and disabling communication links. Transitions between coalitions are made to best balance overall system performance and communication costs. Linear Matrix Inequalities are used to design the controller and observer, guaranteeing stability of the switching system. Simulation results for vehicle platoon control are presented to illustrate the proposed method.


title: On the Tightness of the Lagrangian Dual Bound for Alternating Current Optimal Power Flow

abstract: We study tightness properties of a Lagrangian dual (LD) bound for the nonconvex alternating current optimal power flow (ACOPF) problem. We show an LD bound that can be computed in a parallel, decentralized manner. Specifically, the proposed approach partitions the network into a set of subnetworks, dualizes the coupling constraints (giving the LD function), and maximizes the LD function with respect to the dual variables of the coupling constraints (giving the desired LD bound). The dual variables that maximize the LD are obtained by using a proximal bundle method. We show that the bound is less tight than the popular semidefinite programming relaxation but as tight as the second-order cone programming relaxation. We demonstrate our developments using PGLib-OPF test instances.


title: A surrogate model for gravitational waveforms of spin-aligned binary black holes with eccentricities

abstract: A waveform model for the eccentric binary black holes named SEOBNRE has been used to analyze the LIGO-Virgo's gravitational wave data by several groups. The accuracy of this model has been validated by comparing it with numerical relativity. However, SEOBNRE is a time-domain model, and the efficiency for generating waveforms is a bottleneck in data analysis. To overcome this disadvantage, we offer a reduced-order surrogate model for eccentric binary black holes based on the SEOBNRE waveforms. This surrogate model (SEOBNRE\_S) can simulate the complete inspiral-merger-ringdown waves with enough accuracy, covering eccentricities from 0 to 0.25 (0.1), and mass ratio from 1:1 to 5:1 (2:1) for nonspinning (spinning) binaries. The speed of waveform generation is accelerated about $10^2 \sim 10^3$ times than the original SEOBNRE model. Therefore SEOBNRE\_S could be helpful in the analysis of LIGO data to find potential eccentricities.


title: Possible existence of time machines in a five-dimensional spacetime

abstract: The idea of constructing a time machine is not new and even received a boost thanks to the realization that a traversable wormhole could be converted to a time machine. This also implied that one could only travel back to the time of the conversion. This paper addresses these issues, as well as the concomitant causality violations, by starting with a physically acceptable model, a spacetime that is anti-de Sitter due to an extra time-like dimension, thereby allowing the existence of closed time-like curves. By assuming that the extra dimension is independent of the radial coordinate, the wormhole retains its basic geometric properties regardless of its location and can therefore serve as a shortcut for any closed time-like curve, which, in turn, can extend indefinitely into the past. The same independence of the radial coordinate suggests that the wormhole could connect a region in the present to a local region that (1) lies in the past and (2) does not contain any closed time-like curves. Previous studies have suggested that if such a region is sufficiently localized, it may be possible to avoid a causality violation.


title: The Structure of $\kappa$-Maximal Cofinitary Groups

abstract: We study $\kappa$-maximal cofinitary groups for $\kappa$ regular uncountable, $\kappa = \kappa^{<\kappa}$. Revisiting earlier work of Kastermans and building upon a recently obtained higher analogue of Bell's theorem, we show that: 1. Any $\kappa$-maximal cofinitary group has ${<}\kappa$ many orbits under the natural group action of $S(\kappa)$ on $\kappa$. 2. If $\mathfrak{p}(\kappa) = 2^\kappa$ then any partition of $\kappa$ into less than $\kappa$ many sets can be realized as the orbits of a $\kappa$-maximal cofinitary group. 3. For any regular $\lambda > \kappa$ it is consistent that there is a $\kappa$-maximal cofinitary group which is universal for groups of size ${<}2^\kappa = \lambda$. If we only require the group to be universal for groups of size $\kappa$ then this follows from $\mathfrak{p}(\kappa) = 2^\kappa$.


title: A MCMC-type simple probabilistic approach for determining optimal progressive censoring schemes

abstract: We present here a simple probabilistic approach for determining an optimal progressive censoring scheme by defining a probability structure on the set of feasible solutions. Given an initial solution, the new updated solution is computed within the probabilistic structure. This approach will be especially useful when the cardinality of the set of feasible solutions is large. The validation of the proposed approach is demonstrated by comparing the optimal scheme with these obtained by exhaustive numerical search.


title: Eliahou number, Wilf function and concentration of a numerical semigroup

abstract: We give an estimate of the minimal positive value of the Wilf function of a numerical semigroup in terms of its concentration. We describe necessary conditions for a numerical semigroup to have negative Eliahou number in terms of its multiplicity, concentration and Wilf function. Also, we show new examples of numerical semigroups with negative Eliahou number. In addition, we introduce the notion of highly dense numerical semigroup; this yields a new family of numerical semigroups satisfying the Wilf conjecture. Moreover, we use the Wilf function of a numerical semigroup to prove that the Eliahou number of a highly dense numerical semigroup is positive under certain additional hypothesis. In particular, these results provide new evidences in favour of the Wilf conjecture.


title: Environmental assessment of a new generation battery: The magnesium-sulfur system

abstract: As environmental concerns mostly drive the electrification of our economy and the corresponding increase in demand for battery storage systems, information about the potential environmental impacts of the different battery systems is required. However, this kind of information is scarce for emerging post-lithium systems such as the magnesium-sulfur (MgS) battery. Therefore, we use life cycle assessment following a cradle-to-gate perspective to quantify the cumulative energy demand and potential environmental impacts per Wh of the storage capacity of a hypothetical MgS battery (46 Wh/kg). Furthermore, we also estimate global warming potential (0.33 kg CO2 eq/Wh) , fossil depletion potential (0.09 kg oil eq / Wh), ozone depletion potential (2.5E-08 kg CFC-11/Wh) and metal depletion potential (0.044 kg Fe eq/Wh), associated with the MgS battery production. The battery is modelled based on an existing prototype MgS pouch cell and hypothetically optimised according to the current state of the art in lithium-ion batteries (LIB), exploring future improvement potentials. It turns out that the initial (non-optimised) prototype cell cannot compete with current LIB in terms of energy density or environmental performance, mainly due to the high share of non-active components, decreasing its performance substantially. Therefore, if the assumed evolutions of the MgS cell composition are achieved to overcome current design hurdles and reach a comparable lifespan, efficiency, cost and safety levels to that of existing LIB; then the MgS battery has significant potential to outperform both existing LIB, and lithium-sulfur batteries.


title: Experiences with User Studies in Augmented Reality

abstract: The research field of augmented reality (AR) is of increasing popularity, as seen, among others, in several recently published surveys. To produce further advancements in AR, it is not only necessary to create new systems or applications, but also to evaluate them. One important aspect in regards to the evaluation is the general understanding of how users experience a given AR application, which can also be seen by the increased number of papers focusing on this topic that were published in the last years. With the steadily growing understanding and development of AR in general, it is only a matter of time until AR devices make the leap into the consumer market where such an in-depth user understanding is even more essential. Thus, a better understanding of factors that could influence the design and results of user experience studies can help us to make them more robust and dependable in the future. In this position paper, we describe three challenges which researchers face while designing and conducting AR users studies. We encountered these challenges in our past and current research, including papers that focus on perceptual studies of visualizations, interaction studies, and studies exploring the use of AR applications and their design spaces.


title: Extending a grid of hydrodynamic planetary upper atmosphere models

abstract: In this research note, we outline the extension of the grid of upper atmosphere models first presented in Kubyshkina et al. (2018a). The original grid is based on a 1D hydrodynamic model and consists of about 7000 models covering planets of the size from Earth to twice Neptune at orbits corresponding to equilibrium temperatures between 300 and 2000 K around solar-like (0.4 to 1.3 solar mass) stars. The extended and revised grid of models consists of 10235 points and covers a planetary mass range of up to 109 Earth masses, which allows one to outline the transition between low- and high-gravity hot planets in short orbital separations. We prepared the interpolation tool allowing one to use the grid to define the mass-loss of a planet that falls into the parameter range of the grid. We provide a comparison of our results to common analytical models.


title: Design and assessment of an eco--driving PMP algorithm for optimal deceleration and gear shifting in trucks

abstract: In this paper, an eco--driving Pontryagin maximum principle (PMP) algorithm is designed for optimal deceleration and gear shifting in trucks based on switching among a finite set of driving modes. The PMP algorithm is implemented and assessed in the IPG TruckMaker traffic simulator as an eco--driving assistance system (EDAS). The developed EDAS strategy reduces fuel consumption with an optimized velocity profile and, in practice, allows contextual feedback incorporation from the driver for safety. Furthermore, the optimization over driving modes is computationally inexpensive, allowing the methodology to be used online, in real--time. Simulation results show that significant fuel savings can be achieved proportional to the number of velocity events and the difference between current velocity and final desired velocity for each event.


title: Detection of Network and Sensor Cyber-Attacks in Platoons of Cooperative Autonomous Vehicles: a Sliding-Mode Observer Approach

abstract: Platoons of autonomous vehicles are being investigated as a way to increase road capacity and fuel efficiency. Cooperative Adaptive Cruise Control (CACC) is an approach to achieve such platoons, in which vehicles collaborate using wireless communication. While this collaboration improves performance, it also makes the vehicles vulnerable to cyber-attacks. In this paper the performance of a sliding mode observer (SMO) based approach to cyber-attack detection is analysed, considering simultaneous attacks on the communication and local sensors. To this end, the considered cyber-attacks are divided into three classes for which relevant theoretical properties are proven. Furthermore, the harm that attacks within each of these classes can do to the system while avoiding detection is analysed based on simulation examples.


title: Extremely large magnetoresistance in the "ordinary" metal ReO3

abstract: The extremely large magnetoresistance (XMR) observed in many topologically nontrivial and trivial semimetals has attracted much attention in relation to its underlying physical mechanism. In this paper, by combining the band structure and Fermi surface (FS) calculations with the Hall resistivity and de Haas-Van Alphen (dHvA) oscillation measurements, we studied the anisotropy of magnetoresistance (MR) of ReO$_3$ with a simple cubic structure, an "ordinary" nonmagnetic metal considered previously. We found that ReO$_3$ exhibits almost all the characteristics of XMR semimetals: the nearly quadratic field dependence of MR, a field-induced upturn in resistivity followed by a plateau at low temperatures, high mobilities of charge carriers. It was found that for magnetic field \emph{H} applied along the \emph{c} axis, the MR exhibits an unsaturated \emph{H}$^{1.75}$ dependence, which was argued to arise from the complete carrier compensation supported by the Hall resistivity measurements. For \emph{H} applied along the direction of 15$^\circ$ relative to the \emph{c} axis, an unsaturated \emph{H}$^{1.90}$ dependence of MR up to 9.43~$\times$~$10^3$$\%$ at 10~K and 9~T was observed, which was explained by the existence of electron open orbits extending along the $k_{x}$ direction. Two mechanisms responsible for XMR observed usually in the semimetals occur also in the simple metal ReO$_3$ due to its peculiar FS (two closed electron pockets and one open electron pocket), once again indicating that the details of FS topology are a key factor for the observed XMR in materials.


title: Beaming Displays

abstract: Existing near-eye display designs struggle to balance between multiple trade-offs such as form factor, weight, computational requirements, and battery life. These design trade-offs are major obstacles on the path towards an all-day usable near-eye display. In this work, we address these trade-offs by, paradoxically, \textit{removing the display} from near-eye displays. We present the beaming displays, a new type of near-eye display system that uses a projector and an all passive wearable headset. We modify an off-the-shelf projector with additional lenses. We install such a projector to the environment to beam images from a distance to a passive wearable headset. The beaming projection system tracks the current position of a wearable headset to project distortion-free images with correct perspectives. In our system, a wearable headset guides the beamed images to a user's retina, which are then perceived as an augmented scene within a user's field of view. In addition to providing the system design of the beaming display, we provide a physical prototype and show that the beaming display can provide resolutions as high as consumer-level near-eye displays. We also discuss the different aspects of the design space for our proposal.


title: Detection of Cyber-Attacks in Collaborative Intersection Control

abstract: Road intersections are widely recognized as a lead cause for accidents and traffic delays. In a future scenario with a significant adoption of Cooperative Autonomous Vehicles, solutions based on fully automatic, signage-less Intersection Control would become viable. Such a solution, however, requires communication between vehicles and, possibly, the infrastructure over wireless networks. This increases the attack surface available to a malicious actor, which could lead to dangerous situations. In this paper, we address the safety of Intersection Control algorithms, and design a Sliding-Mode-Observer based solution capable of detecting and estimating false data injection attacks affecting vehicles' communication. With respect to previous literature, a novel detection logic with improved detection performances is presented. Simulation results are provided to show the effectiveness of the proposed approach.


title: Average Direct and Indirect Causal Effects under Interference

abstract: We propose a definition for the average indirect effect of a binary treatment in the potential outcomes model for causal inference under cross-unit interference. Our definition is analogous to the standard definition of the average direct effect, and can be expressed without needing to compare outcomes across multiple randomized experiments. We show that the proposed indirect effect satisfies a decomposition theorem whereby, in a Bernoulli trial, the sum of the average direct and indirect effects always corresponds to the effect of a policy intervention that infinitesimally increases treatment probabilities. We also consider a number of parametric models for interference, and find that our non-parametric indirect effect remains a natural estimand when re-expressed in the context of these models.


title: Distribution of supersymmetry mu parameter and Peccei-Quinn scale f_a from the landscape

abstract: A scan of soft SUSY breaking parameters within the string theory landscape with the MSSM assumed as the low energy effective field theory -- using a power-law draw to large soft terms coupled with an anthropic selection of a derived weak scale to be within a factor four of our measured value -- predicts a peak probability of m_h~125 GeV with sparticles masses typically beyond the reach of LHC Run 2. Such multiverse simulations usually assume a fixed value of the SUSY conserving superpotential mu parameter to be within the assumed anthropic range, mu<~ 350 GeV. However, depending on the assumed solution to the SUSY mu problem, the expected mu term distribution can actually be derived. In this paper, we examine two solutions to the SUSY mu problem. The first is the gravity-safe-Peccei-Quinn (GSPQ) model based on an assumed Z_{24}^R discrete R-symmetry which allows a gravity-safe accidental, approximate Peccei-Quinn global symmetry to emerge which also solves the strong CP problem. The second case is the Giudice-Masiero solution wherein the mu term effectively acts as a soft term and has a linear draw to large values. For the first case, we also present the expected landscape distribution for the PQ scale f_a; in this case, weak scale anthropics limits its range to the cosmological sweet zone of around f_a~ 10^{11} GeV.


title: Exact Stochastic Second Order Deep Learning

abstract: Optimization in Deep Learning is mainly dominated by first-order methods which are built around the central concept of backpropagation. Second-order optimization methods, which take into account the second-order derivatives are far less used despite superior theoretical properties. This inadequacy of second-order methods stems from its exorbitant computational cost, poor performance, and the ineluctable non-convex nature of Deep Learning. Several attempts were made to resolve the inadequacy of second-order optimization without reaching a cost-effective solution, much less an exact solution. In this work, we show that this long-standing problem in Deep Learning could be solved in the stochastic case, given a suitable regularization of the neural network. Interestingly, we provide an expression of the stochastic Hessian and its exact eigenvalues. We provide a closed-form formula for the exact stochastic second-order Newton direction, we solve the non-convexity issue and adjust our exact solution to favor flat minima through regularization and spectral adjustment. We test our exact stochastic second-order method on popular datasets and reveal its adequacy for Deep Learning.


title: Light-like parallel vector fields and Einstein equations of gravity

abstract: We prove that, contrary to the situation with time-like and space-like parallel vector fields, there are real gravitational fields satisfying Einsteins equations of gravity and admitting nontrivial light-like parallel vector fields; we solve completely the field equations under this geometric constraint and obtain through Bianchi identities an interesting property for the Riemann curvature tensor corresponding with a real gravitational field admitting a nontrivial parallel vector field. The solutions we obtained turn out to be generically wave-like and then we prove by a geometric method that this class of solutions is quite different from the class of solutions corresponding with spherical waves.


title: Deterministic spatial search using alternating quantum walks

abstract: This paper examines the performance of spatial search where the Grover diffusion operator is replaced by continuous-time quantum walks on a class of interdependent networks. We prove that for a set of optimal quantum walk times and marked vertex phase shifts, a deterministic algorithm for structured spatial search is established that finds the marked vertex with 100% probability. This improves on the original spatial search algorithm on the same class of graphs, which we show can only amplify to 50% probability. Our method uses $\left\lceil\frac{\pi}{2\sqrt{2}}\sqrt{N}\right\rceil$ marked vertex phase shifts for an $N$-vertex graph, making it comparable with Grover's algorithm for unstructured search. It is expected that this new framework can be readily extended to deterministic spatial search on other families of graph structures.


title: A Bayesian Approach to Reinforcement Learning of Vision-Based Vehicular Control

abstract: In this paper, we present a state-of-the-art reinforcement learning method for autonomous driving. Our approach employs temporal difference learning in a Bayesian framework to learn vehicle control signals from sensor data. The agent has access to images from a forward facing camera, which are preprocessed to generate semantic segmentation maps. We trained our system using both ground truth and estimated semantic segmentation input. Based on our observations from a large set of experiments, we conclude that training the system on ground truth input data leads to better performance than training the system on estimated input even if estimated input is used for evaluation. The system is trained and evaluated in a realistic simulated urban environment using the CARLA simulator. The simulator also contains a benchmark that allows for comparing to other systems and methods. The required training time of the system is shown to be lower and the performance on the benchmark superior to competing approaches.


title: Inclusive production of heavy quarkonium $\eta_Q$ via $Z$ boson decays within the framework of nonrelativistic QCD

abstract: In the paper, the inclusive production of heavy quarkonium $\eta_Q$ ($Q=b$ or $c$) via $Z$ boson decays within the framework of nonrelativistic QCD effective theory are studied. The contributions from the leading color-singlet and color-octet Fock states are considered. Total and differential decay widths for the inclusive decays $Z \to \eta_Q+X$ are presented. It is found that the decays $Z\to \eta_Q +X$ are dominated by the $^3S_1^{[8]}$ component, so the decays can be inversely adopted to determine the values of the long-distance matrix elements $\langle {\cal O}^{\eta_{c}}(^{3}S_{1}^{[8]})\rangle$ and $\langle {\cal O}^{\eta_{b}}(^{3}S_{1}^{[8]})\rangle$, respectively. Our numerical results show that at an $e^+e^-$ collider running at the $Z$ pole with a high luminosity around $10^{35}{\rm cm}^{-2}{\rm s}^{-1}$ (a super $Z$ factory), there are about $4.5\times 10^7$ $\eta_c$ meson events and $6.1\times 10^5$ $\eta_b$ meson events to be produced per operation year, and the inclusive decays may be used for clarifying some problems on the heavy quarkonium $\eta_Q$ and nonrelativistic QCD.


title: Exploiting Natural Language for Efficient Risk-Aware Multi-robot SaR Planning

abstract: The ability to develop a high-level understanding of a scene, such as perceiving danger levels, can prove valuable in planning multi-robot search and rescue (SaR) missions. In this work, we propose to uniquely leverage natural language descriptions from the mission commander in chief and image data captured by robots to estimate scene danger. Given a description and an image, a state-of-the-art deep neural network is used to assess a corresponding similarity score, which is then converted into a probabilistic distribution of danger levels. Because commonly used visio-linguistic datasets do not represent SaR missions well, we collect a large-scale image-description dataset from synthetic images taken from realistic disaster scenes and use it to train our machine learning model. A risk-aware variant of the Multi-robot Efficient Search Path Planning (MESPP) problem is then formulated to use the danger estimates in order to account for high-risk locations in the environment when planning the searchers' paths. The problem is solved via a distributed approach based on Mixed-Integer Linear Programming. Our experiments demonstrate that our framework allows to plan safer yet highly successful search missions, abiding to the two most important aspects of SaR missions: to ensure both searchers' and victim safety.


title: Palm theory for extremes of stationary regularly varying time series and random fields

abstract: The tail process $\boldsymbol{Y}=(Y_{\boldsymbol{i}})_{\boldsymbol{i}\in\mathbb{Z}^d}$ of a stationary regularly varying random field $\boldsymbol{X}=(X_{\boldsymbol{i}})_{\boldsymbol{i}\in\mathbb{Z}^d}$ represents the asymptotic local distribution of $\boldsymbol{X}$ as seen from its typical exceedance over a threshold $u$ as $u\to\infty$. Motivated by the standard Palm theory, we show that every tail process satisfies an invariance property called exceedance-stationarity and that this property, together with the polar decomposition of the tail process, characterizes the class of all tail processes. We then restrict to the case when $Y_{\boldsymbol{i}}\to 0$ as $|\boldsymbol{i}|\to\infty$ and establish a couple of Palm-like dualities between the tail process and the so-called anchored tail process which, under suitable conditions, represents the asymptotic distribution of a typical cluster of extremes of $\boldsymbol{X}$. The main message is that the distribution of the tail process is biased towards clusters with more exceedances. Finally, we use these results to determine the distribution of the typical cluster of extremes for moving average processes with random coefficients and heavy-tailed innovations.


title: Bi-Kolmogorov type operators and weighted Rellich's inequalities

abstract: In this paper we consider the symmetric Kolmogorov operator $L=\Delta +\frac{\nabla \mu}{\mu}\cdot \nabla$ on $L^2(\mathbb R^N,d\mu)$, where $\mu$ is the density of a probability measure on $\mathbb R^N$. Under general conditions on $\mu$ we prove first weighted Rellich's inequalities with optimal constants and deduce that the operators $L$ and $-L^2$ with domain $H^2(\mathbb R^N,d\mu)$ and $H^4(\mathbb R^N,d\mu)$ respectively, generate analytic semigroups of contractions on $L^2(\mathbb R^N,d\mu)$. We observe that $d\mu$ is the unique invariant measure for the semigroup generated by $-L^2$ and as a consequence we describe the asymptotic behaviour of such semigroup and obtain some local positivity properties. As an application we study the bi-Ornstein-Uhlenbeck operator and its semigroup on $L^2(\mathbb R^N,d\mu)$.


title: Dynamical Coulomb blockade under a temperature bias

abstract: We observe and comprehend the dynamical Coulomb blockade suppression of the electrical conductance across an electronic quantum channel submitted to a temperature difference. A broadly tunable, spin-polarized Ga(Al)As quantum channel is connected on-chip, through a micron-scale metallic node, to a linear $RC$ circuit. The latter is made up of the node's geometrical capacitance $C$ in parallel with an adjustable resistance $R\in \{1/2,1/3,1/4\}\times h/e^2$ formed by 2--4 quantum Hall channels. The system is characterized by three temperatures: a temperature of the electrons in the large electrodes ($T$) and in the node ($T_\mathrm{node}$), and a temperature of the electromagnetic modes of the $RC$ circuit ($T_\mathrm{env}$). The temperature in the node is selectively increased by local Joule dissipation, and characterized from current fluctuations. For a quantum channel in the tunnel regime, a close match is found between conductance measurements and tunnel dynamical Coulomb blockade theory. In the opposite near ballistic regime, we develop a theory that accounts for different electronic and electromagnetic bath temperatures, again in very good agreement with experimental data. Beyond these regimes, for an arbitrary quantum channel set in the far out-of-equilibrium situation where the temperature in the node significantly exceeds the one in the large electrodes, the equilibrium (uniform temperature) prediction for the conductance is recovered, albeit at a rescaled temperature $\alpha T_\mathrm{node}$.


title: Can Differential Privacy Practically Protect Collaborative Deep Learning Inference for the Internet of Things?

abstract: Collaborative inference has recently emerged as an attractive framework for applying deep learning to Internet of Things (IoT) applications by splitting a DNN model into several subpart models among resource-constrained IoT devices and the cloud. However, the reconstruction attack was proposed recently to recover the original input image from intermediate outputs that can be collected from local models in collaborative inference. For addressing such privacy issues, a promising technique is to adopt differential privacy so that the intermediate outputs are protected with a small accuracy loss. In this paper, we provide the first systematic study to reveal insights regarding the effectiveness of differential privacy for collaborative inference against the reconstruction attack. We specifically explore the privacy-accuracy trade-offs for three collaborative inference models with four datasets (SVHN, GTSRB, STL-10, and CIFAR-10). Our experimental analysis demonstrates that differential privacy can practically be applied to collaborative inference when a dataset has small intra-class variations in appearance. With the (empirically) optimized privacy budget parameter in our study, the differential privacy technique incurs accuracy loss of 0.476%, 2.066%, 5.021%, and 12.454% on SVHN, GTSRB, STL-10, and CIFAR-10 datasets, respectively, while thwarting the reconstruction attack.


title: Algorithmic Obfuscation for LDPC Decoders

abstract: In order to protect intellectual property against untrusted foundry, many logic-locking schemes have been developed. The main idea of logic locking is to insert a key-controlled block into a circuit to make the circuit function incorrectly without right keys. However, in the case that the algorithm implemented by the circuit is naturally fault-tolerant or self-correcting, existing logic-locking schemes do not affect the system performance much even if wrong keys are used. One example is low-density parity-check (LDPC) error-correcting decoder, which has broad applications in digital communications and storage. This paper proposes two algorithmic-level obfuscation methods for LDPC decoders. By modifying the decoding process and locking the stopping criterion, our new designs substantially degrade the decoder throughput and/or error-correcting performance when the wrong key is used. Besides, our designs are also resistant to the SAT, AppSAT and removal attacks. For an example LDPC decoder, our proposed methods reduce the throughput to less than 1/3 and/or increase the decoder error rate by at least two orders of magnitude with only 0.33% area overhead.


title: Exploring Machine Speech Chain for Domain Adaptation and Few-Shot Speaker Adaptation

abstract: Machine Speech Chain, which integrates both end-to-end (E2E) automatic speech recognition (ASR) and text-to-speech (TTS) into one circle for joint training, has been proven to be effective in data augmentation by leveraging large amounts of unpaired data. In this paper, we explore the TTS->ASR pipeline in speech chain to do domain adaptation for both neural TTS and E2E ASR models, with only text data from target domain. We conduct experiments by adapting from audiobook domain (LibriSpeech) to presentation domain (TED-LIUM), there is a relative word error rate (WER) reduction of 10% for the E2E ASR model on the TED-LIUM test set, and a relative WER reduction of 51.5% in synthetic speech generated by neural TTS in the presentation domain. Further, we apply few-shot speaker adaptation for the E2E ASR by using a few utterances from target speakers in an unsupervised way, results in additional gains.


title: Transitions in the ergodicity of subrecoil-laser-cooled gases

abstract: With subrecoil-laser-cooled atoms one may reach nano-Kelvin temperatures while the ergodic properties of these systems do not follow usual statistical laws. Instead, due to an ingenious trapping mechanism in momentum space, power-law-distributed sojourn times are found for the cooled particles. Here, we show how this gives rise to a statistical-mechanical framework based on infinite ergodic theory, which replaces ordinary ergodic statistical physics of a thermal gas of atoms. In particular, the energy of the system exhibits a sharp discontinuous transition in its ergodic properties. Physically this is controlled by the fluorescence rate, but more profoundly it is a manifestation of a transition for any observable, from being an integrable to becoming a non-integrable observable, with respect to the infinite (non-normalised) invariant density.


title: A novel method to measure the dE/dx resolution of a TPC prototype using 266 nm UV laser

abstract: The specific energy loss (dE/dx) resolution is critical for particle identification and separation in TPC. In connection with the R&D for the TPC at the Circular Electron Positron Collider (CEPC), we find the laser ionisation obeys the Gaussian distribution theoretically and experimentally. Based on this, we develop a novel method using a 266 nm UV laser to measure the dE/dx resolution. Comparing to the traditional methods with particle beams or cosmic rays, the novel method with 266 nm UV laser is more convenient and flexible. We verify the method's feasibility with a TPC prototype and extrapolate the dE/dx resolution to the CEPC TPC. The estimation of the dE/dx resolution is without the magnetic field.


title: A Network-based Compute Reuse Architecture for IoT Applications

abstract: The tremendous advancements in the Internet of Things (IoT) increasingly involve computationally intensive services. These services often require more computation resources than can entirely be satisfied on local IoT devices. Cloud computing is traditionally used to provide unlimited computation resources at distant servers. However, such remote computation may not address the short-delay constraints that many of today's IoT applications require. Edge computing allows offloading computing close to end users to overcome computation and delay issues. Nonetheless, the edge servers may suffer from computing inefficiencies. Indeed, some IoT applications are invoked multiple times by multiple devices. These invocations are often used with the same or similar input data, which leads to the same computational output (results). Still, the edge server willfully executes all received redundant tasks. In this work, we investigate the use of the computation reuse concept at the edge server. We design a network-based computation reuse architecture for IoT applications. The architecture stores previously executed results and reuses them to satisfy newly arrived similar tasks instead of performing computation from scratch. By doing so, we eliminate redundant computation, optimize resource utilization, and decrease task completion time. We implemented the architecture and evaluated its performance both at the networking and application levels. From the networking perspective, we reach up to an 80\% reduction in task completion time and up to 60\% reduction in resource utilization. From the application perspective, we achieve up to 90\% computation correctness and accuracy.


title: Fabry-P\'erot interferometry with gate-tunable 3D topological insulator nanowires

abstract: Three-dimensional topological insulator (3D TI) nanowires display various interesting magnetotransport properties that can be attributed to their spin-momentum-locked surface states such as quasiballistic transport and Aharonov-Bohm oscillations. Here, we focus on the transport properties of a 3D TI nanowire with a gated section that forms an electronic Fabry-P\'erot (FP) interferometer that can be tuned to act as a surface-state filter or energy barrier. By tuning the carrier density and length of the gated section of the wire, the interference pattern can be controlled and the nanowire can become fully transparent for certain topological surface-state input modes while completely filtering out others. We also consider the interplay of FP interference with an external magnetic field, with which Klein tunneling can be induced, and transverse asymmetry of the gated section, e.g., due to a top-gated structure, which displays an interesting analogy with Rashba nanowires. Due to its rich conductance phenomenology, we propose a 3D TI nanowire with gated section as an ideal setup for a detailed transport-based characterization of 3D TI nanowire surface states near the Dirac point, which could be useful towards realizing 3D TI nanowire-based topological superconductivity and Majorana bound states.


title: Perfection Not Required? Human-AI Partnerships in Code Translation

abstract: Generative models have become adept at producing artifacts such as images, videos, and prose at human-like levels of proficiency. New generative techniques, such as unsupervised neural machine translation (NMT), have recently been applied to the task of generating source code, translating it from one programming language to another. The artifacts produced in this way may contain imperfections, such as compilation or logical errors. We examine the extent to which software engineers would tolerate such imperfections and explore ways to aid the detection and correction of those errors. Using a design scenario approach, we interviewed 11 software engineers to understand their reactions to the use of an NMT model in the context of application modernization, focusing on the task of translating source code from one language to another. Our three-stage scenario sparked discussions about the utility and desirability of working with an imperfect AI system, how acceptance of that system's outputs would be established, and future opportunities for generative AI in application modernization. Our study highlights how UI features such as confidence highlighting and alternate translations help software engineers work with and better understand generative NMT models.


title: Robust Differentiable SVD

abstract: Eigendecomposition of symmetric matrices is at the heart of many computer vision algorithms. However, the derivatives of the eigenvectors tend to be numerically unstable, whether using the SVD to compute them analytically or using the Power Iteration (PI) method to approximate them. This instability arises in the presence of eigenvalues that are close to each other. This makes integrating eigendecomposition into deep networks difficult and often results in poor convergence, particularly when dealing with large matrices. While this can be mitigated by partitioning the data into small arbitrary groups, doing so has no theoretical basis and makes it impossible to exploit the full power of eigendecomposition. In previous work, we mitigated this using SVD during the forward pass and PI to compute the gradients during the backward pass. However, the iterative deflation procedure required to compute multiple eigenvectors using PI tends to accumulate errors and yield inaccurate gradients. Here, we show that the Taylor expansion of the SVD gradient is theoretically equivalent to the gradient obtained using PI without relying in practice on an iterative process and thus yields more accurate gradients. We demonstrate the benefits of this increased accuracy for image classification and style transfer.


title: dlmontepython: A Python library for automation and analysis of Monte Carlo molecular simulations

abstract: We present an open source Python 3 library aimed at practitioners of molecular simulation, especially Monte Carlo simulation. The aims of the library are to facilitate the generation of simulation data for a wide range of problems; and to support data analysis methods which enable one to make the most of previously generated data. The library contains a framework for automating the task of measuring target physical properties (e.g. density) over a range of thermodynamic parameters (e.g. temperature) calculated using a molecular simulation program, in particular the Monte Carlo program DL_MONTE. The library also supports analysis methods including block averaging, equilibration detection and histogram reweighting. Here we describe the library and provide examples to demonstrate its key functionality: we use the library to automatically calculate isotherms to a specified precision; and to calculate the surface tension and liquid-vapour coexistence properties of methane.

categories: physics.comp-ph cond-mat.mtrl-sci cond-mat.soft cond-mat.stat-mech


title: Electric Vehicle Fleets: Scalable Route and Recharge Scheduling through Column Generation

abstract: The rise of battery-powered vehicles has led to many new technical and methodological hurdles. Among these, the efficient planning of an electric fleet to fulfill passenger transportation requests still represents a major challenge. This is due to the specific constraints of electric vehicles, bound by their battery autonomy and necessity of recharge planning, and the large scale of the operations, which challenges existing optimization algorithms. The purpose of this paper is to introduce a scalable column generation approach for routing and scheduling in this context. Our algorithm relies on four main ingredients: (i) a multigraph reformulation of the problem based on a characterization of non-dominated charging arcs, (ii) an efficient bi-directional pricing algorithm using tight backward bounds, (iii) sparsification approaches permitting to decrease the size of the subjacent graphs dramatically, and (iv) a diving heuristic, which locates near-optimal solutions in a fraction of the time needed for a complete branch-and-price. Through extensive computational experiments, we demonstrate that our approach significantly outperforms previous algorithms for this setting, leading to accurate solutions for problems counting several hundreds of requests.


title: On The Gap Between Software Maintenance Theory and Practitioners' Approaches

abstract: The way practitioners perform maintenance tasks in practice is little known by researchers. In turn, practitioners are not always up to date with the proposals provided by the research community. This work investigates the gap between software maintenance techniques proposed by the research community and the software maintenance practice. We carried out a survey with 112 practitioners from 92 companies and 12 countries. We concentrate on analyzing if and how practitioners understand and apply the following subjects: bad smells, refactoring, software metrics, and change impact analysis. This study shows that there is a large gap between research approaches and industry practice in those subjects, especially in change impact analysis and software metrics.


title: Cohomology of smooth toric varieties: naturality

abstract: Building on the recent computation of the cohomology rings of smooth toric varieties and partial quotients of moment-angle complexes, we investigate the naturality properties of the resulting isomorphism between the cohomology of such a space and the torsion product involving the Stanley-Reisner ring. If 2 is invertible in the chosen coefficient ring, then the isomorphism is natural with respect to toric morphisms, which for partial quotients are defined in analogy with toric varieties. In general there are deformation terms that we describe explicitly.


title: Transfer of CS-Rickart and dual CS-Rickart properties via functors between abelian categories

abstract: We study the transfer of (dual) relative CS-Rickart properties via functors between abelian categories. We consider fully faithful functors as well as adjoint pairs of functors. We give several applications to Grothendieck categories and, in particular, to (graded) module and comodule categories.


title: From carriers and virtual excitons to exciton populations: Insights into time-resolved ARPES spectra from an exactly solvable model

abstract: We calculate the {\em exact} time-resolved ARPES spectrum of a two-band model semiconductor driven out of equilibrium by resonant and nonresonant laser pulses, highlighting the effects of phonon-induced decoherence and relaxation. {\em Resonant} excitations initially yield a replica of the {\em valence} band shifted upward by the energy of the exciton peak in photoabsorption. This phase is eventually destroyed by phonon-induced decoherence: the valence-band replica lowers in energy by the Stokes shift, locating at the energy of the exciton peak in photoluminescence, and its width grows due to phonon dressing. {\em Nonresonant} excitations initially yield a map of the conduction band. Then electrons transfer their excess energy to the lattice and bind with the holes left behind to form excitons. In this relaxed regime a replica of the {\em conduction} band appears inside the gap. At fixed momentum the lineshape of the conduction-band replica versus the photoelectron energy is proportional to the exciton wavefunction in "energy space" and it is highly asymmetric. Although the two-band model represents an oversimplified description of real materials the highlighted features are qualitative in nature; hence they provide useful insights into time-resolved ARPES spectra and their physical interpretation.


title: The physical basis of the zero charge flux constraint in gyro kinetics as local momentum conservation, by analogy to the classical Coulomb collisional case

abstract: Gyrokinetic turbulence is subject to the constraint that the turbulent charge flux vanishes. This is interpreted, in detail, as arising from momentum conservation at the fluctuation scale. There are beautiful and deep analogies with the classical transport from Coulomb collisions.


title: Does Your Dermatology Classifier Know What It Doesn't Know? Detecting the Long-Tail of Unseen Conditions

abstract: We develop and rigorously evaluate a deep learning based system that can accurately classify skin conditions while detecting rare conditions for which there is not enough data available for training a confident classifier. We frame this task as an out-of-distribution (OOD) detection problem. Our novel approach, hierarchical outlier detection (HOD) assigns multiple abstention classes for each training outlier class and jointly performs a coarse classification of inliers vs. outliers, along with fine-grained classification of the individual classes. We demonstrate the effectiveness of the HOD loss in conjunction with modern representation learning approaches (BiT, SimCLR, MICLe) and explore different ensembling strategies for further improving the results. We perform an extensive subgroup analysis over conditions of varying risk levels and different skin types to investigate how the OOD detection performance changes over each subgroup and demonstrate the gains of our framework in comparison to baselines. Finally, we introduce a cost metric to approximate downstream clinical impact. We use this cost metric to compare the proposed method against a baseline system, thereby making a stronger case for the overall system effectiveness in a real-world deployment scenario.


title: An Invariant of Virtual Trivalent Spatial Graphs

abstract: We create an invariant of virtual Y-oriented trivalent spatial graphs using colorings by virtual Niebrzydowski algebras. This paper generalizes the color invariants using virtual tribrackets and Niebrzydowski algebras by Nelson and Pico, and Graves, Nelson, and the second author. We provide usable data sets of Latin Cubes and virtual Niebrzydowski algebras for computational implementation.


title: Machine-learned prediction of the electronic fields in a crystal

abstract: We propose an approach for exploiting machine learning to approximate electronic fields in crystalline solids subjected to deformation. Strain engineering is emerging as a widely used method for tuning the properties of materials, and this requires repeated density functional theory calculations of the unit cell subjected to strain. Repeated unit cell calculations are also required for multi-resolution studies of defects in crystalline solids. We propose an approach that uses data from such calculations to train a carefully architected machine learning approximation. We demonstrate the approach on magnesium, a promising light-weight structural material: we show that we can predict the energy and electronic fields to the level of chemical accuracy, and even capture lattice instabilities.


title: Strongly CS-Rickart and dual strongly CS-Rickart objects in abelian categories

abstract: We introduce (dual) strongly relative CS-Rickart objects in abelian categories, as common generalizations of (dual) strongly relative Rickart objects and strongly extending (lifting) objects. We give general properties, and we study direct summands, (co)products of (dual) strongly relative CS-Rickart objects and classes all of whose objects are (dual) strongly self-CS-Rickart.


title: Approximation theorems for Pascali systems

abstract: Based on Runge theorem for generalized analytic vectors proved by Goldschmidt in 1979 we provide a Mergelyan-type and a Carleman-type approximation theorems for solutions of Pascali systems.


title: Bayesian Variational Federated Learning and Unlearning in Decentralized Networks

abstract: Federated Bayesian learning offers a principled framework for the definition of collaborative training algorithms that are able to quantify epistemic uncertainty and to produce trustworthy decisions. Upon the completion of collaborative training, an agent may decide to exercise her legal "right to be forgotten", which calls for her contribution to the jointly trained model to be deleted and discarded. This paper studies federated learning and unlearning in a decentralized network within a Bayesian framework. It specifically develops federated variational inference (VI) solutions based on the decentralized solution of local free energy minimization problems within exponential-family models and on local gossip-driven communication. The proposed protocols are demonstrated to yield efficient unlearning mechanisms.


title: Eternal distance-k domination on graphs

abstract: Eternal domination is a dynamic process by which a graph is protected from an infinite sequence of vertex intrusions. In eternal distance-$k$ domination, guards initially occupy the vertices of a distance-$k$ dominating set. After a vertex is attacked, guards ``defend'' by each moving up to distance $k$ to form a distance-$k$ dominating set, such that some guard occupies the attacked vertex. The eternal distance-$k$ domination number of a graph is the minimum number of guards needed to defend against any sequence of attacks. The process is well-studied for the situation where $k=1$. We introduce eternal distance-$k$ domination for $k > 1$. Determining whether a given set is an eternal distance-$k$ domination set is in EXP, and in this paper we provide a number of results for paths and cycles, and relate this parameter to graph powers and domination in general. For trees we use decomposition arguments to bound the eternal distance-$k$ domination numbers, and solve the problem entirely in the case of perfect $m$-ary trees.


title: The deconvolution problem of deeply virtual Compton scattering

abstract: Generalised parton distributions are instrumental to study both the three-dimensional structure and the energy-momentum tensor of the nucleon, and motivate numerous experimental programmes involving hard exclusive measurements. Based on a next-to-leading order analysis and a careful study of evolution effects, we exhibit non-trivial generalised parton distributions with arbitrarily small imprints on deeply virtual Compton scattering observables. This means that in practice the reconstruction of generalised parton distributions from measurements, known as the deconvolution problem, does not possess a unique solution for this channel. In this Letter we discuss the consequences on the extraction of generalised parton distributions from data and advocate for a multi-channel analysis.


title: Effective bath model for arrays of coupled non-Hermitian nanoresonators

abstract: Nanophotonics systems have recently been studied under the perspective of non-Hermitian physics. Given their potential for wavefront control, nonlinear optics and quantum optics, it is crucial to develop predictive tools to assist their design. We present here a simple model relying on the coupling to an effective bath consisting of a continuum of modes to describe systems of coupled resonators, and test it on dielectric nanocylinder chains accessible to experiments. The effective coupling constants, which depend non-trivially on the distance between resonators, are extracted from numerical simulations in the case of just two coupled elements. The model predicts successfully the dispersive and reactive nature of modes for configurations with multiple resonators, as validated by numerical solutions. It can be applied to larger systems, which are hardly solvable with finite-element approaches.


title: Speech Denoising Without Clean Training Data: A Noise2Noise Approach

abstract: This paper tackles the problem of the heavy dependence of clean speech data required by deep learning based audio-denoising methods by showing that it is possible to train deep speech denoising networks using only noisy speech samples. Conventional wisdom dictates that in order to achieve good speech denoising performance, there is a requirement for a large quantity of both noisy speech samples and perfectly clean speech samples, resulting in a need for expensive audio recording equipment and extremely controlled soundproof recording studios. These requirements pose significant challenges in data collection, especially in economically disadvantaged regions and for low resource languages. This work shows that speech denoising deep neural networks can be successfully trained utilizing only noisy training audio. Furthermore it is revealed that such training regimes achieve superior denoising performance over conventional training regimes utilizing clean training audio targets, in cases involving complex noise distributions and low Signal-to-Noise ratios (high noise environments). This is demonstrated through experiments studying the efficacy of our proposed approach over both real-world noises and synthetic noises using the 20 layered Deep Complex U-Net architecture.


title: What Fermilab $(g-2)_{\mu}$ experiment tells us about discovering SUSY at HL-LHC and HE-LHC

abstract: Using an artificial neutral network we explore the parameter space of supergravity grand unified models consistent with the combined Fermilab E989 and Brookhaven E821 data on $(g-2)_\mu$. The analysis indicates that the region favored by the data is the one generated by gluino-driven radiative breaking of the electroweak symmetry. This region naturally leads to a split sparticle spectrum with light sleptons and weakinos but heavy squarks, with the stau and the chargino as the lightest charged particles. We show that if the entire deviation from the standard model $(g-2)_{\mu}$ arises from supersymmetry, then supersymmetry is discoverable at HL-LHC and HE-LHC via production and decay of sleptons within the optimal integrated luminosity of HL-LHC and with a smaller integrated luminosity at HE-LHC.


title: Uncertainty-Aware Temporal Self-Learning (UATS): Semi-Supervised Learning for Segmentation of Prostate Zones and Beyond

abstract: Various convolutional neural network (CNN) based concepts have been introduced for the prostate's automatic segmentation and its coarse subdivision into transition zone (TZ) and peripheral zone (PZ). However, when targeting a fine-grained segmentation of TZ, PZ, distal prostatic urethra (DPU) and the anterior fibromuscular stroma (AFS), the task becomes more challenging and has not yet been solved at the level of human performance. One reason might be the insufficient amount of labeled data for supervised training. Therefore, we propose to apply a semi-supervised learning (SSL) technique named uncertainty-aware temporal self-learning (UATS) to overcome the expensive and time-consuming manual ground truth labeling. We combine the SSL techniques temporal ensembling and uncertainty-guided self-learning to benefit from unlabeled images, which are often readily available. Our method significantly outperforms the supervised baseline and obtained a Dice coefficient (DC) of up to 78.9% , 87.3%, 75.3%, 50.6% for TZ, PZ, DPU and AFS, respectively. The obtained results are in the range of human inter-rater performance for all structures. Moreover, we investigate the method's robustness against noise and demonstrate the generalization capability for varying ratios of labeled data and on other challenging tasks, namely the hippocampus and skin lesion segmentation. UATS achieved superiority segmentation quality compared to the supervised baseline, particularly for minimal amounts of labeled data.


title: ORBIT: A Real-World Few-Shot Dataset for Teachable Object Recognition

abstract: Object recognition has made great advances in the last decade, but predominately still relies on many high-quality training examples per object category. In contrast, learning new objects from only a few examples could enable many impactful applications from robotics to user personalization. Most few-shot learning research, however, has been driven by benchmark datasets that lack the high variation that these applications will face when deployed in the real-world. To close this gap, we present the ORBIT dataset and benchmark, grounded in the real-world application of teachable object recognizers for people who are blind/low-vision. The dataset contains 3,822 videos of 486 objects recorded by people who are blind/low-vision on their mobile phones. The benchmark reflects a realistic, highly challenging recognition problem, providing a rich playground to drive research in robustness to few-shot, high-variation conditions. We set the benchmark's first state-of-the-art and show there is massive scope for further innovation, holding the potential to impact a broad range of real-world vision applications including tools for the blind/low-vision community. We release the dataset at https://doi.org/10.25383/city.14294597 and benchmark code at https://github.com/microsoft/ORBIT-Dataset.


title: RNN Transducer Models For Spoken Language Understanding

abstract: We present a comprehensive study on building and adapting RNN transducer (RNN-T) models for spoken language understanding(SLU). These end-to-end (E2E) models are constructed in three practical settings: a case where verbatim transcripts are available, a constrained case where the only available annotations are SLU labels and their values, and a more restrictive case where transcripts are available but not corresponding audio. We show how RNN-T SLU models can be developed starting from pre-trained automatic speech recognition (ASR) systems, followed by an SLU adaptation step. In settings where real audio data is not available, artificially synthesized speech is used to successfully adapt various SLU models. When evaluated on two SLU data sets, the ATIS corpus and a customer call center data set, the proposed models closely track the performance of other E2E models and achieve state-of-the-art results.


title: InAugment: Improving Classifiers via Internal Augmentation

abstract: Image augmentation techniques apply transformation functions such as rotation, shearing, or color distortion on an input image. These augmentations were proven useful in improving neural networks' generalization ability. In this paper, we present a novel augmentation operation, InAugment, that exploits image internal statistics. The key idea is to copy patches from the image itself, apply augmentation operations on them, and paste them back at random positions on the same image. This method is simple and easy to implement and can be incorporated with existing augmentation techniques. We test InAugment on two popular datasets -- CIFAR and ImageNet. We show improvement over state-of-the-art augmentation techniques. Incorporating InAugment with Auto Augment yields a significant improvement over other augmentation techniques (e.g., +1% improvement over multiple architectures trained on the CIFAR dataset). We also demonstrate an increase for ResNet50 and EfficientNet-B3 top-1's accuracy on the ImageNet dataset compared to prior augmentation methods. Finally, our experiments suggest that training convolutional neural network using InAugment not only improves the model's accuracy and confidence but its performance on out-of-distribution images.


title: Fidelity based purity and coherence for quantum states

abstract: Purity and coherence of a quantum state are recognized as useful resources for various information processing tasks. In this article, we propose a fidelity based valid measure of purity and coherence monotone and establish a relationship between them. This formulation of coherence is extended to quantum correlation relative to measurement. We have also studied the role of weak measurement on purity.


title: Graph toughness from Laplacian eigenvalues

abstract: The toughness $t(G)$ of a graph $G=(V,E)$ is defined as $t(G)=\min\{\frac{|S|}{c(G-S)}\}$, in which the minimum is taken over all $S\subset V$ such that $G-S$ is disconnected, where $c(G-S)$ denotes the number of components of $G-S$. We present two tight lower bounds for $t(G)$ in terms of the Laplacian eigenvalues and provide strong support for a conjecture for a better bound which, if true, implies both bounds, and improves and generalizes known bounds by Alon, Brouwer, and the first author. As applications, several new results on perfect matchings, factors and walks from Laplacian eigenvalues are obtained, which leads to a conjecture about Hamiltonicity and Laplacian eigenvalues.


title: Effect of Van Hove singularities on Shiba states in two-dimensional $s$-wave superconductors

abstract: Magnetic impurities in a superconductor induce Yu-Shiba-Rusinov (YSR) states inside the superconducting gap, whose energy depends on the strength of the coupling to the impurity and on the density of states (DOS) at the Fermi level. We consider DOS exhibiting a logarithmic or a power-law divergence at the Fermi level due to Van Hove singularities (VHS) and high-order Van Hove singularities (HOVHS), respectively. We find that the energy of the YSR states has the same functional form as in the constant DOS scenario, with the effect of the singularity being an enhancement of the effective coupling constants. In particular, the critical magnetic coupling strength at which the Shiba transition occurs is always lowered by a factor $1/\rho(\Delta/E_{\mathrm{c}}$), where $\Delta$ is the superconducting gap, $E_{\mathrm{c}}$ is the bandwidth, and $\rho(E)$ is the factor in DOS which diverges at $E=0$ for a VHS or HOVHS. Further, since the critical magnetic coupling is significantly reduced, a new regime becomes accessible where the transition point is controlled by the non-magnetic coupling constant. Interestingly, the slope of the Shiba energy curve at the Shiba transition is independent of impurity parameters and purely reflects the band structure. Additionally, we find that our main conclusions remain valid even when the Fermi level is not precisely tuned to the Van Hove singularity, but instead lies on an energy range of order the superconducting gap. Our results show that tuning a superconducting material towards a VHS or HOVHS enhances the possibilities for engineering YSR states, and for characterizing the superconductor itself.


title: Robust Interior Point Method for Quantum Key Distribution Rate Computation

abstract: Security proof methods for quantum key distribution, QKD, that are based on the numerical key rate calculation problem, are powerful in principle. However, the practicality of the methods are limited by computational resources and the efficiency and accuracy of the underlying algorithms for convex optimization. We derive a stable reformulation of the convex nonlinear semidefinite programming, SDP, model for the key rate calculation problems. We use this to develop an efficient, accurate algorithm. The stable reformulation is based on novel forms of facial reduction, FR, for both the linear constraints and nonlinear quantum relative entropy objective function. This allows for a Gauss-Newton type interior-point approach that avoids the need for perturbations to obtain strict feasibility, a technique currently used in the literature. The result is high accuracy solutions with theoretically proven lower bounds for the original QKD from the FR stable reformulation. This provides novel contributions for FR for general SDP. We report on empirical results that dramatically improve on speed and accuracy, as well as solving previously intractable problems.


title: Exploring the Relationship Between Algorithm Performance, Vocabulary, and Run-Time in Text Classification

abstract: Text classification is a significant branch of natural language processing, and has many applications including document classification and sentiment analysis. Unsurprisingly, those who do text classification are concerned with the run-time of their algorithms, many of which depend on the size of the corpus' vocabulary due to their bag-of-words representation. Although many studies have examined the effect of preprocessing techniques on vocabulary size and accuracy, none have examined how these methods affect a model's run-time. To fill this gap, we provide a comprehensive study that examines how preprocessing techniques affect the vocabulary size, model performance, and model run-time, evaluating ten techniques over four models and two datasets. We show that some individual methods can reduce run-time with no loss of accuracy, while some combinations of methods can trade 2-5% of the accuracy for up to a 65% reduction of run-time. Furthermore, some combinations of preprocessing techniques can even provide a 15% reduction in run-time while simultaneously improving model accuracy.


title: A Model of Spinfoam Coupled with an Environment

abstract: In this paper, an open quantum system theory for spinfoams is developed. This new formalism aims at deriving an effective Lindblad equation to compute the reduced dynamics of a quantum gravitational field. The system parameters are determined from numerical ab initio calculations, based on the spinfoam formalism. This theoretical proposal is illustrated by means of examples. The decoherence effect can induce the relaxation of the quantum gravitational state toward a sate of a small area. This is analogue to the well-known Purcell relaxation of QED, for which the qubits are replaced by the spin-network representation of the gravitational field. Some thermodynamic properties of these systems are computed, and several issues with the thermal time hypothesis are underlined. Moreover, the results suggest that further approximations can be performed to study reduced dynamics of quantum space-time.


title: Parasite common envelope evolution by triple-star systems

abstract: We study a scenario by which a giant wide tertiary star engulfs and forces a tight binary system of a white dwarf (WD) and a main sequence (MS) star to enter a common envelope evolution (CEE) with each other, and then unbinds the WD-MS common envelope. The WD-MS binary system, now with the WD inside the MS envelope, does not have sufficient orbital energy to unbind their common envelope. However, as they approach the center of the giant star Roche lobe overflow to the core of the giant star and/or merger of the WD with the core remove a large fraction of the WD-MS common envelope or all of it. Namely, the energy source for unbinding the WD-MS tight common envelope is the triple-star CEE. For that we term this scenario a parasite CEE. Overall, the destruction of the MS star absorbs energy from the triple-star system, a process that might lead to WD-core merger during the triple-star CEE. The parasite CEE leaves behind either one massive WD that in some cases might explode as a peculiar type Ia supernova or two close WDs that at later time might explode as a type Ia supernova. We very crudely estimate the rate of the parasite CEE to be a fraction of ~0.001 out of all evolved triple stars.


title: CoCoNets: Continuous Contrastive 3D Scene Representations

abstract: This paper explores self-supervised learning of amodal 3D feature representations from RGB and RGB-D posed images and videos, agnostic to object and scene semantic content, and evaluates the resulting scene representations in the downstream tasks of visual correspondence, object tracking, and object detection. The model infers a latent3D representation of the scene in the form of 3D feature points, where each continuous world 3D point is mapped to its corresponding feature vector. The model is trained for contrastive view prediction by rendering 3D feature clouds in queried viewpoints and matching against the 3D feature point cloud predicted from the query view. Notably, the representation can be queried for any 3D location, even if it is not visible from the input view. Our model brings together three powerful ideas of recent exciting research work: 3D feature grids as a neural bottleneck for view prediction, implicit functions for handling resolution limitations of 3D grids, and contrastive learning for unsupervised training of feature representations. We show the resulting 3D visual feature representations effectively scale across objects and scenes, imagine information occluded or missing from the input viewpoints, track objects over time, align semantically related objects in 3D, and improve 3D object detection. We outperform many existing state-of-the-art methods for 3D feature learning and view prediction, which are either limited by 3D grid spatial resolution, do not attempt to build amodal 3D representations, or do not handle combinatorial scene variability due to their non-convolutional bottlenecks.


title: $T\bar T$ deformation on multiquantum mechanics and regenesis

abstract: We study the $T\bar T$ deformation on multiquantum mechanical systems. By introducing dynamical coordinate transformation, we reformulate the one-dimensional $T\bar T$ deformation of generic quantum mechanical systems, which is consistent with the previous proposal in the literature. We further study the thermo-field-double state under the $T\bar T$ deformation on these systems, which include the conformal quantum mechanical system, the Sachdev-Ye-Kitaev model, and the model satisfying eigenstate thermalization hypothesis. We find common regenesis phenomena in which the signal injected into one local system can regenerate from the other local system. From the $AdS_2/CFT_1$ perspective, we study the deformation of Jackiw-Teitelboim gravity governed by Schwarzian action and find that these regenesis phenomena are realized by exchanging boundaries graviton via the nonlocal $T\bar T$ coupling.


title: A Differential-Cascaded Approach for Adaptive Control of Robot Manipulators

abstract: This paper investigates adaptive control of nonlinear robot manipulators with parametric uncertainty. Motivated by generating closed-loop robot dynamics with enhanced transmission capability of a reference torque and with connection to linear dynamics, we develop a new adaptive approach by exploiting forwardstepping design and inertia invariance, yielding differential-cascaded closed-loop dynamics. With this approach, we propose a new class of adaptive controllers for nonlinear robot manipulators. Our particular study concerning adaptive control of robots exhibits a design methodology towards establishing the connection between adaptive control of highly nonlinear uncertain systems (e.g., with a variable inertia matrix) and linear dynamics (typically with the same or increased order), which is a long-standing intractable issue in the literature.


title: Towards End-to-End Neural Face Authentication in the Wild -- Quantifying and Compensating for Directional Lighting Effects

abstract: The recent availability of low-power neural accelerator hardware, combined with improvements in end-to-end neural facial recognition algorithms provides, enabling technology for on-device facial authentication. The present research work examines the effects of directional lighting on a State-of-Art(SoA) neural face recognizer. A synthetic re-lighting technique is used to augment data samples due to the lack of public data-sets with sufficient directional lighting variations. Top lighting and its variants (top-left, top-right) are found to have minimal effect on accuracy, while bottom-left or bottom-right directional lighting has the most pronounced effects. Following the fine-tuning of network weights, the face recognition model is shown to achieve close to the original Receiver Operating Characteristic curve (ROC)performance across all lighting conditions and demonstrates an ability to generalize beyond the lighting augmentations used in the fine-tuning data-set. This work shows that an SoA neural face recognition model can be tuned to compensate for directional lighting effects, removing the need for a pre-processing step before applying facial recognition.


title: Modular symmetry and zeros in magnetic compactifications

abstract: We discuss the modular symmetry and zeros of zero-mode wave functions on two-dimensional torus $T^2$ and toroidal orbifolds $T^2/\mathbb{Z}_N$ ($N=2,3,4,6$) with a background homogeneous magnetic field. As is well-known, magnetic flux contributes to the index in the Atiyah-Singer index theorem. The zeros in magnetic compactifications therefore play an important role, as investigated in a series of recent papers. Focusing on the zeros and their positions, we study what type of boundary conditions must be satisfied by the zero modes after the modular transformation. The consideration in this paper justifies that the boundary conditions are common before and after the modular transformation.


title: 3D Surfel Map-Aided Visual Relocalization with Learned Descriptors

abstract: In this paper, we introduce a method for visual relocalization using the geometric information from a 3D surfel map. A visual database is first built by global indices from the 3D surfel map rendering, which provides associations between image points and 3D surfels. Surfel reprojection constraints are utilized to optimize the keyframe poses and map points in the visual database. A hierarchical camera relocalization algorithm then utilizes the visual database to estimate 6-DoF camera poses. Learned descriptors are further used to improve the performance in challenging cases. We present evaluation under real-world conditions and simulation to show the effectiveness and efficiency of our method, and make the final camera poses consistently well aligned with the 3D environment.


title: Measurement of the Casimir Force between 0.2 and 8 mum: Experimental Procedures and Comparison with Theory

abstract: We present results on the determination of the differential Casimir force between an Au-coated sapphire sphere and the top and bottom of Au-coated deep silicon trenches performed by means of the micromechanical torsional oscillator in the range of separations from 0.2 to 8 $\upmu$m. The random and systematic errors in the measured force signal are determined at the 95\% confidence level and combined into the total experimental error. The role of surface roughness and edge effects is investigated and shown to be negligibly small. The distribution of patch potentials is characterized by Kelvin probe microscopy, yielding an estimate of the typical size of patches, the respective r.m.s. voltage and their impact on the measured force. A comparison between the experimental results and theory is performed with no fitting parameters. For this purpose, the Casimir force in the sphere-plate geometry is computed independently on the basis of first principles of quantum electrodynamics using the scattering theory and the gradient expansion. In doing so, the frequency-dependent dielectric permittivity of Au is found from the optical data extrapolated to zero frequency by means of the plasma and Drude models. It is shown that the measurement results exclude the Drude model extrapolation over the region of separations from 0.2 to 4.8~$\upmu$m, whereas the alternative extrapolation by means of the plasma model is experimentally consistent over the entire measurement range. A discussion of the obtained results is provided.


title: On an anisotropic p-Laplace equation with variable singular exponent

abstract: In this article, we study the following anisotropic p-Laplacian equation with variable exponent given by \begin{equation*} (P)\left\{\begin{split} -\Delta_{H,p}u&=\frac{\la f(x)}{u^{q(x)}}+g(u)\text{ in }\Omega,\\ u&>0\text{ in }\Omega,\,u=0\text{ on }\partial\Omega, \end{split}\right. \end{equation*} under the assumption $\Omega$ is a bounded smooth domain in $\mathbb{R}^N$ with $p,N\geq 2$, $\la>0$ and $0<q \in C(\bar \Om)$. For the purely singular case that is $g\equiv 0$, we proved existence and uniqueness of solution. We also demonstrate the existence of multiple solution to $(P)$ provided $f\equiv 1$ and $g(u)=u^r$ for $r\in (p-1,p^*-1)$.


title: Pisces VII: Discovery of a possible satellite of Messier 33 in the DESI Legacy Imaging Surveys

abstract: We report deep imaging observations with DOLoRes@TNG of an ultra-faint dwarf satellite candidate of the Triangulum galaxy (M33) found by visual inspection of the public imaging data release of the DESI Legacy Imaging Surveys. Pisces VII/Triangulum (Tri) III is found at a projected distance of 72 kpc from M33, and using the tip of the red giant branch method we estimate a distance of D=1.0 +0.3,-0.2 Mpc, meaning the galaxy could either be an isolated ultra-faint or the second known satellite of M33. We estimate an absolute magnitude of M_V=-6.1+/-0.2 if Pisces VII/Tri II is at the distance of M33, or as bright as M_V=-6.8+/-0.2 if the galaxy is isolated. At the isolated distance, it has a physical half-light radius of r_h=131+/-61 pc consistent with similarly faint galaxies around the Milky Way. As the tip of the red giant branch is sparsely populated, constraining a precision distance is not possible, but if Pisces VII/Tri III can be confirmed as a true satellite of M33 it is a significant finding. With only one potential satellite detected around M33 previously (Andromeda XXII/Tri I), it lacks a significant satellite population in stark contrast to the similarly massive Large Magellanic Cloud. The detection of more satellites in the outskirts of M33 could help to better illuminate if this discrepancy between expectation and observations is due to a poor understanding of the galaxy formation process, or if it is due to the low luminosity and surface brightness of the M33 satellite population which has thus far fallen below the detection limits of previous surveys. If it is truly isolated, it would be the faintest known field dwarf detected to date.


title: Incentivizing Exploration in Linear Bandits under Information Gap

abstract: We study the problem of incentivizing exploration for myopic users in linear bandits, where the users tend to exploit arm with the highest predicted reward instead of exploring. In order to maximize the long-term reward, the system offers compensation to incentivize the users to pull the exploratory arms, with the goal of balancing the trade-off among exploitation, exploration and compensation. We consider a new and practically motivated setting where the context features observed by the user are more informative than those used by the system, e.g., features based on users' private information are not accessible by the system. We propose a new method to incentivize exploration under such information gap, and prove that the method achieves both sublinear regret and sublinear compensation. We theoretical and empirically analyze the added compensation due to the information gap, compared with the case that the system has access to the same context features as the user, i.e., without information gap. We also provide a compensation lower bound of our problem.