title: Pair hopping in systems of strongly interacting hard-core bosons

abstract: We have used the Stochastic Series Expansion quantum Monte Carlo method to study interacting hard-core bosons on the square lattice, with pair-hopping processes supplementing the standard single-particle hopping. Such pair hopping arises in effective models for frustrated quantum magnets. Our goal is to investigate the effects of the pair hopping process on the commonly observed superfluid, insulating (Mott), and super-solid ground-state phases in the standard hard-core boson model with various interaction terms. The model is specifically motivated by the observation of finite dispersion of 2-magnon bound states in neutron diffraction experiments SrCu$_2$(BO$_3$)$_2$. Our results show that the pair hopping has different effects on Mott phases at different filling fractions, "melting" them at different critical pair-hopping amplitudes. Thus, it appears that pair hopping may have an important role in determining which out of a potentially large number of Mott phases (stabilized by details of the charge-diagonal interaction terms) actually survive the totality of quantum fluctuations present.


title: Spatial-Aware Non-Local Attention for Fashion Landmark Detection

abstract: Fashion landmark detection is a challenging task even using the current deep learning techniques, due to the large variation and non-rigid deformation of clothes. In order to tackle these problems, we propose Spatial-Aware Non-Local (SANL) block, an attentive module in deep neural network which can utilize spatial information while capturing global dependency. Actually, the SANL block is constructed from the non-local block in the residual manner which can learn the spatial related representation by taking a spatial attention map from Grad-CAM. We then establish our fashion landmark detection framework on feature pyramid network, equipped with four SANL blocks in the backbone. It is demonstrated by the experimental results on two large-scale fashion datasets that our proposed fashion landmark detection approach with the SANL blocks outperforms the current state-of-the-art methods considerably. Some supplementary experiments on fine-grained image classification also show the effectiveness of the proposed SANL block.


title: Comparison of Gaia DR2 Parallaxes of Stars with VLBI Astrometry

abstract: We compare the parallaxes of stars from VLBI astrometry in the literature to those in the Gaia DR2 catalog. Our full sample contains young stellar objects, evolved AGB stars, pulsars and other radio stars. Excluding AGB stars, which show significant discrepancies between Gaia and VLBI parallaxes, and stars in binary systems, we obtain an average, systematic, parallax offset of $-75 \pm 29~\mu$as for Gaia DR2, consistent with their estimate of a parallax zero-point between $-100$ and 0 $\mu$as.


title: Pricing Formulae of Power Binary and Normal Distribution Standard Options and Applications

abstract: In this paper the Buchen's pricing formulae of (higher order) asset and bond binary options are incorporated into the pricing formula of power binary options and a pricing formula of "the normal distribution standard options" with the maturity payoff related to a power function and the density function of normal distribution is derived. And as their applications, pricing formulae of savings plans that provide a choice of indexing and discrete geometric average Asian options are derived and the fact that the price of discrete geometric average Asian option converges to the price of continuous geometric average Asian option when the largest distance between neighboring monitoring times goes to zero is proved.


title: Spontaneous charge current in a doped Weyl semimetal

abstract: A Weyl semimetal hosts low-energy chiral surface states, which appear to connect a pair of Weyl nodes in reciprocal space. As these chiral surface states propagate in a given direction, a spontaneous circulating current is expected to appear near the surface of a singly connected Weyl semimetal. This possibility is examined by using a simple model with particle-hole symmetry. It is shown that no spontaneous charge current appears when the Fermi level is located at the band center. However, once the Fermi level deviates from the band center, a spontaneous charge current appears to circulate around the surface of the system and its direction of flow is opposite for the cases of electron doping and hole doping. These features are qualitatively unchanged even in the absence of particle-hole symmetry. The circulating charge current is shown to be robust against weak disorder.


title: Cold dilute nuclear matter with $\alpha$-particle condensation in a generalized nonlinear relativistic mean-field model

abstract: We explore the thermodynamic properties of homogeneous cold (zero-temperature) nuclear matter including nucleons and $\alpha$-particle condensation at low densities by using a generalized nonlinear relativistic mean-field (gNL-RMF) model. In the gNL-RMF model, the $\alpha$-particle is included as explicit degree of freedom and treated as point-like particle with its interaction described by meson exchanges and the in-medium effects on the $\alpha$ binding energy is described by density- and temperature-dependent energy shift with the parameters obtained by fitting the experimental Mott density. We find that below the dropping density $n_{\rm{drop}}$ ($\sim 3\times 10^{-3}$ fm$^{-3}$), the zero-temperature symmetric nuclear matter is in the state of pure Bose-Einstein condensate (BEC) of $\alpha$ particles while the neutron-rich nuclear matter is composed of $\alpha$-BEC and neutrons. Above the $n_{\rm{drop}}$, the fraction of $\alpha$-BEC decreases with density and vanishes at the transition density $n_t$ ($\sim 8\times 10^{-3}$ fm$^{-3}$). Above the $n_t$, the nuclear matter becomes pure nucleonic matter. Our results indicate that the empirical parabolic law for the isospin asymmetry dependence of nuclear matter equation of state is heavily violated by the $\alpha$-particle condensation in the zero-temperature dilute nuclear matter, making the conventional definition of the symmetry energy meaningless. We investigate the symmetry energy defined under parabolic approximation for the zero-temperature dilute nuclear matter with $\alpha$-particle condensation, and find it is significantly enhanced compared to the case without clusters and becomes saturated at about $7$ MeV at very low densities ($\lesssim 10^{-3}$ fm$^{-3}$). The critical temperature for $\alpha$-condensation in homogeneous dilute nuclear matter is also discussed.


title: Topologically Protected Photonic Modes in Composite Quantum Hall/Quantum Spin Hall Waveguides

abstract: Photonic topological systems, the electromagnetic analog of the topological materials in condensed matter physics, create many opportunities to design optical devices with novel properties. We present an experimental realization of the bi-anisotropic meta waveguide photonic system replicating both quantum Hall (QH) and quantum spin-Hall (QSH) topological insulating phases. With careful design, a composite QH-QSH photonic topological material is created and experimentally shown to support reflection-free edgemodes, a heterogeneous topological structure that is unprecedented in condensed matter physics. The effective spin degree of freedom of such topologically protected modes determines their unique pathways through these systems, free from backscattering and able to travel around sharp corners. {As an example of their novel properties, we experimentally demonstrate reflection-less photonic devices including a 2-port isolator, a unique 3-port topological device, and a full 4-port circulator based on composite QH and QSH structures


title: Hybrid Reinforcement Learning with Expert State Sequences

abstract: Existing imitation learning approaches often require that the complete demonstration data, including sequences of actions and states, are available. In this paper, we consider a more realistic and difficult scenario where a reinforcement learning agent only has access to the state sequences of an expert, while the expert actions are unobserved. We propose a novel tensor-based model to infer the unobserved actions of the expert state sequences. The policy of the agent is then optimized via a hybrid objective combining reinforcement learning and imitation learning. We evaluated our hybrid approach on an illustrative domain and Atari games. The empirical results show that (1) the agents are able to leverage state expert sequences to learn faster than pure reinforcement learning baselines, (2) our tensor-based action inference model is advantageous compared to standard deep neural networks in inferring expert actions, and (3) the hybrid policy optimization objective is robust against noise in expert state sequences.


title: Squeezed ensemble for systems with first-order phase transitions

abstract: All ensembles of statistical mechanics are equivalent in the sense that they give the equivalent thermodynamic functions in the thermodynamic limit. However, when investigating microscopic structures in the first-order phase transition region, one must choose an appropriate statistical ensemble. The appropriate choice is particularly important when one investigates finite systems, for which even the equivalence of ensembles does not hold. We propose a class of statistical ensembles, which always give the correct equilibrium state even in the first-order phase transition region. We derive various formulas for this class of ensembles, including the one by which temperature is obtained directly from energy without knowing entropy. Moreover, these ensembles are convenient for practical calculations because of good analytic properties. We also derive formulas which relate statistical-mechanical quantities of different ensembles, including the conventional ones, for finite systems. The formulas are useful for obtaining results with smaller finite-size effects, and for improving the computational efficiency. The advantages of the squeezed ensembles are confirmed by applying them to the Heisenberg model and the frustrated Ising model.


title: Hausdorff-$(2n-2)$ dimensional measure zero set and compactness of the $\overline{\partial}$-Neumann operator on $(0,n-1)$ forms

abstract: By using a variant Property $(P_q)$ of Catlin, we discuss the relation of small set of weakly pseudoconvex points on the boundary of pseudoconvex domain and compactness of the $\overline{\partial}$-Neumann operator. In particular, we show that if the Hausdorff $(2n-2)$-dimensional measure of the weakly pseudoconvex points on the boundary of a smooth bounded pseudoconvex domain is zero, then the $\overline{\partial}$-Neumann operator $N_{n-1}$ is compact on $(0,n-1)$-level $L^2$-integrable forms.


title: Stack words and a bound for 3-stack sortable permutations

abstract: We use stack words to find a new, simple proof for the best known upper bound for the number of 3-stack sortable permutations of a given length. This is the first time that stack words are used to obtain such a result.


title: Polyhedral products and features of their homotopy theory

abstract: A polyhedral product is a natural subspace of a Cartesian product that is specified by a simplicial complex. The modern formalism arose as a generalization of the spaces known as moment-angle complexes which were developed within the nascent subject of toric topology. This field, which began as a topological approach to toric geometry and aspects of symplectic geometry, has expanded rapidly in recent years. The investigation of polyhedral products and their homotopy theoretic properties has developed to the point where they are studied in various fields of mathematics far removed from their origin. In this survey, we provide a brief historical overview of the development of this subject, summarize many of the main results and describe applications.


title: Critical hysteresis on dilute triangular lattice

abstract: Critical hysteresis in the zero-temperature random-field Ising model on a two-dimensional triangular lattice has been studied earlier with site dilution on one sublattice. It was reported that criticality vanishes if less than one third of the sublattice is occupied. This appears at variance with recently obtained exact solutions of the model on dilute Bethe lattices and prompts us to revisit the problem using an alternate numerical method. Contrary to our speculation that criticality may not be exactly zero below one third dilution, the present study indicates it is nearly zero if approximately less than two-thirds of the sublattice is occupied. This suggests that hysteresis on dilute periodic lattices is qualitatively different from that on dilute Bethe lattices. Possible reasons are discussed briefly.


title: Normal approximation for associated point processes via Stein's method with applications to determinantal point processes

abstract: We use Stein's method to provide non asymptotic $L^1$ bounds to the normal for functionals of associated point processes. As for supporting tools, we use the connection between association and $\alpha$-mixing properties that was recently uncovered by [PDL17]. We apply our main results to determinantal point processes which are known to be negatively associated. A potential application to point processes in the Laguerre-Gaussian family is also presented.


title: A Scintillator and Radio Enhancement of the IceCube Surface Detector Array

abstract: An upgrade of the present IceCube surface array (IceTop) with scintillation detectors and possibly radio antennas is foreseen. The enhanced array will calibrate the impact of snow accumulation on the reconstruction of cosmic-ray showers detected by IceTop as well as improve the veto capabilities of the surface array. In addition, such a hybrid surface array of radio antennas, scintillators and Cherenkov tanks will enable a number of complementary science targets for IceCube such as enhanced accuracy to mass composition of cosmic rays, search for PeV photons from the Galactic Center, or more thorough tests of the hadronic interaction models. Two prototype stations with 7 scintillation detectors each have been already deployed at the South Pole in January 2018. These R&D studies provide a window of opportunity to integrate radio antennas with minimal effort.


title: Amplitude analysis of $D_{s}^{+} \rightarrow \pi^{+}\pi^{0}\eta$ and first observation of the pure $W$-annihilation decays $D_{s}^{+} \rightarrow a_{0}(980)^{+}\pi^{0}$ and $D_{s}^{+} \rightarrow a_{0}(980)^{0}\pi^{+}$

abstract: We present the first amplitude analysis of the decay $D^{+}_{s} \rightarrow \pi^{+}\pi^{0}\eta$. We use an $e^{+}e^{-}$ collision data sample corresponding to an integrated luminosity of 3.19~${\mbox{\,fb}^{-1}}$ collected with the BESIII detector at a center-of-mass energy of $4.178$ GeV. We observe for the first time the pure $W$-annihilation decays $D_{s}^{+} \rightarrow a_{0}(980)^{+}\pi^{0}$ and $D_{s}^{+} \rightarrow a_{0}(980)^{0}\pi^{+}$. We measure the absolute branching fractions $\mathcal{B}(D_{s}^{+} \rightarrow a_{0}(980)^{+(0)}\pi^{0^(+)}, a_{0}(980)^{+(0)} \to \pi^{+(0)}\eta) = (1.46\pm0.15_{{\rm stat.}}\pm0.23_{{\rm sys.}})$\%, which is larger than the branching fractions of other measured pure $W$-annihilation decays by at least one order of magnitude. In addition, we measure the branching fraction of $D_{s}^{+} \rightarrow \pi^{+}\pi^{0}\eta$ with significantly improved precision.


title: C IV absorbers tracing cool gas in dense galaxy group/cluster environments

abstract: We present analysis on three intervening H I-C IV absorption systems tracing gas within galaxy group/cluster environments, identified in the $HST$/COS far-UV spectra of the background quasars PG $1148+549$ ($z_{abs}=0.00346$), SBS~$1122+594$ ($z_{abs}=0.00402$) and RXJ~$1230.8+0115$ ($z_{abs}=0.00574$). The ionization models are consistent with the origin of metal lines and H I from a cool and diffuse photoionized gas phase with $T \lesssim 4 \times 10^{4}$ K and $n_{\mathrm{H}} \lesssim 5 \times 10^{-4}$ cm$^{-3}$. The three absorbers have $89$, $51$ and $17$ galaxies detected within $1$ Mpc and $|\Delta v| < 600$ km s$^{-1}$. The RXJ~$1230.8+0115$ sightline traces the outskirt regions of the Virgo cluster where the absorber is found to have super-solar metallicity. The detection of metal lines along with H I has enabled us to confirm the presence of cool, diffuse gas possibly enriched by outflows and tidal interactions in environments with significant galaxy density.


title: HetConv: Heterogeneous Kernel-Based Convolutions for Deep CNNs

abstract: We present a novel deep learning architecture in which the convolution operation leverages heterogeneous kernels. The proposed HetConv (Heterogeneous Kernel-Based Convolution) reduces the computation (FLOPs) and the number of parameters as compared to standard convolution operation while still maintaining representational efficiency. To show the effectiveness of our proposed convolution, we present extensive experimental results on the standard convolutional neural network (CNN) architectures such as VGG \cite{vgg2014very} and ResNet \cite{resnet}. We find that after replacing the standard convolutional filters in these architectures with our proposed HetConv filters, we achieve 3X to 8X FLOPs based improvement in speed while still maintaining (and sometimes improving) the accuracy. We also compare our proposed convolutions with group/depth wise convolutions and show that it achieves more FLOPs reduction with significantly higher accuracy.


title: Avoided mode crossings in cylindrical microwave cavities

abstract: Axion haloscope detectors require high-$Q$ cavities with tunable TM$_{010}$ modes whose resonant electric field occupies as much of the full volume of the cavity as possible. An analytical study of the effects of longitudinal symmetry breaking within microwave cavities was conducted to better understand the mode structure. The study revealed longitudinal symmetry breaking of the cavities was the mechanism for avoided mode crossings (AMC) in cylindrical microwave cavities. The results showed the size of the gaps in the search frequency spectrum due to an AMC was roughly proportional to the magnitude of symmetry breaking for small perturbations.


title: Clustering-Correcting Codes

abstract: A new family of codes, called clustering-correcting codes, is presented in this paper. This family of codes is motivated by the special structure of data that is stored in DNA-based storage systems. The data stored in these systems has the form of unordered sequences, also called strands, and every strand is synthesized thousands to millions of times, where some of these copies are read back during sequencing. Due to the unordered structure of the strands, an important task in the decoding process is to place them in their correct order. This is usually accomplished by allocating a part of the strand for an index. However, in the presence of errors in the index field, important information on the order of the strands may be lost. Clustering-correcting codes ensure that if the distance between the index fields of two strands is small, then there will be a large distance between their data fields. It is shown how this property enables to place the strands together in their correct clusters even in the presence of errors. We present lower and upper bounds on the size of clustering-correcting codes and an explicit construction of these codes which uses only a single bit of redundancy.


title: Analysis of nuclear structure in a converging expansion scheme

abstract: In the framework of the KIDS generalized energy density functional (EDF), the nuclear equation of state (EoS) is expressed as an expansion in powers of the Fermi momentum or the cubic root of the density ($\rho^{1/3}$). Although an optimal number of converging terms was obtained in specific cases of fits to empirical data and pseudodata, the degree of convergence remains to be examined not only for homogeneous matter but also for finite nuclei. One goal of the present work is to validate the minimal and optimal number of EoS parameters required for the description of homogeneous nuclear matter over a wide range of densities relevant for astrophysical applications. The major goal is to examine the validity of the adopted expansion scheme for an accurate description of finite nuclei. To this end we vary the values of the high-order derivatives of the EoS, namely the skewness of the energy of symmetric nuclear matter and the kurtosis of the symmetry energy, at saturation and examine the relative importance of each term in $\rho^{1/3}$ expansion for homogeneous matter. For given sets of EoS parameters determined in this way, we define equivalent Skyrme-type functionals and examine the convergence in the description of finite nuclei focusing on the masses and charge radii of closed-shell nuclei. The EoS of symmetric nuclear matter is found to be efficiently parameterized with only 3 parameters and the symmetry energy (or the energy of pure neutron matter) with 4 parameters when the EoS is expanded in the power series of the Fermi momentum. Higher-order EoS parameters do not produce any improvement, in practice, in the description of nuclear ground-state energies and charge radii, which means that they cannot be constrained by bulk properties of nuclei.


title: Singing voice conversion with non-parallel data

abstract: Singing voice conversion is a task to convert a song sang by a source singer to the voice of a target singer. In this paper, we propose using a parallel data free, many-to-one voice conversion technique on singing voices. A phonetic posterior feature is first generated by decoding singing voices through a robust Automatic Speech Recognition Engine (ASR). Then, a trained Recurrent Neural Network (RNN) with a Deep Bidirectional Long Short Term Memory (DBLSTM) structure is used to model the mapping from person-independent content to the acoustic features of the target person. F0 and aperiodic are obtained through the original singing voice, and used with acoustic features to reconstruct the target singing voice through a vocoder. In the obtained singing voice, the targeted and sourced singers sound similar. To our knowledge, this is the first study that uses non parallel data to train a singing voice conversion system. Subjective evaluations demonstrate that the proposed method effectively converts singing voices.


title: Towards a new social laboratory: An experimental study of search through community participation at Burning Man

abstract: The "small world phenomenon," popularized by Stanley Milgram, suggests that individuals from across a social network are connected via a short path of mutual friends and can leverage their local social information to efficiently traverse that network. Existing social search experiments are plagued by high rates of attrition, which prohibit comprehensive study of social search. We investigate this by conducting a small world experiment at Burning Man, an event located in the Black Rock Desert of Nevada, USA, known its unique social systems and community participation. We design location-tracking vessels that we routed through Burning Man towards the goal of finding a particular person. Along the way, the vessels logged individual information and GPS data. Two of fifteen vessels made it to their designated people, but a month after Burning Man. Our results suggest possible improvements to limit rates of attrition through community participation and a design methodology that emphasizes cultural practices to aid social experimentation.


title: Typical entanglement for Gaussian states

abstract: We consider ensembles of bipartite states resulting from a random passive Gaussian unitary applied to a fiducial pure Gaussian state. We show that the symplectic spectra of the reduced density operators concentrate around that of a thermal state with the same energy. This implies, in particular, concentration of the entanglement entropy as well as other entropy measures. Our work extends earlier results on the typicality of entanglement beyond the two ensembles and the reduced purity measure considered in [A. Serafini, O. C. O. Dahlsten, D. Gross, and M. B. Plenio, J. Phys. A: Math. Theor., 40(31):9551 (2007)].


title: Holographic complexity and thermodynamics of AdS black holes

abstract: In this paper, we relate the complexity for a holographic state to a simple gravitational object of which the growth rate at late times is equal to temperature times black hole entropy. We show that if this is correct, the thermodynamics of AdS black holes implies that for generic holographic states dual to static AdS black holes, the complexity growth rate at late times will saturate the Lloyd bound at high temperature limit. In particular, for AdS planar black holes, the result holds at lower temperatures as well. We conjecture that the complexity growth is bounded above as $d\mathcal{C}/dt\leq \alpha T S/\pi\hbar$ or $d\mathcal{C}/dt\leq \alpha \big(T_+ S_+-T_-S_-\big)/\pi\hbar$ for black holes with inner horizons, where $\alpha$ is an overall coefficient for our new proposal. The conjecture passes a number of nontrivial tests for black holes in Einstein's gravity. However, we also find that the bound may be violated in the presence of stringy corrections.


title: Manipulation by Feel: Touch-Based Control with Deep Predictive Models

abstract: Touch sensing is widely acknowledged to be important for dexterous robotic manipulation, but exploiting tactile sensing for continuous, non-prehensile manipulation is challenging. General purpose control techniques that are able to effectively leverage tactile sensing as well as accurate physics models of contacts and forces remain largely elusive, and it is unclear how to even specify a desired behavior in terms of tactile percepts. In this paper, we take a step towards addressing these issues by combining high-resolution tactile sensing with data-driven modeling using deep neural network dynamics models. We propose deep tactile MPC, a framework for learning to perform tactile servoing from raw tactile sensor inputs, without manual supervision. We show that this method enables a robot equipped with a GelSight-style tactile sensor to manipulate a ball, analog stick, and 20-sided die, learning from unsupervised autonomous interaction and then using the learned tactile predictive model to reposition each object to user-specified configurations, indicated by a goal tactile reading. Videos, visualizations and the code are available here: https://sites.google.com/view/deeptactilempc


title: Uniqueness and stability of traveling waves to the time-like extremal hypersurface in Minkowski space

abstract: There is a few results about the global stability of nontrivial solutions to quasilinear wave equations. In this paper we are concerned with the uniqueness and stability of traveling waves to the time-like extremal hypersurface in Minkowski space. Firstly, we can get the existence and uniqueness of traveling wave solutions to the time-like extremal hypersurface in R1+(n+1), which can be considered as the generalized Bernstein theorem in Minkowski space. Furthermore, we also get the stability of traveling wave solutions with speed of light to time-like extremal hypersurface in 1 + (2 + 1) dimensional Minkowski space.


title: Interference Mitigation for Ultrareliable Low-Latency Wireless Communication

abstract: This paper proposes interference mitigation techniques for provisioning ultrareliable low-latency wireless communication in an industrial automation setting, where multiple transmissions from controllers to actuators interfere with each other. Channel fading and interference are key impairments in wireless communication. This paper leverages the recently proposed ``Occupy CoW'' protocol that efficiently exploits the broadcast opportunity and spatial diversity through a two-hop cooperative communication strategy among distributed receivers to combat deep fading, but points out that because this protocol avoids interference by frequency division orthogonal transmission, it is not scalable in terms of bandwidth required for achieving ultrareliability, when multiple controllers simultaneously communicate with multiple actuators (akin to the downlink of a multicell network). The main observation of this paper is that full frequency reuse in the first phase, together with successive decoding and cancellation of interference, can improve the performance of this strategy notably. We propose two protocols depending on whether interference cancellation or avoidance is implemented in the second phase, and show that both outperform Occupy CoW in terms of the required bandwidth and power for achieving ultrareliability at practical values of the transmit power.


title: SAR Analysis of Directive Antenna on Anatomically Real Breast Phantoms for Microwave Holography

abstract: Microwave imaging is emerging as a promising substitution diagnostic tool, for breast cancer detection. It has ignited the interest in the interaction of the microwaves with biological tissues and their respective effects on the human body which requires the investigation of safety issues on human health under the exposure of antenna's microwave radiation. In this work a specifically designed directive and ultra-wideband antenna is developed for microwave holographic system. A detailed simulation analysis of Specific Absorption Rate (SAR) and temperature variation due to the radiation exposure of the designed antenna on self-designed anatomically real breast phantoms and Computer Simulation Technology (CST) voxel breast models are done in CST environment. Thereafter, the antenna and anatomical phantom are fabricated for the experimental verification of the simulation analysis of SAR. It is found that the SAR due to the radiation of the designed antenna lies in the permissible limit and the variation in temperature is only 0.096%. Hence, the antenna can be used in microwave holography for breast cancer detection.


title: Maximum $k$-sum $\mathbf{n}$-free sets of the 2-dimensional integer lattice

abstract: For a positive integer $n$, let $[n]$ denote $\{1, \ldots, n\}$. For a 2-dimensional integer lattice point $\mathbf{b}$ and positive integers $k\geq 2$ and $n$, a \textit{$k$-sum $\mathbf{b}$-free set} of $[n]\times [n]$ is a subset $S$ of $[n]\times [n]$ such that there are no elements ${\mathbf{a}}_1, \ldots, {\mathbf{a}}_k$ in $S$ satisfying ${\mathbf{a}}_1+\cdots+{\mathbf{a}}_k =\mathbf{b}$. For a 2-dimensional integer lattice point $\mathbf{b}$ and positive integers $k\geq 2$ and $n$, we determine the maximum density of a {$k$-sum $\mathbf{b}$-free set} of $[n]\times [n]$. This is the first investigation of the non-homogeneous sum-free set problem in higher dimensions.


title: Distributed Non-convex Optimization of Multi-agent Systems Using Boosting Functions to Escape Local Optima: Theory and Applications

abstract: We address the problem of multiple local optima arising due to non-convex objective functions in cooperative multi-agent optimization problems. To escape such local optima, we propose a systematic approach based on the concept of boosting functions. The underlying idea is to temporarily transform the gradient at a local optimum into a boosted gradient with a non-zero magnitude. We develop a Distributed Boosting Scheme (DBS) based on a gradient-based optimization algorithm using a novel optimal variable step size mechanism so as to guarantee convergence. Even though our motivation is based on the coverage control problem setting, our analysis applies to a broad class of multi-agent problems. Simulation results are provided to compare the performance of different boosting functions families and to demonstrate the effectiveness of the boosting function approach in attaining improved (still generally local) optima.


title: Proteus: A Scalable BFT Consesus Protocol for Blockchains

abstract: Byzantine Fault Tolerant (BFT) consensus exhibits higher throughput in comparison to Proof of Work (PoW) in blockchains. But BFT-based protocols suffer from scalability problems with respect to the number of replicas in the network. The main reason for this limitation is the quadratic message complexity of BFT protocols. Previously, proposed solutions improve BFT performance for normal operation, but will fall back to quadratic message complexity once the protocol observes a certain number of failures. This makes the protocol performance unpredictable as it is not guaranteed that the network will face a a certain number of failures. As a result, such protocols are only scalable when conditions are favorable (i.e., the number of failures are less than a given threshold). To address this issue we propose Proteus, a new BFT-based consensus protocol which elects a subset of nodes $c$ as a root committee. Proteus guarantees stable performance, regardless of the number of failures in the network and it improves on the quadratic message complexity of typical BFT-based protocols to $O(cn)$, where $c<<n$, for large $n$. Thus, message complexity remains small and less than quadratic when $c$ is asymptotically smaller than $n$, and this helps the protocol to provide stable performance even during the view change process (change of root committee). Our view change process is different than typical BFT protocols as it replaces the whole root committee compared to replacing a single primary in other protocols. We deployed and tested our protocol on $200$ Amazon $EC2$ instances, with two different baseline BFT protocols (PBFT and Bchain) for comparison. In these tests, our protocol outperformed the baselines by more than $2\times$ in terms of throughput as well as latency.


title: Feasibility at the LHC, FCC-he and CLIC for sensitivity estimates on anomalous $\tau$-lepton couplings

abstract: In this paper, we present detailed studies on the feasibility at $pp$, $e^-p$ and $e^+e^-$ colliders for model-independent sensitivity estimates on the total cross-section and on the anomalous $\tau^+\tau^-\gamma$ interaction through the tau pair production channels $pp \to p\tau\bar \tau \gamma p$, $e^-p \to e^- \tau\bar \tau \gamma p$ and $e^+e^- \to e^+ \tau\bar \tau \gamma e^-$ at the $\gamma^*\gamma^* \to \tau^+\tau^-\gamma$ mode. Measurements of the anomalous couplings of the $\tau$-lepton $\tilde{a}_\tau$ and $\tilde{d}_\tau$ provide an excellent opportunity to probing extensions of the Standard Model. We estimate the sensitivity at the $95\%$ Confidence Level, and we consider that the $\tau$-lepton decays leptonically or semi-leptonically. We found that of the three considered colliders, the future CLIC at high energy and high luminosity should provide the best sensitivity on the dipole moments of the $\tau$-lepton $\tilde a_\tau= [-0.00128, 0.00105]$ and $ |\tilde{d}_\tau({\rm ecm})|= 6.4394\times 10^{-18}$, which show a potential advantage compared to those from LHC and FCC-he.


title: Some identities of special numbers and polynomials arising from p$-adic integrals on Zp

abstract: In recent years, studying degenerate versions of various special polynomials and numbers have attracted many mathematicians. Here we introduce degenerate type 2 Bernoulli polynomials, fully degenerate type 2 Bernoulli polynomials and degenerate type 2 Euler polynomials, and their corresponding numbers, as degenerate and type 2 versions of Bernoulli and Euler numbers. Regarding to those polynomials and numbers, we derive some identities, distribution relations, Witt type formulas and analogues for the Bernoulli's interpretation of powers of the first $m$ positive integers in terms of Bernoulli polynomials. The present study was done by using the bosonic and fermionic $p$-adic integrals on $\mathbb{Z}_p$.


title: Dissipation and acoustic tunnelling about the sonic horizon of Bondi accretion

abstract: Viscous dissipation, as a small perturbative effect about the Bondi flow, shrinks its sonic sphere. An Eulerian perturbation on the steady flow gives a wave equation and the corresponding dispersion relation. The perturbation is a high-frequency travelling acoustic wave, in which small dissipation is taken iteratively. The wave, propagating radially outwards against the bulk inflow, is blocked just within the sonic horizon, where the amplitude of the wave diverges because of viscosity. The blocked acoustic wave can still tunnel outward through the horizon with a viscosity-dependent decaying amplitude, scaled by the analogue Hawking temperature. The escape of acoustic waves (analogue Hawking phonons) through the sonic horizon is compatible with the radial contraction of the sonic sphere.


title: Direct calculation of time varying Aharonov Bohm effect

abstract: The Aharonov-Bohm effect (ABE) for steady magnetic fields is a well known phenomenon. However, if the current in the infinite solenoid that creates the magnetic field is time-dependent, that is in the presence of both magnetic and electric fields, there is no agreement whether the effect would be present. In this note, we try to investigate time varying ABE by a direct calculation in a set-up with a weak time dependent magnetic field. We find that the electric field arising out of the time-varying magnetic field in the path of the electrons does not enter the action integral but only changes the path of the electron from the source to the slits and then on to the detector. We find a frequency dependent AB phase shift. At low frequencies the result smoothly approaches the one for a constant field as the frequency tends towards zero. On the other hand, for high frequencies such that the AB-phase induced in the path of the wave packet oscillates rapidly, the net effect will be very small which is borne out by our results.


title: On equality of inner and absolute central automorphisms

abstract: Let G be a finite p-group and let Aut_l(G) be the group of absolute central automorphisms of G. We give necessary and sufficient conditions on G such that Aut_l(G) = Inn(G).


title: $\mathbb{Q}$-linear relations of specific families of multiple zeta values and the linear part of Kawashima's relation

abstract: In this paper, we study specific families of multiple zeta values which closely relate to the linear part of Kawashima's relation. We obtain an explicit basis of these families, and investigate their interpolations to complex functions. As a corollary of our main results, we also see that the duality formula and the derivation relation are deduced from the linear part of Kawashima's relation.


title: Sign Patterns of Inverse Doubly-Nonnegative Matrices

abstract: The sign patterns of inverse doubly-nonnegative matrices are examined. A necessary and sufficient condition is developed for a sign matrix to correspond to an inverse doubly-nonnegative matrix. In addition, for a doubly-nonnegative matrix whose graph is a tree, the inverse is shown to have a unique sign pattern, which can be expressed in terms of a two-coloring of the graph.


title: Local well-posedness for the higher-order generalized KdV type equation with low-degree of nonlinearity

abstract: This paper is concerned with the local well-posedness for the higher-order generalized KdV type equation with low-degree of nonlinearity. The equation arises as a non-integrable and lower nonlinearity version of the higher-order KdV equation. As for the lower nonlinearity model of the KdV equation, Linares, the author and Ponce [11] prove the local well-posedness under a non-degenerate condition introduced by Cazenave and Naumkin [1]. In this paper, it turns out that the well-posedness result can be extended into the higher-order equation. We also give a lower bound for the lifespan of the solution. The lifespan depends on two quantities determined by the initial data.


title: The Unconstrained Ear Recognition Challenge 2019 - ArXiv Version With Appendix

abstract: This paper presents a summary of the 2019 Unconstrained Ear Recognition Challenge (UERC), the second in a series of group benchmarking efforts centered around the problem of person recognition from ear images captured in uncontrolled settings. The goal of the challenge is to assess the performance of existing ear recognition techniques on a challenging large-scale ear dataset and to analyze performance of the technology from various viewpoints, such as generalization abilities to unseen data characteristics, sensitivity to rotations, occlusions and image resolution and performance bias on sub-groups of subjects, selected based on demographic criteria, i.e. gender and ethnicity. Research groups from 12 institutions entered the competition and submitted a total of 13 recognition approaches ranging from descriptor-based methods to deep-learning models. The majority of submissions focused on ensemble based methods combining either representations from multiple deep models or hand-crafted with learned image descriptors. Our analysis shows that methods incorporating deep learning models clearly outperform techniques relying solely on hand-crafted descriptors, even though both groups of techniques exhibit similar behaviour when it comes to robustness to various covariates, such presence of occlusions, changes in (head) pose, or variability in image resolution. The results of the challenge also show that there has been considerable progress since the first UERC in 2017, but that there is still ample room for further research in this area.


title: Deep Generative Models: Deterministic Prediction with an Application in Inverse Rendering

abstract: Deep generative models are stochastic neural networks capable of learning the distribution of data so as to generate new samples. Conditional Variational Autoencoder (CVAE) is a powerful deep generative model aiming at maximizing the lower bound of training data log-likelihood. In the CVAE structure, there is appropriate regularizer, which makes it applicable for suitably constraining the solution space in solving ill-posed problems and providing high generalization power. Considering the stochastic prediction characteristic in CVAE, depending on the problem at hand, it is desirable to be able to control the uncertainty in CVAE predictions. Therefore, in this paper we analyze the impact of CVAE's condition on the diversity of solutions given by our designed CVAE in 3D shape inverse rendering as a prediction problem. The experimental results using Modelnet10 and Shapenet datasets show the appropriate performance of our designed CVAE and verify the hypothesis: \emph{"The more informative the conditions in terms of object pose are, the less diverse the CVAE predictions are}".


title: Do Hertzsprung-Gap Stars Show Any Chemical Anomaly?

abstract: With an aim to investigate how the surface abundances of intermediate-mass stars off the main sequence (evolving toward the red-giant stage) are affected by the evolution-induced envelope mixing, we spectroscopically determined the abundances of Li, C, N, O, and Na for selected 62 late A through G subgiants, giants, and supergiants, which are often called "Hertzsprung-gap stars," by applying the synthetic spectrumfitting technique to Li I 6708, C I 5380, N I 7460, O I 6156-8, and Na I 6161 lines. A substantially large star-to-star dispersion (> 2 dex) was confirmed for the Li abundances, indicating that this vulnerable element can either suffer significant depletion before the red-giant stage or almost retain the primordial composition. Regarding C, N, O, and Na possibly altered by dredge-up of nuclear-processed products, their abundances turned out to show considerable scatter. This suggests that these abundance results are likely to suffer appreciable uncertainties, the reason for which is not clear but might be due to some kind of inadequate modeling for the atmospheric structure. Yet, paying attention to the fact that the relative abundance ratios between C, N, and O should be more reliable (because systematic errors may be canceled as lines of similar properties are used for these species), we could confirm a positive correlation between [O/C] (ranging from ~0 to ~+0.5 dex) and [N/C] (showing a larger spread from ~0 to ~+1 dex), which is reasonably consistent with the theoretical prediction. This observational detection of C deficiency as well as N enrichment in our program stars manifestly indicates that the dredge-up of H-burning product can take place before entering the red-giant stage, with its extent differing from star to star.


title: An Innovative Word Encoding Method For Text Classification Using Convolutional Neural Network

abstract: Text classification plays a vital role today especially with the intensive use of social networking media. Recently, different architectures of convolutional neural networks have been used for text classification in which one-hot vector, and word embedding methods are commonly used. This paper presents a new language independent word encoding method for text classification. The proposed model converts raw text data to low-level feature dimension with minimal or no preprocessing steps by using a new approach called binary unique number of word "BUNOW". BUNOW allows each unique word to have an integer ID in a dictionary that is represented as a k-dimensional vector of its binary equivalent. The output vector of this encoding is fed into a convolutional neural network (CNN) model for classification. Moreover, the proposed model reduces the neural network parameters, allows faster computation with few network layers, where a word is atomic representation the document as in word level, and decrease memory consumption for character level representation. The provided CNN model is able to work with other languages or multi-lingual text without the need for any changes in the encoding method. The model outperforms the character level and very deep character level CNNs models in terms of accuracy, network parameters, and memory consumption; the results show total classification accuracy 91.99% and error 8.01% using AG's News dataset compared to the state of art methods that have total classification accuracy 91.45% and error 8.55%, in addition to the reduction in input feature vector and neural network parameters by 62% and 34%, respectively.


title: MSFD:Multi-Scale Receptive Field Face Detector

abstract: We aim to study the multi-scale receptive fields of a single convolutional neural network to detect faces of varied scales. This paper presents our Multi-Scale Receptive Field Face Detector (MSFD), which has superior performance on detecting faces at different scales and enjoys real-time inference speed. MSFD agglomerates context and texture by hierarchical structure. More additional information and rich receptive field bring significant improvement but generate marginal time consumption. We simultaneously propose an anchor assignment strategy which can cover faces with a wide range of scales to improve the recall rate of small faces and rotated faces. To reduce the false positive rate, we train our detector with focal loss which keeps the easy samples from overwhelming. As a result, MSFD reaches superior results on the FDDB, Pascal-Faces and WIDER FACE datasets, and can run at 31 FPS on GPU for VGA-resolution images.


title: Application of spherical convex bodies to Wulff shape

abstract: We present some relationships between the diameter, width and thickness of a reduced convex body on the $d$-dimensional sphere. We apply the obtained properties to recognize if a Wulff shape in the Euclidean $d$-space is self-dual.


title: Estimating Individual Advertising Effect in E-Commerce

abstract: Online advertising has been the major monetization approach for Internet companies. Advertisers invest budgets to bid for real-time impressions to gain direct and indirect returns. Existing works have been concentrating on optimizing direct returns brought by advertising traffic. However, indirect returns induced by advertising traffic such as influencing the online organic traffic and offline mouth-to-mouth marketing provide extra significant motivation to advertisers. Modeling and quantization of causal effects between the overall advertising return and budget enable the advertisers to spend their money more judiciously. In this paper, we model the overall return as individual advertising effect in causal inference with multiple treatments and bound the expected estimation error with learnable factual loss and distance of treatment-specific context distributions. Accordingly, a representation and hypothesis network is used to minimize the loss bound. We apply the learned causal effect in the online bidding engine of an industry-level sponsored search system. Online experiments show that the causal inference based bidding outperforms the existing online bidding algorithm.


title: Dynamo-optically active media: New aspects of the Minkowski-Abraham controversy

abstract: Based on the covariant variation formalism, two versions of the symmetric effective stress-energy tensor of the electromagnetic field in a dynamo-optically active relativistic media are reconstructed in the framework of the tetrad and aether paradigms, respectively. We show that the energy density scalars and pressure tensors coincide for both versions of the stress-energy tensors, however, the corresponding energy flux four-vectors happen to be different in general case. This mathematical fact adds new arguments into the 100-year-long discussion, which is called Minkowski-Abraham controversy and is connected with the correct definition of the electromagnetic energy flux in a continuous media. We consider three examples: first, the axionically active vacuum; second, the spatially isotropic moving dielectric medium; third, the dynamo-optically active medium. We discuss possible applications of the elaborated formalism.


title: Extending the constraint for axion-like particles as resonances at the LHC and laser beam experiments

abstract: We study the discovery potential of axion-like particles (ALP), pseudo-scalars weakly coupled to Standard Model fields, at the Large Hadron Collider (LHC). Our focus is on ALPs coupled to the electromagnetic field, which would induce anomalous scattering of light-by-light. This can be directly probed in central exclusive production of photon pairs in ultra-peripheral collisions at the LHC in proton and heavy ion collisions. We consider non-standard collision modes of the LHC, such as argon-argon collisions at $\sqrt{s_{NN}} = 7$ TeV and proton-lead collisions at $\sqrt{s_{NN}} = 8.16$ TeV to access regions in the parameter space complementary to the ones previously considered for lead-lead or proton-proton collisions. In addition, we show that, using laser beam interactions, we can constrain ALPs as resonant deviations in the refractive index, induced by anomalous light-by-light scattering effects. If we combine the aforementioned approaches, ALPs can be probed in a wide range of masses from the eV scale up to the TeV scale.


title: Teleporting Grin of a Quantum Chesire Cat without cat

abstract: Quantum Chesire Cat is a counterintuitive phenomenon that provides a new window into the nature of the quantum systems in relation to multiple degrees of freedom associated with a single physical entity. Under suitable pre and postselections, a photon (the cat) can be decoupled from its circular polarization (its grin). In this paper, we explore whether the grin without the cat can be teleported to a distant location. This will be a totally disembodied teleportation protocol. Based on the original Quantum Chesire Cat setup, we design a protocol where the circular polarization is successfully teleported between two spatially separated parties even when the photon is not physically present with them. The process raises questions in our understanding about properties of quantum system. In particular it shows that question like ``whose polarization is it'' can prove to be vacuous in such scenario.


title: HLT@SUDA at SemEval 2019 Task 1: UCCA Graph Parsing as Constituent Tree Parsing

abstract: This paper describes a simple UCCA semantic graph parsing approach. The key idea is to convert a UCCA semantic graph into a constituent tree, in which extra labels are deliberately designed to mark remote edges and discontinuous nodes for future recovery. In this way, we can make use of existing syntactic parsing techniques. Based on the data statistics, we recover discontinuous nodes directly according to the output labels of the constituent parser and use a biaffine classification model to recover the more complex remote edges. The classification model and the constituent parser are simultaneously trained under the multi-task learning framework. We use the multilingual BERT as extra features in the open tracks. Our system ranks the first place in the six English/German closed/open tracks among seven participating systems. For the seventh cross-lingual track, where there is little training data for French, we propose a language embedding approach to utilize English and German training data, and our result ranks the second place.


title: Fisher-Bures Adversary Graph Convolutional Networks

abstract: In a graph convolutional network, we assume that the graph $G$ is generated wrt some observation noise. During learning, we make small random perturbations $\Delta{}G$ of the graph and try to improve generalization. Based on quantum information geometry, $\Delta{}G$ can be characterized by the eigendecomposition of the graph Laplacian matrix. We try to minimize the loss wrt the perturbed $G+\Delta{G}$ while making $\Delta{G}$ to be effective in terms of the Fisher information of the neural network. Our proposed model can consistently improve graph convolutional networks on semi-supervised node classification tasks with reasonable computational overhead. We present three different geometries on the manifold of graphs: the intrinsic geometry measures the information theoretic dynamics of a graph; the extrinsic geometry characterizes how such dynamics can affect externally a graph neural network; the embedding geometry is for measuring node embeddings. These new analytical tools are useful in developing a good understanding of graph neural networks and fostering new techniques.


title: Generalized Inverses of Boolean Tensors via Einstein Product

abstract: Applications of the theory and computations of boolean matrices are of fundamental importance to study a variety of discrete structural models. But the increasing ability of data collection systems to store huge volumes of multidimensional data, the boolean matrix representation of data analysis is not enough to represent all the information content of the multiway data in different fields. From this perspective, it is appropriate to develop an infrastructure that supports reasoning about the theory and computations. In this paper, we discuss the generalized inverses of the Boolean tensors with the Einstein product. Further, we elaborate on this theory by producing a few characterizations of different generalized inverses and several equivalence results on boolean tensors. In addition to these, we define the rank of a boolean tensor through space decomposition.


title: Totally Real Flat Minimal Surfaces in Quaternionic Projective Spaces

abstract: In this paper, we study totally real minimal surfaces in the quaternionic projective space $\mathbb{H}P^n$. We prove that the linearly full totally real flat minimal surfaces of isotropy order $n$ in $\mathbb{H}P^n$ are two surfaces in $\mathbb{C}P^n$, one of which is the Clifford solution, up to symplectic congruence.


title: Distributed Randomized Gradient-Free Mirror Descent Algorithm for Constrained Optimization

abstract: This paper is concerned with multi-agent optimization problem. A distributed randomized gradient-free mirror descent (DRGFMD) method is developed by introducing a randomized gradient-free oracle in the mirror descent scheme where the non-Euclidean Bregman divergence is used. The classical gradient descent method is generalized without using subgradient information of objective functions. The proposed algorithm is the first distributed non-Euclidean zeroth-order method which achieves an $O(1/\sqrt{T})$ convergence rate, recovering the best known optimal rate of distributed compact constrained convex optimization. Also, the DRGFMD algorithm achieves an $O(\ln T/T)$ convergence rate for the strongly convex constrained optimization case. The rate matches the best known non-compact constraint result. Moreover, a decentralized reciprocal weighted average approximating sequence is investigated and first used in distributed algorithm. A class of convergence rates are also achieved for the algorithm with weighted averaging (DRGFMD-WA). The technique on constructing the decentralized weighted average sequence provides new insight in searching for minimizers in distributed algorithms.


title: Slope inequalities and a Miyaoka-Yau type inequality

abstract: For a minimal smooth projective surface $S$ of general type over a field of characteristic $p>0$, we prove that $K^2_S\le 32\chi(\cal{O}_S).$ Moreover, if $18\chi(\cal{O}_S)<K^2_S\le 32\chi(\cal{O}_S)$, Albanese morphism of $S$ must induces a genus two fiberation. A classification of surfaces with $K^2_S=32\chi(\cal{O}_S)$ is also given. The inequality also implies $\chi(\cal{O}_S)>0$, which answers completely a question of Shepherd-Barron.


title: Towards Deriving Verification Properties

abstract: Formal software verification uses mathematical techniques to establish that software has certain properties. For example, that the behaviour of a software system satisfies certain logically-specified properties. Formal methods have a long history, but a recurring assumption is that the properties to be verified are known, or provided as part of the requirements elicitation process. This working note considers the question: where do the verification properties come from? It proposes a process for systematically identifying verification properties.


title: Context Mixing via Ground State Search

abstract: To address context mixing problem via ground state search, we introduce an effective Hamiltonian whose ground state presents the best mixing of a prior given probability distributions to approximately describe unknown target probability distribution.


title: A hybridizable discontinuous Galerkin method for the indefinite time-harmonic Maxwell equations

abstract: In this paper, we aim to develop a hybridizable discontinuous Galerkin (HDG) method for the indefinite time-harmonic Maxwell equations with the perfectly conducting boundary in the three-dimensional space. First, we derive the wavenumber explicit regularity result, which plays an important role in the error analysis for the HDG method. Second, we prove a discrete inf-sup condition which holds for all positive mesh size $h$, for all wavenumber $k$, and for general domain $\Omega$. Then, we establish the optimal order error estimates of the underlying HDG method with constant independent of the wavenumber. The theoretical results are confirmed by numerical experiments.


title: Minimum degree of 3-graphs without long linear paths

abstract: A well known theorem in graph theory states that every graph $G$ on $n$ vertices and minimum degree at least $d$ contains a path of length at least $d$, and if $G$ is connected and $n\ge 2d+1$ then $G$ contains a path of length at least $2d$ (Dirac, 1952). In this article, we give an extension of Dirac's result to hypergraphs. We determine asymptotic lower bounds of the minimum degrees of 3-graphs to guarantee linear paths of specific lengths, and the lower bounds are tight up to a constant.


title: Semi-Blind Channel-and-Signal Estimation for Uplink Massive MIMO With Channel Sparsity

abstract: This paper considers the transceiver design for uplink massive multiple-input multiple-output (MIMO) systems with channel sparsity in the angular domain. Recent progress has shown that sparsity-learning-based blind signal detection is able to retrieve the channel and data by using massage-passing based sparse matrix factorization methods. Short pilots sequences are inserted into user packets to eliminate the so-called phase and permutation ambiguities inherent in sparse matrix factorization. In this paper, to exploit the knowledge of these short pilot sequences more efficiently, we propose a semi-blind channel-and-signal estimation (SCSE) scheme in which the knowledge of the pilot sequences are integrated into the message passing algorithm for sparse matrix factorization. The SCSE algorithm involves enumeration over all possible user permutations, and so is time-consuming when the number of users is relatively large. To reduce complexity, we further develop the simplified SCSE (S-SCSE) to accommodate systems with a large number of users. We show that our semi-blind signal detection scheme substantially outperforms the state-of-the-art blind detection and training-based schemes in the short-pilot regime.


title: Study of the Decays $D_{s}^{+} \rightarrow K_{S}^{0}K^{+}$ and $K_{L}^{0}K^{+}$

abstract: Using an $e^{+}e^{-}$ annihilation data sample corresponding to an integrated luminosity of $3.19~\mathrm{fb}^{-1}$ and collected at a center-of-mass energy $\sqrt{s} = 4.178~\mathrm{GeV}$ with the BESIII detector, we measure the absolute branching fractions $\mathcal{B}(D_{s}^{+} \rightarrow K_{S}^{0}K^{+}) = (1.425\pm0.038_{\rm stat.}\pm0.031_{\rm syst.})\%$ and $\mathcal{B}(D_{s}^{+} \rightarrow K_{L}^{0}K^{+}) =(1.485\pm0.039_{\rm stat.}\pm0.046_{\rm syst.})\%$. The branching fraction of $D_{s}^{+} \rightarrow K_{S}^{0}K^{+}$ is compatible with the world average and that of $D_{s}^{+} \rightarrow K_{L}^{0}K^{+}$ is measured for the first time. We present the first measurement of the $K_{S}^{0}$-$K_{L}^{0}$ asymmetry in the decays $D_{s}^{+} \rightarrow K_{S,L}^{0}K^{+}$, and $R(D_{s}^{+} \rightarrow K_{S,L}^{0}K^{+})=\frac{\mathcal{B}(D_{s}^{+} \rightarrow K_{S}^{0}K^{+}) -\mathcal{B}(D_{s}^{+} \rightarrow K_{L}^{0}K^{+})}{\mathcal{B}(D_{s}^{+} \rightarrow K_{S}^{0}K^{+}) +\mathcal{B}(D_{s}^{+} \rightarrow K_{L}^{0}K^{+})}= (-2.1\pm1.9_{\rm stat.}\pm1.6_{\rm syst.})\%$. In addition, we measure the direct $CP$ asymmetries $A_{\rm CP}(D_{s}^{\pm} \rightarrow K_{S}^{0}K^{\pm}) = (0.6\pm2.8_{\rm stat.}\pm0.6_{\rm syst.})\%$ and $A_{\rm CP}(D_{s}^{\pm} \rightarrow K_{L}^{0}K^{\pm}) = (-1.1\pm2.6_{\rm stat.}\pm0.6_{\rm syst.})\%$.


title: Object-oriented requirements: reusable, understandable, verifiable

abstract: Insufficient requirements reusability, understandability and verifiability jeopardize software projects. Empirical studies show little success in improving these qualities separately. Applying object-oriented thinking to requirements leads to their unified treatment. An online library of reusable requirement templates implements recurring requirement structures, offering a starting point for practicing the unified approach.


title: Detecting shocked intergalactic gas with X-ray and radio observations

abstract: Detecting the thermal and non-thermal emission from the shocked cosmic gas surrounding large-scale structures represents a challenge for observations, as well as a unique window into the physics of the warm-hot intergalactic medium. In this work, we present synthetic radio and X-ray surveys of large cosmological simulations in order to assess the chances of jointly detecting the cosmic web in both frequency ranges. We then propose best observing strategies tailored for existing (LOFAR, MWA and XMM) or future instruments (SKA-LOW and SKA-MID, ATHENA and eROSITA). We find that the most promising targets are the extreme peripheries of galaxy clusters in an early merging stage, where the merger causes the fast compression of warm-hot gas onto the virial region. By taking advantage of a detection in the radio band, future deep X-ray observations will probe this gas in emission, and help us to study plasma conditions in the dynamic warm-hot intergalactic medium with unprecedented detail.


title: Partially Shuffling the Training Data to Improve Language Models

abstract: Although SGD requires shuffling the training data between epochs, currently none of the word-level language modeling systems do this. Naively shuffling all sentences in the training data would not permit the model to learn inter-sentence dependencies. Here we present a method that partially shuffles the training data between epochs. This method makes each batch random, while keeping most sentence ordering intact. It achieves new state of the art results on word-level language modeling on both the Penn Treebank and WikiText-2 datasets.


title: A synthetic likelihood-based Laplace approximation for efficient design of biological processes

abstract: Complex models used to describe biological processes in epidemiology and ecology often have computationally intractable or expensive likelihoods. This poses significant challenges in terms of Bayesian inference but more significantly in the design of experiments. Bayesian designs are found by maximising the expectation of a utility function over a design space, and typically this requires sampling from or approximating a large number of posterior distributions. This renders approaches adopted in inference computationally infeasible to implement in design. Consequently, optimal design in such fields has been limited to a small number of dimensions or a restricted range of utility functions. To overcome such limitations, we propose a synthetic likelihood-based Laplace approximation for approximating utility functions for models with intractable likelihoods. As will be seen, the proposed approximation is flexible in that a wide range of utility functions can be considered, and remains computationally efficient in high dimensions. To explore the validity of this approximation, an illustrative example from epidemiology is considered. Then, our approach is used to design experiments with a relatively large number of observations in two motivating applications from epidemiology and ecology.


title: Scattering studies with the DATURA beam telescope

abstract: High-precision particle tracking devices allow for two-dimensional analyses of the material budget distribution of particle detectors and their periphery. In this contribution, the material budget of different targets is reconstructed from the width of the angular distribution of scattered beam particle at a sample under test. Electrons in the GeV-range serve as beam particles carrying enough momentum to traverse few millimetre thick targets whilst offering sufficient deflection for precise measurement. Reference measurements of the scattering angle distribution of targets of known thicknesses are presented that serve as calibration techniques required for tomographic reconstructions of inhomogeneous objects.


title: QED and relativistic nuclear recoil corrections to the 413 nm tune-out wavelength for the $2\,^3S_1$ state of helium

abstract: Comparison of high accuracy calculations with precision measurement of the 413 nm tune-out wavelength of the He($2\,^3S_1$) state provides a unique test of quantum electro-dynamic (QED). We perform large-scale relativistic-configuration-interaction (RCI) calculations of the tune-out wavelength, that include the mass-shift operator, and fully account for leading relativistic nuclear recoil terms in the Dirac-Coulomb-Breit (DCB) Hamiltonian. We obtain the QED correction to the tune-out wavelength using perturbation theory, and the effect of finite nuclear size is also evaluated. The resulting tune-out wavelengths for the $2\,^3S_1(M_J=0)$ and $2\,^3S_1(M_J=\pm 1)$ states are 413.084 26(4) nm and 413.090 15(4) nm, respectively. Compared with the only current experimental value of 413.0938(9stat)(20syst) nm for the $2\,^3S_1(M_J=\pm 1)$ state, there is 1.8$\sigma$ discrepancy between present theoretical work and experiment, which stimulates further theoretical and higher-precision experimental investigations on the 413 nm tune-out wavelength. In addition, we also determine the QED correction for the static dipole polarizability of the He($2\,^3S_1$) state to be 22.5 ppm, which may enable a new test of QED in the future.


title: The effect of magnetic twist on resonant absorption of slow sausage waves in magnetic flux tubes

abstract: Observations show that twisted magnetic flux tubes are present throughout the sun's atmosphere. The main aim of this work is to obtain the damping rate of sausage modes in the presence of magnetic twist. Using the connection formulae obtained by Sakurai et al. (1991), we investigate resonant absorption of the sausage modes in the slow continuum under photosphere conditions. We derive the dispersion relation and solve it numerically and consequently obtain the frequencies and damping rates of the slow surface sausage modes. We conclude that the magnetic twist can result in strong damping in comparison with the untwisted case.


title: Transverse Momentum Spectra of Pions at LHC Energies

abstract: In order to characterize the transverse momentum spectra of positive pions measured in the ALICE experiment, two thermal approaches are utilized; one is based on degeneracy of non-perfect Bose-Einstein gas and the other imposes an {\it ad-hoc} finite pion-chemical potential. The inclusion of missing haron states and the out-of-chemical equilibrium greatly contribute to the excellent characterization of pion production. The excellent reproduction of the experimental data can be understood as a manifestation of not-yet-regarded anomalous pion-production, which likely contribute to the long-standing debate on the {\it "anomalous"} proton-to-pion ratios at top RHIC and LHC energies.


title: Tomonaga-Luttinger liquid spin dynamics in the quasi-one dimensional Ising-like antiferromagnet BaCo$_2$V$_2$O$_8$

abstract: Combining inelastic neutron scattering and numerical simulations, we study the quasi-one dimensional Ising anisotropic quantum antiferromagnet \bacovo\ in a longitudinal magnetic field. This material shows a quantum phase transition from a N\'eel ordered phase at zero field to a longitudinal incommensurate spin density wave at a critical magnetic field of 3.8 T. Concomitantly the excitation gap almost closes and a fundamental reconfiguration of the spin dynamics occurs. These experimental results are well described by the universal Tomonaga-Luttinger liquid theory developed for interacting spinless fermions in one dimension. We especially observe the rise of mainly longitudinal excitations, a hallmark of the unconventional low-field regime in Ising-like quantum antiferromagnet chains.


title: Gathering Insights from Teenagers' Hacking Experience with Authentic Cybersecurity Tools

abstract: This Work-In-Progress Paper for the Innovative Practice Category presents a novel experiment in active learning of cybersecurity. We introduced a new workshop on hacking for an existing science-popularizing program at our university. The workshop participants, 28 teenagers, played a cybersecurity game designed for training undergraduates and professionals in penetration testing. Unlike in learning environments that are simplified for young learners, the game features a realistic virtual network infrastructure. This allows exploring security tools in an authentic scenario, which is complemented by a background story. Our research aim is to examine how young players approach using cybersecurity tools by interacting with the professional game. A preliminary analysis of the game session showed several challenges that the workshop participants faced. Nevertheless, they reported learning about security tools and exploits, and 61% of them reported wanting to learn more about cybersecurity after the workshop. Our results support the notion that young learners should be allowed more hands-on experience with security topics, both in formal education and informal extracurricular events.


title: Neutrino Topology Reconstruction at DUNE and Applications to Searches for Dark Matter Annihilation in the Sun

abstract: We consider a new technique for neutrino energy and topology reconstruction at DUNE. In particular, we show that when the direction of the incoming neutrino is known, one can use the measured directions of the outgoing leptonic and hadronic particles to reconstruct poorly-measured quantities, such as the hadronic cascade energy. We show that this alternative technique yields an energy resolution which is comparable to current reconstruction methods which sum measured energies. As a proof of concept we apply this new reconstruction method to a search for dark matter annihilation in the Sun. We show that the use of directional information from both the leptonic and hadronic interaction products allows one to effectively reject backgrounds and isolate the signal, giving competitive sensitivities.


title: Investigation on Combining 3D Convolution of Image Data and Optical Flow to Generate Temporal Action Proposals

abstract: In this paper, several variants of two-stream architectures for temporal action proposal generation in long, untrimmed videos are presented. Inspired by the recent advances in the field of human action recognition utilizing 3D convolutions in combination with two-stream networks and based on the Single-Stream Temporal Action Proposals (SST) architecture, four different two-stream architectures utilizing sequences of images on one stream and sequences of images of optical flow on the other stream are subsequently investigated. The four architectures fuse the two separate streams at different depths in the model; for each of them, a broad range of parameters is investigated systematically as well as an optimal parametrization is empirically determined. The experiments on the THUMOS'14 dataset show that all four two-stream architectures are able to outperform the original single-stream SST and achieve state of the art results. Additional experiments revealed that the improvements are not restricted to a single method of calculating optical flow by exchanging the formerly used method of Brox with FlowNet2 and still achieving improvements.


title: Terahertz-induced cascaded interactions between spectra offset by large frequencies

abstract: We explore the dynamics of a system where input spectra in the optical domain with very disparate center frequencies are strongly coupled via highly phase-matched, cascaded second-order nonlinear processes driven by terahertz radiation. The only requirement is that one of the input spectra contain sufficient bandwidth to generate the phase-matched terahertz-frequency driver. The frequency separation between the input spectra can be more than ten times larger than the phase-matched terahertz frequency. A practical application of such a system where the cascading of a narrowband pump line centered at 1064 nm induced by a group of weaker seed lines centered about 1030 nm and separated by the phase-matched terahertz frequency is introduced. This approach is predicted to generate terahertz radiation with percent-level conversion efficiencies and millijoule-level pulse energies in cryogenically-cooled periodically poled lithium niobate. A model that solves for the nonlinear coupled interaction of terahertz and optical waves is employed. The calculations account for second and third-order nonlinearities, dispersion in the optical and terahertz domains as well as terahertz absorption. Ramifications of pulse formats on laser-induced damage are estimated by tracking the generated free-electron density. Strategies to mitigate laser-induced damage are also outlined.


title: Effects of the phase coherence on the local density of states in superconducting proximity structures

abstract: We theoretically study the local density of states in superconducting proximity structure where two superconducting terminals are attached to a side surface of a normal-metal wire. Using the quasiclassical Green's function method, the energy spectrum is obtained for both of spin-singlet $s$-wave and spin-triplet $p$-wave junctions. In both of the cases, the decay length of the proximity effect at the zero temperature is limited by a depairing effect due to inelastic scatterings. In addition to the depairing effect, in $p$-wave junctions, the decay length depends sensitively on the transparency at the junction interfaces, which is a unique property to odd-parity superconductors where the anomalous proximity effect occurs.


title: Lattice copies and applications for weak L- and M-weakly compact operators on Banach lattices

abstract: Several recent papers investigated lattice copies and unbounded convergences in Banach lattices. In this paper, we first solve the problem of RV and LA which is an extension of the well-known James distortion theorem. Using lattice copies and unbounded convergence, then we introduce weak L- and M-weakly compact operators on Banach lattices and research the relationship between these operators and L- and M-weakly compact operators. Finally, we study the compactness of weak L-weakly compact and weak M-weakly compact operators.


title: Vacancy mediated magnetization and healing of a graphene monolayer

abstract: Vacancy-induced magnetization of a graphene layer is investigated by means of a first principle DFT method. Calculations of the formation energy and the magnetization by creating the different number of vacancies in a supercell show that a clustering with big number of vacancies in the cluster is rather favorable than that of isolated vacancies, homogeneously distributed in the layer. The magnetic moment of a cluster with big number of vacancies is shown to be not proportional with the vacancy concentration, which is in good agreement with the recent experimental results. Our studies support the idea that although the vacancies in a graphene create a magnetic moment, they do not produce a magnetic ordering. It is shown that although the Lieb's rule for the magnetization in a hexagonal structure violates, two-vacancies, including a di-vacancy, in the supercell generate quasi-localized state when they belong to the different sublattices, and instead two-vacancies generate an extended state when they belong to the same sublattices. Analytical investigation of the dynamics of carbon atom- and vacancy-concentrations according to the non-linear continuity equations shows that the vacancies, produced by irradiation at the middle of a graphene layer, migrate to the edge of the sample resulting in a specific {\it 'segregation'} of the vacancy concentration and self-healing of the graphene.


title: Graph Data on the Web: extend the pivot, don't reinvent the wheel

abstract: This article is a collective position paper from the Wimmics research team, expressing our vision of how Web graph data technologies should evolve in the future in order to ensure a high-level of interoperability between the many types of applications that produce and consume graph data. Wimmics stands for Web-Instrumented Man-Machine Interactions, Communities, and Semantics. We are a joint research team between INRIA Sophia Antipolis-M{\'e}diterran{\'e}e and I3S (CNRS and Universit{\'e} C{\^o}te d'Azur). Our challenge is to bridge formal semantics and social semantics on the web. Our research areas are graph-oriented knowledge representation, reasoning and operationalization to model and support actors, actions and interactions in web-based epistemic communities. The application of our research is supporting and fostering interactions in online communities and management of their resources. In this position paper, we emphasize the need to extend the semantic Web standard stack to address and fulfill new graph data needs, as well as the importance of remaining compatible with existing recommendations, in particular the RDF stack, to avoid the painful duplication of models, languages, frameworks, etc. The following sections group motivations for different directions of work and collect reasons for the creation of a working group on RDF 2.0 and other recommendations of the RDF family.


title: Josephson junction cavity systems as cousins of the quantum optical micromaser

abstract: We explore the similarities and differences between simple theoretical models developed to describe the quantum optical micromaser and Josephson-photonics devices. Whilst the micromaser has long been recognised as an important model for the dynamics of open quantum systems far from equilibrium, so-called Josephson-photonics devices are a recently developed form of superconducting quantum circuit in which the quantum transport of charges through a voltage-biased Josephson junction drives the production of photons in a microwave resonator.


title: Evidence for the formation of nanoprecipitates with magnetically disordered regions in bulk $\mathrm{Ni}_{50}\mathrm{Mn}_{45}\mathrm{In}_{5}$ Heusler alloys

abstract: Shell ferromagnetism is a new functional property of certain Heusler alloys which has been recently observed in $\mathrm{Ni}_{50}\mathrm{Mn}_{45}\mathrm{In}_{5}$. We report the results of a comparative study of the magnetic microstructure of bulk $\mathrm{Ni}_{50}\mathrm{Mn}_{45}\mathrm{In}_{5}$ Heusler alloys using magnetometry, synchrotron x-ray diffraction, and magnetic small-angle neutron scattering (SANS). By combining unpolarized and spin-polarized SANS (POLARIS) we demonstrate that a number of important conclusions regarding the mesoscopic spin structure can be made. In particular, the analysis of the magnetic neutron data suggests that nanoprecipitates with an effective ferromagnetic component form in an antiferromagnetic matrix on field annealing at $700 \, \mathrm{K}$. These particles represent sources of perturbation, which seem to give rise to magnetically disordered regions in the vicinity of the particle-matrix interface. Analysis of the spin-flip SANS cross section via the computation of the correlation function yields a value of $\sim 55 \, \mathrm{nm}$ for the particle size and $\sim 20 \, \mathrm{nm}$ for the size of the spin-canted region.


title: Localized rainbows in the QCD phase diagram

abstract: We study the phase diagram of strongly interacting matter with light quarks using a recently proposed, small parameter approach to infrared QCD in the Landau gauge. This is based on an expansion with respect to both the inverse number of colors and the pure Yang-Mills coupling in the presence of a Curci-Ferrari mass term. At leading order, this leads to the well-known rainbow equation for the quark propagator with a massive gluon propagator. We solve the latter at nonzero temperature and chemical potential using a simple semi-analytic approximation known to capture the essence of chiral symmetry breaking in the vacuum. In the chiral limit, we find a tricritical point which becomes a critical endpoint in the presence of a nonzero bare quark mass, in agreement with the results of nonperturbative functional methods and model calculations. This supports the view that the present approach allows for a systematic study of the QCD phase diagram in a controlled expansion scheme.


title: Obstruction to the billinear control of the Gross-Pitaevskii equation: an example with an unbounded potential

abstract: In 1982, Ball, Marsden, and Slemrod proved an obstruction to the controllability of linear dynamics with a bounded bilinear control term. This note presents an example of nonlinear dynamics with respect to the state for which this obstruction still holds while the control potential is not bounded.


title: A Numerical Study of Three-Armed DNA Hydrogel Structures

abstract: We present a numerical analysis of a DNA hydrogel that consists of three-valent Y-shaped DNA molecules. The building blocks self-assemble fully reversibly from complementary single-stranded DNA segments. We compare melting curves from both simulations with the oxDNA2 model and experiments and find excellent agreement. The morphology of the Y-DNA molecules is investigated when several alterations in the design are made. Adding inert nucleotides to the central core region of the Y-DNA molecules has a very minor effect on their overall geometry, whereas palindromic sequences in the sticky ends via which the individual Y-DNA molecules hybridize, have a profound influence on their relative twisting and bending angles.


title: Wave packet dynamics in slowly modulated photonic graphene

abstract: Mathematical analysis on electromagnetic waves in photonic graphene, a photonic topological material which has a honeycomb structure, is one of the most important current research topics. By modulating the honeycomb structure, numerous topological phenomena have been observed recently. The electromagnetic waves in such a media are generally described by the 2-dimensional wave equation. It has been shown that the corresponding elliptic operator with a honeycomb material weight has Dirac points in its dispersion surfaces. In this paper, we study the time evolution of the wave packets spectrally concentrated at such Dirac points in a modulated honeycomb material weight. We prove that such wave packet dynamics is governed by the Dirac equation with a varying mass in a large but finite time. Our analysis provides mathematical insights to those topological phenomena in photonic graphene.


title: Automated Circuit Approximation Method Driven by Data Distribution

abstract: We propose an application-tailored data-driven fully automated method for functional approximation of combinational circuits. We demonstrate how an application-level error metric such as the classification accuracy can be translated to a component-level error metric needed for an efficient and fast search in the space of approximate low-level components that are used in the application. This is possible by employing a weighted mean error distance (WMED) metric for steering the circuit approximation process which is conducted by means of genetic programming. WMED introduces a set of weights (calculated from the data distribution measured on a selected signal in a given application) determining the importance of each input vector for the approximation process. The method is evaluated using synthetic benchmarks and application-specific approximate MAC (multiply-and-accumulate) units that are designed to provide the best trade-offs between the classification accuracy and power consumption of two image classifiers based on neural networks.


title: On calculating response functions via their Lorentz integral transforms

abstract: The accuracy of reconstruction of a response function from its Lorentz integral transform is studied in an exactly solvable model. An inversion procedure is elaborated in detail and features of the procedure are studied. Unlike results in the literature pertaining to the same model, the response function is reconstructed from its Lorentz integral transform with rather high accuracy.


title: Toward Fast and Accurate Neural Chinese Word Segmentation with Multi-Criteria Learning

abstract: The ambiguous annotation criteria lead to divergence of Chinese Word Segmentation (CWS) datasets in various granularities. Multi-criteria Chinese word segmentation aims to capture various annotation criteria among datasets and leverage their common underlying knowledge. In this paper, we propose a domain adaptive segmenter to exploit diverse criteria of various datasets. Our model is based on Bidirectional Encoder Representations from Transformers (BERT), which is responsible for introducing open-domain knowledge. Private and shared projection layers are proposed to capture domain-specific knowledge and common knowledge, respectively. We also optimize computational efficiency via distillation, quantization, and compiler optimization. Experiments show that our segmenter outperforms the previous state of the art (SOTA) models on 10 CWS datasets with superior efficiency.


title: A cross-center smoothness prior for variational Bayesian brain tissue segmentation

abstract: Suppose one is faced with the challenge of tissue segmentation in MR images, without annotators at their center to provide labeled training data. One option is to go to another medical center for a trained classifier. Sadly, tissue classifiers do not generalize well across centers due to voxel intensity shifts caused by center-specific acquisition protocols. However, certain aspects of segmentations, such as spatial smoothness, remain relatively consistent and can be learned separately. Here we present a smoothness prior that is fit to segmentations produced at another medical center. This informative prior is presented to an unsupervised Bayesian model. The model clusters the voxel intensities, such that it produces segmentations that are similarly smooth to those of the other medical center. In addition, the unsupervised Bayesian model is extended to a semi-supervised variant, which needs no visual interpretation of clusters into tissues.


title: Accelerating Minibatch Stochastic Gradient Descent using Typicality Sampling

abstract: Machine learning, especially deep neural networks, has been rapidly developed in fields including computer vision, speech recognition and reinforcement learning. Although Mini-batch SGD is one of the most popular stochastic optimization methods in training deep networks, it shows a slow convergence rate due to the large noise in gradient approximation. In this paper, we attempt to remedy this problem by building more efficient batch selection method based on typicality sampling, which reduces the error of gradient estimation in conventional Minibatch SGD. We analyze the convergence rate of the resulting typical batch SGD algorithm and compare convergence properties between Minibatch SGD and the algorithm. Experimental results demonstrate that our batch selection scheme works well and more complex Minibatch SGD variants can benefit from the proposed batch selection strategy.


title: Sample-Efficient Model-Free Reinforcement Learning with Off-Policy Critics

abstract: Value-based reinforcement-learning algorithms provide state-of-the-art results in model-free discrete-action settings, and tend to outperform actor-critic algorithms. We argue that actor-critic algorithms are limited by their need for an on-policy critic. We propose Bootstrapped Dual Policy Iteration (BDPI), a novel model-free reinforcement-learning algorithm for continuous states and discrete actions, with an actor and several off-policy critics. Off-policy critics are compatible with experience replay, ensuring high sample-efficiency, without the need for off-policy corrections. The actor, by slowly imitating the average greedy policy of the critics, leads to high-quality and state-specific exploration, which we compare to Thompson sampling. Because the actor and critics are fully decoupled, BDPI is remarkably stable, and unusually robust to its hyper-parameters. BDPI is significantly more sample-efficient than Bootstrapped DQN, PPO, and ACKTR, on discrete, continuous and pixel-based tasks. Source code: https://github.com/vub-ai-lab/bdpi.


title: Fitting Tractable Convex Sets to Support Function Evaluations

abstract: The geometric problem of estimating an unknown compact convex set from evaluations of its support function arises in a range of scientific and engineering applications. Traditional approaches typically rely on estimators that minimize the error over all possible compact convex sets; in particular, these methods do not allow for the incorporation of prior structural information about the underlying set and the resulting estimates become increasingly more complicated to describe as the number of measurements available grows. We address both of these shortcomings by describing a framework for estimating tractably specified convex sets from support function evaluations. Building on the literature in convex optimization, our approach is based on estimators that minimize the error over structured families of convex sets that are specified as linear images of concisely described sets -- such as the simplex or the spectraplex -- in a higher-dimensional space that is not much larger than the ambient space. Convex sets parametrized in this manner are significant from a computational perspective as one can optimize linear functionals over such sets efficiently; they serve a different purpose in the inferential context of the present paper, namely, that of incorporating regularization in the reconstruction while still offering considerable expressive power. We provide a geometric characterization of the asymptotic behavior of our estimators, and our analysis relies on the property that certain sets which admit semialgebraic descriptions are Vapnik-Chervonenkis (VC) classes. Our numerical experiments highlight the utility of our framework over previous approaches in settings in which the measurements available are noisy or small in number as well as those in which the underlying set to be reconstructed is non-polyhedral.


title: Five approaches to exact open-system dynamics: Complete positivity, divisibility and time-dependent observables

abstract: To extend the classical concept of Markovianity to an open quantum system, different notions of the divisibility of its dynamics have been introduced. Here we analyze this issue by five complementary approaches: equations of motion, real-time diagrammatics, Kraus-operator sums, as well as time-local (TCL) and nonlocal (Nakajima-Zwanzig) quantum master equations. As a case study featuring several types of divisible dynamics, we examine in detail an exactly solvable noninteracting fermionic resonant level coupled arbitrarily strongly to a fermionic bath at arbitrary temperature in the wideband limit. In particular, the impact of divisibility on the time-dependence of the observable level occupation is investigated and compared with typical Markovian approximations. We find that the loss of semigroup-divisibility is accompanied by a prominent reentrant behavior: Counter to intuition, the level occupation may temporarily \emph{increase} significantly in order to reach a stationary state with \emph{smaller} occupation, implying a reversal of the measurable transport current. In contrast, the loss of the so-called completely-positive divisibility is more subtly signaled by the \emph{prohibition} of such current reversals in specific time-intervals. Experimentally, it can be detected in the family of transient currents obtained by varying the initial occupation. To quantify the nonzero footprint left by the system in its effective environment, we determine the exact time-dependent state of the latter as well as related information measures such as entropy, exchange entropy and coherent information.


title: A general convergence result for viscosity solutions of Hamilton-Jacobi equations and non-linear semigroups

abstract: We extend the Barles-Perthame procedure of semi-relaxed limits of viscosity solutions of Hamilton-Jacobi equations of the type f - lambda H f = h. The convergence result allows for equations on a `converging sequence of spaces' as well as Hamilton-equations written in terms of two equations in terms of operators H_\dagger and H_\dagger that serve as natural upper and lower bounds for the `true' operator H. In the process, we establish a strong relation between non-linear pseudo-resolvents and viscosity solutions of Hamilton-Jacobi equations. As a consequence we derive a convergence result for non-linear semigroups.


title: Structured Knowledge Distillation for Dense Prediction

abstract: In this work, we consider transferring the structure information from large networks to compact ones for dense prediction tasks in computer vision. Previous knowledge distillation strategies used for dense prediction tasks often directly borrow the distillation scheme for image classification and perform knowledge distillation for each pixel separately, leading to sub-optimal performance. Here we propose to distill structured knowledge from large networks to compact networks, taking into account the fact that dense prediction is a structured prediction problem. Specifically, we study two structured distillation schemes: i) pair-wise distillation that distills the pair-wise similarities by building a static graph; and ii) holistic distillation that uses adversarial training to distill holistic knowledge. The effectiveness of our knowledge distillation approaches is demonstrated by experiments on three dense prediction tasks: semantic segmentation, depth estimation and object detection. Code is available at: https://git.io/StructKD


title: Anisotropy Control in Photoelectron Spectra: A Coherent Two-Pulse Interference Strategy

abstract: Coherence among rotational ion channels during photoionization is exploited to control the anisotropy of the resulting photoelectron angular distributions at specific photoelectron energies. The strategy refers to a robust and single parameter control using two ultra-short light pulses delayed in time. The first pulse prepares a superposition of a few ion rotational states, whereas the second pulse serves as a probe that gives access to a control of the molecular asymmetry parameter $\beta$ for individual rotational channels. This is achieved by tuning the time delay between the pulses leading to channel interferences that can be turned from constructive to destructive. The illustrative example is the ionization of the $E(1\Sigma_{g}^{+})$ state of Li$_{2}$. Quantum wave packet evolutions are conducted including both electronic and nuclear degrees of freedom to reach angle-resolved photoelectron spectra. A simple interference model based on coherent phase accumulation during the field-free dynamics between the two pulses is precisely exploited to control the photoelectron angular distributions from almost isotropic, to marked anisotropic.

categories: physics.chem-ph physics.atm-clus physics.atom-ph quant-ph


title: Numerical Simulations of Magnetized Astrophysical Jets and Comparison with Laboratory Laser Experiments

abstract: The results of MHD numerical simulations of the formation and development of magnetized jets are presented. Similarity criteria for comparisons of the results of laboratory laser experiments and numerical simulations of astrophysical jets are discussed. The results of laboratory simulations of jets generated in experiments at the Neodim laser installation are presented.


title: Algebra in Bishop's style: some major features of the book "A Course in Constructive Algebra'' by Mines, Richman, and Ruitenburg

abstract: The book "A Course in Constructive Algebra" (1988) shows the way of understanding classical basic algebra in a constructive style similar to Bishop's Constructive Mathematics. Classical theorems are revisited, with a new flavour, and become much more precise. We are often surprised to find proofs that are simpler and more elegant than the usual ones. In fact, when one cannot use magic tools as the law of excluded middle, it is necessary to understand what is the true content of a classical proof. Also, usual shortcuts allowed in classical proofs introduce sometimes useless detours. In order to understand clearly a problem, prescience may be a handicap.