title: Evidence for Asymmetry in the Velocity Distribution of the Interstellar Neutral Helium Flow Observed by IBEX and Ulysses

abstract: We use observations from the Interstellar Boundary Explorer (IBEX) and Ulysses to explore the possibility that the interstellar neutral helium flowing through the inner solar system possesses an intrinsic non-Maxwellian velocity distribution. In fitting the IBEX and Ulysses data, we experiment with both a kappa distribution and a bi-Maxwellian, instead of the usual Maxwellian assumption. The kappa distribution does not improve the quality of fit to either the IBEX or Ulysses data, and we find lower limits to the kappa parameter of kappa>12.1 and kappa>6.0 from the IBEX and Ulysses analyses, respectively. In contrast, we do find evidence that a bi-Maxwellian improves fit quality. For IBEX, there is a clear preferred bi-Maxwellian solution with T_perp/T_par=0.62+/-0.11 oriented about an axis direction with ecliptic coordinates (lambda_axis,b_axis)=(57.2+/-8.9 deg,-1.6+/-5.9 deg). The Ulysses data provide support for this result, albeit with lower statistical significance. The axis direction is close to the ISM flow direction, in a heliocentric rest frame, and is therefore unlikely to be indicative of velocity distribution asymmetries intrinsic to the ISM. It is far more likely that these results indicate the presence of asymmetries induced by interactions in the outer heliosphere.


title: Chiral quantum optics in photonic sawtooth lattices

abstract: Chiral quantum optics has become a burgeoning field due to its potential applications in quantum networks or quantum simulation of many-body physics. Current implementations are based on the interplay between local polarization and propagation direction of light in nanophotonic structures. In this manuscript, we propose an alternative platform based on coupling quantum emitters to a photonic \emph{sawtooth} lattice, a one-dimensional model with an effective flux per plaquette introduced by complex tunnelings. We study the dynamics emerging from such structured photonic bath and find the conditions to obtain quasi-perfect directional emission when the emitters are resonant with the band. In addition, we find that the photons in this bath can also mediate complex emitter-emitter interactions tunable in range and phase when the emitters transition frequencies lie within a band-gap. Since these effects do not rely on polarization they can be observed in platforms beyond nanophotonics such as matter-waves or circuit QED ones, of which we discuss a possible implementation.


title: Local-in-time error in variational quantum dynamics

abstract: The McLachlan "minimum-distance" principle for optimizing approximate solutions of the time-dependent Schrodinger equation is revisited, with a focus on the local-in-time error accompanying the variational solutions. Simple, exact expressions are provided for this error, which are then evaluated in illustrative cases, notably the widely used mean-field approach and the adiabatic quantum molecular dynamics. These findings pave the way for the rigorous development of adaptive schemes that re-size on-the-fly the underlying variational manifold and thus optimize the overall computational cost of a quantum dynamical simulation.


title: An insight into strangeness with $\phi$(1020) production in small to large collision systems with ALICE at the LHC

abstract: Hadronic resonances are unique tools to investigate the interplay of re-scattering and regeneration effects in the hadronic phase of heavy-ion collisions. As the $\phi$ meson has a longer lifetime compared to other resonances, it is expected that its production will not be affected by regeneration and re-scattering processes. Measurements in small collision systems such as proton-proton (pp) collisions provide a necessary baseline for heavy-ion data and help to tune pQCD inspired event generators. Given that the $\phi$ is a bound state of strange-antistrange quark pair (s$\bar{\rm{s}}$), measurements of its production can contribute to the study of strangeness production. Recent results obtained by using the ALICE detector show that although $\phi$ has zero net strangeness content, it behaves like a particle with open strangeness in small collision systems and the experimental results agree with thermal model predictions in large systems. The production mechanism of $\phi$ is yet to be understood. We report on measurements with the ALICE detector at the LHC of $\phi$ meson production in pp, p--Pb, Xe--Xe and Pb--Pb collisions. These results are reported for minimum bias event samples and as a function of the charged particle multiplicity or centrality. The results include the transverse momentum ($p_{\rm T}$) distributions of $\phi$ as well as the $\langle p_{\rm T}\rangle$ and particle yield ratios. The $\phi$ effective strangeness will be discussed in relation to descriptions of its production mechanism, such as strangeness canonical suppression, non-equilibrium production of strange quarks and thermal models.


title: CEP-Controlled Molecular Dissociation by Ultrashort Chirped Laser Pulses

abstract: We demonstrate and characterize that a carrier-envelope-phase (CEP)-controlled ultrashortchirped field is an efficient and robust mechanism to modify the dissociation dynamics of molecularhydrogen. Different dissociation pathways are collectively induced and their interference contributeto the kinetic energy release spectra. Chirping is able to efficiently manipulate the interferencesof different dissociation pathways. We demonstrate a linear relationship between chirp and CEP-dependence, dissociation as well as directional electron localization.


title: Coherence of Type Class Resolution

abstract: Elaboration-based type class resolution, as found in languages like Haskell, Mercury and PureScript, is generally nondeterministic: there can be multiple ways to satisfy a wanted constraint in terms of global instances and locally given constraints. Coherence is the key property that keeps this sane; it guarantees that, despite the nondeterminism, programs still behave predictably. Even though elaboration-based resolution is generally assumed coherent, as far as we know, there is no formal proof of this property in the presence of sources of nondeterminism, like superclasses and flexible contexts. This paper provides a formal proof to remedy the situation. The proof is non-trivial because the semantics elaborates resolution into a target language where different elaborations can be distinguished by contexts that do not have a source language counterpart. Inspired by the notion of full abstraction, we present a two-step strategy that first elaborates nondeterministically into an intermediate language that preserves contextual equivalence, and then deterministically elaborates from there into the target language. We use an approach based on logical relations to establish contextual equivalence and thus coherence for the first step of elaboration, while the second step's determinism straightforwardly preserves this coherence property.


title: Graph-based Nearest Neighbor Search: From Practice to Theory

abstract: Graph-based approaches are empirically shown to be very successful for the nearest neighbor search (NNS). However, there has been very little research on their theoretical guarantees. We fill this gap and rigorously analyze the performance of graph-based NNS algorithms, specifically focusing on the low-dimensional (d << \log n) regime. In addition to the basic greedy algorithm on nearest neighbor graphs, we also analyze the most successful heuristics commonly used in practice: speeding up via adding shortcut edges and improving accuracy via maintaining a dynamic list of candidates. We believe that our theoretical insights supported by experimental analysis are an important step towards understanding the limits and benefits of graph-based NNS algorithms.


title: ICU Disparnumerophobia and Triskaidekaphobia: The 'Irrational Care Unit'?

abstract: Whilst evidence-based medicine is the cornerstone of modern practice, it is likely that clinicians are influenced by cultural biases. This work set out to look for evidence of number preference in invasive mechanical ventilatory therapy as a concrete example of subconscious treatment bias. A retrospective observational intensive care electronic medical record database search and analysis was carried out in adult general, specialist neurosciences and paediatric intensive care units within a tertiary referral hospital. All admitted, invasively mechanically ventilated patients between October 2014 and August 2015 were included. Set positive end-expiratory pressure (PEEP), respiratory rate (RR) and inspiratory pressure (Pinsp) settings were extracted. Statistical analysis using conventional testing and a novel Monte Carlo method were used to look for evidence of two culturally prevalent superstitions: Odd/even preference and aversion to the number 13. Patients spent significantly longer with odd choices for PEEP ($OR=0.16$, $p<2\times10^{-16}$), RR ($OR=0.31$, $p<2\times10^{-16}$) and Pinsp (OR=0.48, $p=2.9\times10^{-7}$). An aversion to the number 13 was detected for choices of RR ($p=0.00024$) and Pinsp ($p=3.9\times10^{-5}$). However a PEEP of 13 was more prevalent than expected by chance ($p=0.00028$). These findings suggest superstitious preferences in intensive care therapy do exist and practitioners should be alert to guard against other, less obvious but perhaps more clinically significant decision-making biases. The methodology described may be useful for detecting statistically significant number preferences in other domains.


title: Induced subgraphs of hypercubes and a proof of the Sensitivity Conjecture

abstract: In this paper, we show that every $(2^{n-1}+1)$-vertex induced subgraph of the $n$-dimensional cube graph has maximum degree at least $\sqrt{n}$. This result is best possible, and improves a logarithmic lower bound shown by Chung, F\"uredi, Graham and Seymour in 1988. As a direct consequence, we prove that the sensitivity and degree of a boolean function are polynomially related, solving an outstanding foundational problem in theoretical computer science, the Sensitivity Conjecture of Nisan and Szegedy.


title: Daubechies' Time-Frequency Localization Operator on Cantor Type Sets

abstract: We study Daubechies' time-frequency localization operator, which is characterized by a window and weight function. We consider a Gaussian window and a spherically symmetric weight as this choice yields explicit formulas for the eigenvalues, with the Hermite functions as the associated eigenfunctions. Inspired by the fractal uncertainty principle in the separate time-frequency representation, we define the $n$-iterate spherically symmetric Cantor set in the joint representation. For the $n$-iterate Cantor set, precise asymptotic estimates for the operator norm are then derived up to a multiplicative constant.


title: Population boundary across an environmental gradient: Effects of quenched disorder

abstract: Population boundary is a classic indicator of climatic response in ecology. In addition to known challenges, the spatial and dynamical characteristics of the boundary are not only affected by the spatial gradient in the environmental factors, but also by local heterogeneities in the regional characteristics. Here, we capture the effects of quenched heterogeneities on the ecological boundary with the disordered contact process in one and two dimensions with a linear spatial trend in the local control parameter. We apply the strong-disorder renormalization group method to calculate the sites occupied with an $O(1)$ probability in the stationary state, readily yielding the population front's position as the outermost site locally as well as globally for the entire boundary. We show that under a quasistatic change of the global environment, mimicking climate change, the front advances intermittently: long quiescent periods are interrupted by rare but long jumps. The characteristics of this intermittent dynamics are found to obey universal scaling laws in terms of the gradient, conjectured to be related to the correlation-length exponent of the model. Our results suggest that current observations might misleadingly show little to no climate response for an extended period of time, concealing the long-term effects of climate change.


title: Following wrong suggestions: self-blame in human and computer scenarios

abstract: This paper investigates the specific experience of following a suggestion by an intelligent machine that has a wrong outcome and the emotions people feel. By adopting a typical task employed in studies on decision-making, we presented participants with two scenarios in which they follow a suggestion and have a wrong outcome by either an expert human being or an intelligent machine. We found a significant decrease in the perceived responsibility on the wrong choice when the machine offers the suggestion. At present, few studies have investigated the negative emotions that could arise from a bad outcome after following the suggestion given by an intelligent system, and how to cope with the potential distrust that could affect the long-term use of the system and the cooperation. This preliminary research has implications in the study of cooperation and decision making with intelligent machines. Further research may address how to offer the suggestion in order to better cope with user's self-blame.


title: A Demonstration of Consistency between the Quantum Classical Liouville Equation and Berry's Phase and Curvature

abstract: Although the quantum classical Liouville equation (QCLE) arises by cutting off the exact equation of motion for a coupled nuclear-electronic system at order 1 (1 = $\hbar^0$ ), we show that the QCLE does include Berry's phase effects and Berry's forces (which are proportional to a higher order, $\hbar$ = $\hbar^1$ ). Thus, the fundamental equation underlying mixed quantum-classical dynamics does not need a correction for Berry's phase effects and is valid for the case of complex Hamiltonians. Furthermore, we also show that, even though Tully's surface hopping model ignores Berry's phase, Berry's phase effects are included automatically within Ehrenfest dynamics. These findings should be of great importance if we seek to model coupled nuclear-electronic dynamics for systems with spin-orbit coupling, where the complex nature of the Hamiltonian is paramount.


title: EGG: a toolkit for research on Emergence of lanGuage in Games

abstract: There is renewed interest in simulating language emergence among deep neural agents that communicate to jointly solve a task, spurred by the practical aim to develop language-enabled interactive AIs, as well as by theoretical questions about the evolution of human language. However, optimizing deep architectures connected by a discrete communication channel (such as that in which language emerges) is technically challenging. We introduce EGG, a toolkit that greatly simplifies the implementation of emergent-language communication games. EGG's modular design provides a set of building blocks that the user can combine to create new games, easily navigating the optimization and architecture space. We hope that the tool will lower the technical barrier, and encourage researchers from various backgrounds to do original work in this exciting area.


title: Spanning eulerian subdigraphs avoiding k prescribed arcs in tournaments

abstract: A digraph is {\bf eulerian} if it is connected and every vertex has its in-degree equal to its out-degree. Having a spanning eulerian subdigraph is thus a weakening of having a hamiltonian cycle. A digraph is {\bf semicomplete} if it has no pair of non-adjacent vertices. A {\bf tournament} is a semicomplete digraph without directed cycles of length 2. Fraise and Thomassen \cite{fraisseGC3} proved that every $(k+1)$-strong tournament has a hamiltonian cycle which avoids any prescribed set of $k$ arcs. In \cite{bangsupereuler} the authors demonstrated that a number of results concerning vertex-connectivity and hamiltonian cycles in tournaments and have analogues when we replace vertex connectivity by arc-connectivity and hamiltonian cycles by spanning eulerian subdigraphs. They showed the existence of a smallest function $f(k)$ such that every $f(k)$-arc-strong semicomplete digraph has a spanning eulerian subdigraph which avoids any prescribed set of $k$ arcs. They proved that $f(k)\leq \frac{(k+1)^2}{4}+1$ and also proved that $f(k)=k+1$ when $k=2,3$. Based on this they conjectured that $f(k)=k+1$ for all $k\geq 0$. In this paper we prove that $f(k)\leq (\lceil\frac{6k+1}{5}\rceil)$.


title: Katecheo: A Portable and Modular System for Multi-Topic Question Answering

abstract: We introduce a modular system that can be deployed on any Kubernetes cluster for question answering via REST API. This system, called Katecheo, includes three configurable modules that collectively enable identification of questions, classification of those questions into topics, document search, and reading comprehension. We demonstrate the system using publicly available knowledge base articles extracted from Stack Exchange sites. However, users can extend the system to any number of topics, or domains, without the need to modify any of the model serving code or train their own models. All components of the system are open source and available under a permissive Apache 2 License.


title: Type Checking Program Code using SHACL (Extended Version)

abstract: It is a strength of graph-based data formats, like RDF, that they are very flexible with representing data. To avoid run-time errors, program code that processes highly-flexible data representations exhibits the difficulty that it must always include the most general case, in which attributes might be set-valued or possibly not available. The Shapes Constraint Language (SHACL) has been devised to enforce constraints on otherwise random data structures. We present our approach, Type checking using SHACL (TyCuS), for type checking code that queries RDF data graphs validated by a SHACL shape graph. To this end, we derive SHACL shapes from queries and integrate data shapes and query shapes as types into a $\lambda$-calculus. We provide the formal underpinnings and a proof of type safety for TyCuS. A programmer can use our method in order to process RDF data with simplified, type checked code that will not encounter run-time errors (with usual exceptions as type checking cannot prevent accessing empty lists).


title: SLSNet: Skin lesion segmentation using a lightweight generative adversarial network

abstract: The determination of precise skin lesion boundaries in dermoscopic images using automated methods faces many challenges, most importantly, the presence of hair, inconspicuous lesion edges and low contrast in dermoscopic images, and variability in the color, texture and shapes of skin lesions. Existing deep learning-based skin lesion segmentation algorithms are expensive in terms of computational time and memory. Consequently, running such segmentation algorithms requires a powerful GPU and high bandwidth memory, which are not available in dermoscopy devices. Thus, this article aims to achieve precise skin lesion segmentation with minimum resources: a lightweight, efficient generative adversarial network (GAN) model called SLSNet, which combines 1-D kernel factorized networks, position and channel attention, and multiscale aggregation mechanisms with a GAN model. The 1-D kernel factorized network reduces the computational cost of 2D filtering. The position and channel attention modules enhance the discriminative ability between the lesion and non-lesion feature representations in spatial and channel dimensions, respectively. A multiscale block is also used to aggregate the coarse-to-fine features of input skin images and reduce the effect of the artifacts. SLSNet is evaluated on two publicly available datasets: ISBI 2017 and the ISIC 2018. Although SLSNet has only 2.35 million parameters, the experimental results demonstrate that it achieves segmentation results on a par with the state-of-the-art skin lesion segmentation methods with an accuracy of 97.61%, and Dice and Jaccard similarity coefficients of 90.63% and 81.98%, respectively. SLSNet can run at more than 110 frames per second (FPS) in a single GTX1080Ti GPU, which is faster than well-known deep learning-based image segmentation models, such as FCN. Therefore, SLSNet can be used for practical dermoscopic applications.


title: Combined search for supersymmetry with photons in proton-proton collisions at $\sqrt{s} =$ 13 TeV

abstract: A combination of four searches for new physics involving signatures with at least one photon and large missing transverse momentum, motivated by generalized models of gauge-mediated supersymmetry (SUSY) breaking, is presented. All searches make use of proton-proton collision data at $\sqrt{s} =$ 13 TeV, which were recorded with the CMS detector at the LHC in 2016, and correspond to an integrated luminosity of 35.9 fb$^{-1}$. Signatures with at least one photon and large missing transverse momentum are categorized into events with two isolated photons, events with a lepton and a photon, events with additional jets, and events with at least one high-energy photon. No excess of events is observed beyond expectations from standard model processes, and limits are set in the context of gauge-mediated SUSY. Compared to the individual searches, the combination extends the sensitivity to gauge-mediated SUSY in both electroweak and strong production scenarios by up to 100 GeV in neutralino and chargino masses, and yields the first CMS result combining various SUSY searches in events with photons at $\sqrt{s} =$ 13 TeV.


title: Kazhdan-Lusztig R-polynomials for pircons

abstract: The purpose of this work is to provide a common combinatorial framework for some of the analogues and generalizations of Kazhdan-Lusztig R-polynomials that have appeared since the introduction of these remarkable polynomials (e.g., parabolic Kazhdan-Lusztig R-polynomials, Kazhdan-Lusztig R-polynomials of zircons, and Kazhdan-Lusztig-Vogan polynomials for fixed point free involutions).


title: Multiparameter universality and directional nonuniversality of exact anisotropic critical correlation functions of the two-dimensional Ising universality class

abstract: We prove the validity of multiparameter universality for the exact critical bulk correlation functions of the anisotropic square-lattice and triangular-lattice Ising models on the basis of the exact scaling structure of the correlation function of the two-dimensional anisotropic scalar $\varphi^4$ model with four nonuniversal parameters. The correlation functions exhibit a directional nonuniversality due to principal axes whose orientation depends on microscopic details. In particular we determine the exact anisotropy matrices governing the bulk and finite-size critical behavior of the $\varphi^4$ and Ising models. We also prove the validity of multiparameter universality for an exact critical bulk amplitude relation.


title: Energy Efficient Transmission Based on Grouped Spatial Modulation for upstream DSL Systems

abstract: The digital Subscriber Line (DSL) remains an important component of heterogeneous networking, especially in historic city-centers, where using optical fibre is less realistic. Recently, the power consumption has become an important performance metric in telecommunication due to the associated environmental issues. In the recent bonding model, customer sites have been equipped with two/four copper pairs, which may be exploited for designing grouped spatial modulation (SM) aiming for reducing the power consumption and mitigating the stubborn crosstalk in DSL communications. Explicitly, we view the two pair copper pairs equipped for each user as a group and propose an energy efficient transmission scheme based on grouped SM strategy for the upstream DSL systems, which is capable of reducing the power consumption of the upstream transmitters by activating a single copper line of each user. More especially, in order to compensate for the potential bit-rate reduction imposed by reducing the number of activated lines, the proposed scheme implicitly delivers ``virtual bits" via activating/deactivating the lines in addition to the classic modulation scheme. This is particularly beneficial in the DSL context, because the cross-talk imposed by activating several lines may swamp the desired signal. Furthermore, a pair of near-optimal soft turbo detection schemes are proposed for exploiting the unique properties of the DSL channel in order to eliminate the error propagation problem of SM detection routinely encountered in wireless channels. Both the attainable energy-efficiency and the achievable Bit Error Ratio (BER) are investigated. Our simulation results demonstrate that the proposed group-based SM is capable of outperforming the vectoring scheme both in terms of its energy efficiency for all the examined loop lengths and transmit powers.


title: Thirty-six Officers and their Code

abstract: This note presents a short proof of Euler's 36 officer conjecture. This implies that there is no affine plane of order $6$, but we also give a direct proof.


title: Independent sets in the hypercube revisited

abstract: We revisit Sapozhenko's classic proof on the asymptotics of the number of independent sets in the discrete hypercube $\{0,1\}^d$ and Galvin's follow-up work on weighted independent sets. We combine Sapozhenko's graph container methods with the cluster expansion and abstract polymer models, two tools from statistical physics, to obtain considerably sharper asymptotics and detailed probabilistic information about the typical structure of (weighted) independent sets in the hypercube. These results refine those of Korshunov and Sapozhenko and Galvin, and answer several questions of Galvin.


title: Understanding GCC Builtins to Develop Better Tools

abstract: C programs can use compiler builtins to provide functionality that the C language lacks. On Linux, GCC provides several thousands of builtins that are also supported by other mature compilers, such as Clang and ICC. Maintainers of other tools lack guidance on whether and which builtins should be implemented to support popular projects. To assist tool developers who want to support GCC builtins, we analyzed builtin use in 4,913 C projects from GitHub. We found that 37% of these projects relied on at least one builtin. Supporting an increasing proportion of projects requires support of an exponentially increasing number of builtins; however, implementing only 10 builtins already covers over 30% of the projects. Since we found that many builtins in our corpus remained unused, the effort needed to support 90% of the projects is moderate, requiring about 110 builtins to be implemented. For each project, we analyzed the evolution of builtin use over time and found that the majority of projects mostly added builtins. This suggests that builtins are not a legacy feature and must be supported in future tools. Systematic testing of builtin support in existing tools revealed that many lacked support for builtins either partially or completely; we also discovered incorrect implementations in various tools, including the formally verified CompCert compiler.


title: Hadronic light-by-light contribution to the muon anomalous magnetic moment from lattice QCD

abstract: We report preliminary results for the hadronic light-by-light scattering contribution to the muon anomalous magnetic moment. Several ensembles using 2+1 flavors of M\"obius domain-wall fermions, generated by the RBC/UKQCD collaborations, are employed to take the continuum and infinite volume limits of finite volume lattice QED+QCD. We find $a_\mu^{\rm HLbL} = (7.41\pm6.33)\times 10^{-10}$


title: Radial Bayesian Neural Networks: Beyond Discrete Support In Large-Scale Bayesian Deep Learning

abstract: We propose Radial Bayesian Neural Networks (BNNs): a variational approximate posterior for BNNs which scales well to large models while maintaining a distribution over weight-space with full support. Other scalable Bayesian deep learning methods, like MC dropout or deep ensembles, have discrete support-they assign zero probability to almost all of the weight-space. Unlike these discrete support methods, Radial BNNs' full support makes them suitable for use as a prior for sequential inference. In addition, they solve the conceptual challenges with the a priori implausibility of weight distributions with discrete support. The Radial BNN is motivated by avoiding a sampling problem in 'mean-field' variational inference (MFVI) caused by the so-called 'soap-bubble' pathology of multivariate Gaussians. We show that, unlike MFVI, Radial BNNs are robust to hyperparameters and can be efficiently applied to a challenging real-world medical application without needing ad-hoc tweaks and intensive tuning. In fact, in this setting Radial BNNs out-perform discrete-support methods like MC dropout. Lastly, by using Radial BNNs as a theoretically principled, robust alternative to MFVI we make significant strides in a Bayesian continual learning evaluation.


title: Proximity effects in Graphene and Ferromagnetic CrBr3 van der Waals Heterostructure

abstract: We report on first-principle calculations on magnetic proximity effect in a van der Waals heterostructure formed by a graphene monolayer induced by its interaction with a two-dimensional (2D) ferromagnet (chromium tribromide, CrBr3). We observe that the magnetic proximity effect arising from the spin-dependent interlayer coupling depends sensitively on the interlayer electronic configuration. The proximity effect results in spin polarization of graphene orbital by up to 63.6 %, together with a miniband splitting band gap of about 73.4 meV and 8% enhancement in magnetic moment (3.47${\mu}$B/cell) in heterostructure. The position of the Fermi level in the Dirac cone is shown to depend strongly on the graphene-CrBr3 interlayer separation of 3.77 Angstrom. Consequently, we also show that a perpendicular electric field can be used to control the miniband spin splitting and transmission spectrum. Also, the interfacial polarization effect due to the existence of two different constituents reinforces the conductivity via electrostatic screening in the heterolayer. These findings point toward potential nanoscale devices where the electric field driven magnetic proximity effect can lead to unique spin controllability and possible engineering of spin gating.


title: Subleading Eikonal, AdS/CFT and Double Stress Tensors

abstract: The eikonal phase which determines the Regge limit of the gravitational scattering amplitude of a light particle off a heavy one in Minkowski spacetimes admits an expansion in the ratio of the Schwarzschild radius of the heavy particle to the impact parameter. Such an eikonal phase in AdS spacetimes of any dimensionality has been computed to all orders and reduces to the corresponding Minkowski result when both the impact parameter and the Schwarzschild radius are much smaller than the AdS radius. The leading term in the AdS eikonal phase can be reproduced in the dual CFT by a single stress tensor conformal block, but the subleading term is a result of an infinite sum of the double stress tensor contributions. We provide a closed form expression for the OPE coefficients of the leading twist double stress tensors in four spacetime dimensions and perform the sum to compute the corresponding lightcone behavior of a heavy-heavy-light-light CFT correlator. The resulting compact expression passes a few nontrivial independent checks. In particular, it agrees with the subleading eikonal phase at large impact parameter.


title: MULEX: Disentangling Exploitation from Exploration in Deep RL

abstract: An agent learning through interactions should balance its action selection process between probing the environment to discover new rewards and using the information acquired in the past to adopt useful behaviour. This trade-off is usually obtained by perturbing either the agent's actions (e.g., e-greedy or Gibbs sampling) or the agent's parameters (e.g., NoisyNet), or by modifying the reward it receives (e.g., exploration bonus, intrinsic motivation, or hand-shaped rewards). Here, we adopt a disruptive but simple and generic perspective, where we explicitly disentangle exploration and exploitation. Different losses are optimized in parallel, one of them coming from the true objective (maximizing cumulative rewards from the environment) and others being related to exploration. Every loss is used in turn to learn a policy that generates transitions, all shared in a single replay buffer. Off-policy methods are then applied to these transitions to optimize each loss. We showcase our approach on a hard-exploration environment, show its sample-efficiency and robustness, and discuss further implications.


title: Entanglement growth after inhomogenous quenches

abstract: We study the growth of entanglement in quantum systems with a conserved quantity exhibiting diffusive transport, focusing on how initial inhomogeneities are imprinted on the entropy. We propose a simple effective model, which generalizes the minimal cut picture of \textit{Jonay et al.} in such a way that the `line tension' of the cut depends on the local entropy density. In the case of noisy dynamics, this is described by a Kardar-Parisi-Zhang (KPZ) equation coupled to a diffusing field. We investigate the resulting dynamics and find that initial inhomogeneities of the conserved charge give rise to features in the entanglement profile, whose width and height both grow in time as $\propto\sqrt{t}$. In particular, for a domain wall quench, diffusion restricts entanglement growth to be $S_\text{vN} \lesssim \sqrt{t}$. We find that for charge density wave initial states, these features in the entanglement profile are present even after the charge density has equilibrated. Our conclusions are supported by numerical results on random circuits and deterministic spin chains.

categories: cond-mat.str-el cond-mat.stat-mech hep-th quant-ph


title: Many-body calculations of two-photon, two color matrix elements for attosecond delays

abstract: We present calculations for attosecond atomic delays in photoionization of noble gas atoms based on full two-color two-photon Random-Phase Approximation with Exchange in both length and velocity gauge. Gauge invariant atomic delays are demonstrated for the complete set of diagrams. The results are used to investigate the validity of the common assumption that the measured atomic delays can be interpreted as a one-photon Wigner delay and a universal continuum--continuum contribution that depends only on the kinetic energy of the photoelectron, the laser frequency and the charge of the remaining ion, but not on the specific atom or the orbital from which the electron is ionized. Here we find that although effects beyond the universal IR--photoelectron continuum--continuum transitions are rare, they do occur in special cases such as around the $3s$ Cooper minimum in argon. We conclude also that in general the convergence in terms of many-body diagrams is considerably faster in length gauge than in velocity gauge.


title: Cardinal-indexed classifying spaces for families of subgroups of any topological group

abstract: For $G$ a topological group, existence theorems by Milnor (1956), Gelfand-Fuks (1968), and Segal (1975) of classifying spaces for principal $G$-bundles are generalized to $G$-spaces with torsion. Namely, any $G$-space approximately covered by tubes (a generalization of local trivialization) is the pullback of a universal space indexed by the orbit types of tubes and cardinality of the cover. For $G$ a Lie group, via a metric model we generalize the corresponding uniqueness theorem by Palais (1960) and Bredon (1972) for compact $G$. Namely, the $G$-homeomorphism types of proper $G$-spaces over a metric space correspond to stratified-homotopy classes of orbit classifying maps. The former existence result is enabled by Segal's clever but esoteric use of non-Hausdorff spaces. The latter uniqueness result is enabled by our own development of equivariant ANR theory for noncompact Lie $G$. Applications include the existence part of classification for unstructured fiber bundles with locally compact Hausdorff fiber and with locally connected base or fiber, as well as for equivariant principal bundles which in certain cases via other models is due to Lashof-May (1986) and to L\"uck-Uribe (2014). From a categorical perspective, our general model $E_\mathcal{F}^\kappa G$ is a final object inspired by the formulation of the Baum-Connes conjecture (1994).


title: Improved hardness for H-colourings of G-colourable graphs

abstract: We present new results on approximate colourings of graphs and, more generally, approximate H-colourings and promise constraint satisfaction problems. First, we show NP-hardness of colouring $k$-colourable graphs with $\binom{k}{\lfloor k/2\rfloor}-1$ colours for every $k\geq 4$. This improves the result of Bul\'in, Krokhin, and Opr\v{s}al [STOC'19], who gave NP-hardness of colouring $k$-colourable graphs with $2k-1$ colours for $k\geq 3$, and the result of Huang [APPROX-RANDOM'13], who gave NP-hardness of colouring $k$-colourable graphs with $2^{k^{1/3}}$ colours for sufficiently large $k$. Thus, for $k\geq 4$, we improve from known linear/sub-exponential gaps to exponential gaps. Second, we show that the topology of the box complex of H alone determines whether H-colouring of G-colourable graphs is NP-hard for all (non-bipartite, H-colourable) G. This formalises the topological intuition behind the result of Krokhin and Opr\v{s}al [FOCS'19] that 3-colouring of G-colourable graphs is NP-hard for all (3-colourable, non-bipartite) G. We use this technique to establish NP-hardness of H-colouring of G-colourable graphs for H that include but go beyond $K_3$, including square-free graphs and circular cliques (leaving $K_4$ and larger cliques open). Underlying all of our proofs is a very general observation that adjoint functors give reductions between promise constraint satisfaction problems.


title: Compression of Acoustic Event Detection Models With Quantized Distillation

abstract: Acoustic Event Detection (AED), aiming at detecting categories of events based on audio signals, has found application in many intelligent systems. Recently deep neural network significantly advances this field and reduces detection errors to a large scale. However how to efficiently execute deep models in AED has received much less attention. Meanwhile state-of-the-art AED models are based on large deep models, which are computational demanding and challenging to deploy on devices with constrained computational resources. In this paper, we present a simple yet effective compression approach which jointly leverages knowledge distillation and quantization to compress larger network (teacher model) into compact network (student model). Experimental results show proposed technique not only lowers error rate of original compact network by 15% through distillation but also further reduces its model size to a large extent (2% of teacher, 12% of full-precision student) through quantization.


title: System Misuse Detection via Informed Behavior Clustering and Modeling

abstract: One of the main tasks of cybersecurity is recognizing malicious interactions with an arbitrary system. Currently, the logging information from each interaction can be collected in almost unrestricted amounts, but identification of attacks requires a lot of effort and time of security experts. We propose an approach for identifying fraud activity through modeling normal behavior in interactions with a system via machine learning methods, in particular LSTM neural networks. In order to enrich the modeling with system specific knowledge, we propose to use an interactive visual interface that allows security experts to identify semantically meaningful clusters of interactions. These clusters incorporate domain knowledge and lead to more precise behavior modeling via informed machine learning. We evaluate the proposed approach on a dataset containing logs of interactions with an administrative interface of login and security server. Our empirical results indicate that the informed modeling is capable of capturing normal behavior, which can then be used to detect abnormal behavior.


title: Electron bunch generation from a plasma photocathode

abstract: Plasma waves generated in the wake of intense, relativistic laser or particle beams can accelerate electron bunches to giga-electronvolt (GeV) energies in centimetre-scale distances. This allows the realization of compact accelerators having emerging applications, ranging from modern light sources such as the free-electron laser (FEL) to energy frontier lepton colliders. In a plasma wakefield accelerator, such multi-gigavolt-per-metre (GV m$^{-1}$) wakefields can accelerate witness electron bunches that are either externally injected or captured from the background plasma. Here we demonstrate optically triggered injection and acceleration of electron bunches, generated in a multi-component hydrogen and helium plasma employing a spatially aligned and synchronized laser pulse. This ''plasma photocathode'' decouples injection from wake excitation by liberating tunnel-ionized helium electrons directly inside the plasma cavity, where these cold electrons are then rapidly boosted to relativistic velocities. The injection regime can be accessed via optical density down-ramp injection, is highly tunable and paves the way to generation of electron beams with unprecedented low transverse emittance, high current and 6D-brightness. This experimental path opens numerous prospects for transformative plasma wakefield accelerator applications based on ultra-high brightness beams.


title: Complex structures and slice-regular functions on real associative algebras

abstract: In this paper, we study the (complex) geometry of the set $S$ of the square roots of $-1$ in a real associative algebra $A$, showing that $S$ carries a natural complex structure, given by an embedding into the Grassmannian of $\mathbb{C}\otimes A$. With this complex structure, slice-regular functions on $A$ can be lifted to holomorphic maps from $\mathbb{C}\times S$ to $\mathbb{C}\otimes A \times S$ and the values of the original slice-regular functions are recovered by looking at how the image of such holomorphic map intersects the leaves of a particular foliation on $\mathbb{C}\otimes A \times S$, constructed in terms of incidence varieties. In this setting, the quadratic cone defined by Ghiloni and Perotti is obtained by considering some particular (compact) subvarieties of $S$, defined in terms of some inner product on $A$. Moreover, by defining an analogue of the stereographic projection, we extend the construction of the twistor transform, introduced by Gentili, Salamon and Stoppato, to the case of an associative algebra, under the hypothesis of the existence of sections for a given projective bundle. Finally, we introduce some more general classes of "slice-regular" functions to which the present theory applies in all qualitative aspects.


title: A weak set theory that proves its own consistency

abstract: In the paper we introduce a weak set theory $\mathsf{H}_{<\omega}$ . A formalization of arithmetic on finite von Neumann ordinals gives an embedding of arithmetical language into this theory. We show that $\mathsf{H}_{<\omega}$ proves a natural arithmetization of its own Hilbert-style consistency. Unlike some previous examples of theories proving their own consistency, $\mathsf{H}_{<\omega}$ appears to be sufficiently natural. The theory $\mathsf{H}_{<\omega}$ is infinitely axiomatizable and proves existence of all individual hereditarily finite sets, but at the same time all its finite subtheories have finite models. Therefore, our example avoids the strong version of G\"odel second incompleteness theorem (due to Pudl\'ak) that asserts that no consistent a theory interpreting Robinson's arithmetic $\mathsf{Q}$ proves its own consistency. To show that $\mathsf{H}_{<\omega}$ proves its own consistency we establish a conservation result connecting Kalmar elementary arithmetic $\mathsf{EA}$ and $\mathsf{H}_{<\omega}$. We also consider the version of $\mathsf{H}_{<\omega}$ over higher order logic denoted $\mathsf{H}^{\omega}_{<\omega}$. It has the same non-G\"odelian property as $\mathsf{H}_{<\omega}$ but happens to be more attractive from a technical point of view. In particular, we show that $\mathsf{H}^{\omega}_{<\omega}$ proves a $\Pi_1$ sentence $\varphi$ of the predicate-only version of arithmetical language iff $\mathsf{EA}$ proves that $\varphi$ holds on the superexponential cut.


title: Neural Logic Rule Layers

abstract: Despite their great success in recent years, deep neural networks (DNN) are mainly black boxes where the results obtained by running through the network are difficult to understand and interpret. Compared to e.g. decision trees or bayesian classifiers, DNN suffer from bad interpretability where we understand by interpretability, that a human can easily derive the relations modeled by the network. A reasonable way to provide interpretability for humans are logical rules. In this paper we propose neural logic rule layers (NLRL) which are able to represent arbitrary logic rules in terms of their conjunctive and disjunctive normal forms. Using various NLRL within one layer and correspondingly stacking various layers, we are able to represent arbitrary complex rules by the resulting neural network architecture. The NLRL are end-to-end trainable allowing to learn logic rules directly from available data sets. Experiments show that NLRL-enhanced neural networks can learn to model arbitrary complex logic and perform arithmetic operation over the input values.


title: Distributed-Memory Load Balancing with Cyclic Token-based Work-Stealing Applied to Reverse Time Migration

abstract: Reverse time migration (RTM) is a prominent technique in seismic imaging. Its resulting subsurface images are used in the industry to investigate with higher confidence the existence and the conditions of oil and gas reservoirs. Because of its high computational cost, RTM must make use of parallel computers. Balancing the workload distribution of an RTM is a growing challenge in distributed computing systems. The competition for shared resources and the differently-sized tasks of the RTM are some of the possible sources of load imbalance. Although many load balancing techniques exist, scaling up for large problems and large systems remains a challenge because synchronization overhead also scales. This paper proposes a cyclic token-based work-stealing (CTWS) algorithm for distributed memory systems applied to RTM. The novel cyclic token approach reduces the number of failed steals, avoids communication overhead, and simplifies the victim selection and the termination strategy. The proposed method is implemented as a C library using the one-sided communication feature of the message passing interface (MPI) standard. Results obtained by applying the proposed technique to balance the workload of a 3D RTM system present a factor of 14.1% speedup and reductions of the load imbalance of 78.4% when compared to the conventional static distribution.


title: Sparse Solutions of a Class of Constrained Optimization Problems

abstract: In this paper, we consider a well-known sparse optimization problem that aims to find a sparse solution of a possibly noisy underdetermined system of linear equations. Mathematically, it can be modeled in a unified manner by minimizing $\|\bf{x}\|_p^p$ subject to $\|A\bf{x}-\bf{b}\|_q\leq\sigma$ for given $A \in \mathbb{R}^{m \times n}$, $\bf{b}\in\mathbb{R}^m$, $\sigma \geq0$, $0\leq p\leq 1$ and $q \geq 1$. We then study various properties of the optimal solutions of this problem. Specifically, without any condition on the matrix $A$, we provide upper bounds in cardinality and infinity norm for the optimal solutions, and show that all optimal solutions must be on the boundary of the feasible set when $0<p<1$. Moreover, for $q \in \{1,\infty\}$, we show that the problem with $0<p<1$ has a finite number of optimal solutions and prove that there exists $0<p^*<1$ such that the solution set of the problem with any $0<p<p^*$ is contained in the solution set of the problem with $p=0$ and there further exists $0<\bar{p}<p^*$ such that the solution set of the problem with any $0<p\leq\bar{p}$ remains unchanged. An estimation of such $p^*$ is also provided. In addition, to solve the constrained nonconvex non-Lipschitz $L_p$-$L_1$ problem ($0<p<1$ and $q=1$), we propose a smoothing penalty method and show that, under some mild conditions, any cluster point of the sequence generated is a KKT point of our problem. Some numerical examples are given to implicitly illustrate the theoretical results and show the efficiency of the proposed algorithm for the constrained $L_p$-$L_1$ problem under different noises.


title: Feasibility of cmOCT angiographic technique using 200 kHz VCSEL source for in vivo microcirculation imaging applications

abstract: Optical coherence tomography (OCT) angiography is a well-established in vivo imaging technique to assess the overall vascular morphology of tissues and is an emerging field of research for the assessment of blood flow dynamics and functional parameters such as oxygen saturation. In this study, we present a modified scanning based correlation mapping OCT (cmOCT) using a 200 kHz high speed swept source OCT system operating at 1300 nm and demonstrate its wide field imaging capability in ocular angiographic studies.


title: An overview on constrained critical points of Dirichlet integrals

abstract: We consider a natural generalization of the eigenvalue problem for the Laplacian with homogeneous Dirichlet boundary conditions. This corresponds to look for the critical values of the Dirichlet integral, constrained to the unit $L^q$ sphere. We collect some results, present some counter-examples and compile a list of open problems.


title: HyST: A Hybrid Approach for Flexible and Accurate Dialogue State Tracking

abstract: Recent works on end-to-end trainable neural network based approaches have demonstrated state-of-the-art results on dialogue state tracking. The best performing approaches estimate a probability distribution over all possible slot values. However, these approaches do not scale for large value sets commonly present in real-life applications and are not ideal for tracking slot values that were not observed in the training set. To tackle these issues, candidate-generation-based approaches have been proposed. These approaches estimate a set of values that are possible at each turn based on the conversation history and/or language understanding outputs, and hence enable state tracking over unseen values and large value sets however, they fall short in terms of performance in comparison to the first group. In this work, we analyze the performance of these two alternative dialogue state tracking methods, and present a hybrid approach (HyST) which learns the appropriate method for each slot type. To demonstrate the effectiveness of HyST on a rich-set of slot types, we experiment with the recently released MultiWOZ-2.0 multi-domain, task-oriented dialogue-dataset. Our experiments show that HyST scales to multi-domain applications. Our best performing model results in a relative improvement of 24% and 10% over the previous SOTA and our best baseline respectively.


title: On mechanisms for transfer using landmark value functions in multi-task lifelong reinforcement learning

abstract: Transfer learning across different reinforcement learning (RL) tasks is becoming an increasingly valuable area of research. We consider a goal-based multi-task RL framework and mechanisms by which previously solved tasks can reduce sample complexity and regret when the agent is faced with a new task. Specifically, we introduce two metrics on the state space that encode notions of traversibility of the state space for an agent. Using these metrics a topological covering is constructed by way of a set of landmark states in a fully self-supervised manner. We show that these landmark coverings confer theoretical advantages for transfer learning within the goal-based multi-task RL setting. Specifically, we demonstrate three mechanisms by which landmark coverings can be used for successful transfer learning. First, we extend the Landmark Options Via Reflection (LOVR) framework to this new topological covering; second, we use the landmark-centric value functions themselves as features and define a greedy zombie policy that achieves near oracle performance on a sequence of zero-shot transfer tasks; finally, motivated by the second transfer mechanism, we introduce a learned reward function that provides a more dense reward signal for goal-based RL. Our novel topological landmark covering confers beneficial theoretical results, bounding the Q values at each state-action pair. In doing so, we introduce a mechanism that performs action-pruning at infeasible actions which cannot possibly be part of an optimal policy for the current goal.


title: Intersection patterns of planar sets

abstract: Let $\mathcal A=\{A_1,\ldots,A_n\}$ be a family of sets in the plane. For $0 \leq i < n$, denote by $f_i$ the number of subsets $\sigma$ of $\{1,\ldots,n\}$ of cardinality $i+1$ that satisfy $\bigcap_{i \in \sigma} A_i \neq \emptyset$. Let $k \geq 2$ be an integer. We prove that if each $k$-wise and $(k+1)$-wise intersection of sets from $\mathcal A$ is empty, or a single point, or both open and path-connected, then $f_{k+1}=0$ implies $f_k \leq cf_{k-1}$ for some positive constant $c$ depending only on $k$. Similarly, let $b \geq 2, k > 2b$ be integers. We prove that if each $k$-wise or $(k+1)$-wise intersection of sets from $\mathcal A$ has at most $b$ path-connected components, which all are open, then $f_{k+1}=0$ implies $f_k \leq cf_{k-1}$ for some positive constant $c$ depending only on $b$ and $k$. These results also extend to two-dimensional compact surfaces.


title: Representing Model Discrepancy in Bound-to-Bound Data Collaboration

abstract: We extended the existing methodology in Bound-to-Bound Data Collaboration (B2BDC), an optimization-based deterministic uncertainty quantification (UQ) framework, to explicitly take into account model discrepancy. The discrepancy was represented as a linear combination of finite basis functions and the feasible set was constructed according to a collection of modified model-data constraints. Formulas for making predictions were also modified to include the model discrepancy function. Prior information about the model discrepancy can be added to the framework as additional constraints. Dataset consistency, a central feature of B2BDC, was generalized based on the extended framework.


title: An Efficient Solution for Breast Tumor Segmentation and Classification in Ultrasound Images Using Deep Adversarial Learning

abstract: This paper proposes an efficient solution for tumor segmentation and classification in breast ultrasound (BUS) images. We propose to add an atrous convolution layer to the conditional generative adversarial network (cGAN) segmentation model to learn tumor features at different resolutions of BUS images. To automatically re-balance the relative impact of each of the highest level encoded features, we also propose to add a channel-wise weighting block in the network. In addition, the SSIM and L1-norm loss with the typical adversarial loss are used as a loss function to train the model. Our model outperforms the state-of-the-art segmentation models in terms of the Dice and IoU metrics, achieving top scores of 93.76% and 88.82%, respectively. In the classification stage, we show that few statistics features extracted from the shape of the boundaries of the predicted masks can properly discriminate between benign and malignant tumors with an accuracy of 85%$


title: The Role of Network Structure and Initial Group Norm Distributions in Norm Conflict

abstract: Social norms can facilitate societal coexistence in groups by providing an implicitly shared set of expectations and behavioral guidelines. However, different social groups can hold different norms, and lacking an overarching normative consensus can lead to conflict within and between groups. In this paper, we present an agent-based model that simulates the adoption of norms in two interacting groups. We explore this phenomenon while varying relative group sizes and homophily/heterophily (two features of network structure), and initial group norm distributions. Agents update their norm according to an adapted version of Granovetter's threshold model, using a uniform distribution of thresholds. We study the impact of network structure and initial norm distributions on the process of achieving normative consensus and the resulting potential for intragroup and intergroup conflict. Our results show that norm change is most likely when norms are strongly tied to group membership. Groups end up with the most similar norm distributions when networks are heterophilic, with small to middling minority groups. High homophilic networks show high potential intergroup conflict and low potential intragroup conflict, while the opposite pattern emerges for high heterophilic networks.


title: Toeplitz algebra on the Fock space

abstract: The Fock space consists of all entire functions which are square integrable with respect to Gauss measure. The Toeplitz algebra is the C*-algebra generated by the Toeplitz operator with bounded symbol on the Fock space. In this paper, we study the Toeplitz algebra on the Fock space.


title: A volume-of-fluid method for interface-resolved simulations of phase-changing two-fluid flows

abstract: We present a numerical method for interface-resolved simulations of evaporating two-fluid flows based on the volume-of-fluid (VoF) method. The method has been implemented in an efficient FFT-based two-fluid Navier-Stokes solver, using an algebraic VoF method for the interface representation, and extended with the transport equations of thermal energy and vaporized liquid mass for the single-component evaporating liquid in an inert gas. The conservation of vaporizing liquid and computation of the interfacial mass flux are performed with the aid of a reconstructed signed-distance field, which enables the use of well-established methods for phase change solvers based on level-set methods. The interface velocity is computed with a novel approach that ensures accurate mass conservation, by constructing a divergence-free extension of the liquid velocity field onto the entire domain. The resulting approach does not depend on the type of interface reconstruction (i.e.\ can be employed in both algebraic and geometrical VoF methods). We extensively verified and validated the overall method against several benchmark cases, and demonstrated its excellent mass conservation and good overall performance for simulating evaporating two-fluid flows in two and three dimensions.


title: Probing Electronic Fluxes via Time-Resolved X-ray Scattering

abstract: The current flux density is a vector field that can be used to describe theoretically how electrons flow in a system out-of-equilibrium. In this work, we unequivocally demonstrate that the signal obtained from time-resolved X-ray scattering does not only map the time-evolution of the electronic charge distribution, but also encodes information about the associated electronic current flux density. We show how the electronic current flux density qualitatively maps the distribution of electronic momenta and reveals the underlying mechanism of ultrafast charge migration processes, while also providing quantitative information about the timescales of electronic coherences.


title: Sampling And Reconstruction Of Diffusive Fields On Graphs

abstract: In this paper, the focus is on the reconstruction of a diffusive field and the localization of the underlying driving sources on arbitrary graphs by observing a significantly smaller subset of vertices of the graph uniformly in time. Specifically, we focus on the heat diffusion equation driven by an initial field and an external time-invariant input. When the underlying driving sources are modeled as an initial field or external input, the sources (hence the diffusive field) can be recovered from the subsampled observations without imposing any band-limiting or sparsity constraints. When the diffusion is induced by both the initial field and external input, then the field and sources can be recovered from the subsampled observations, however, by imposing band-limiting constraints on either the initial field or external input. For heat diffusion on graphs, we can compensate for the unobserved vertices with the temporal samples at the observed vertices. If the observations are noiseless, then the recovery is exact. Nonetheless, the developed least squares estimators perform reasonably well with noisy observations. We apply the developed theory for localizing and recovering hot spots on a rectangular metal plate with a cavity.


title: Computational Design of Skinned Quad-Robots

abstract: We present a computational design system that assists users to model, optimize, and fabricate quad-robots with soft skins.Our system addresses the challenging task of predicting their physical behavior by fully integrating the multibody dynamics of the mechanical skeleton and the elastic behavior of the soft skin. The developed motion control strategy uses an alternating optimization scheme to avoid expensive full space time-optimization, interleaving space-time optimization for the skeleton and frame-by-frame optimization for the full dynamics. The output are motor torques to drive the robot to achieve a user prescribed motion trajectory.We also provide a collection of convenient engineering tools and empirical manufacturing guidance to support the fabrication of the designed quad-robot. We validate the feasibility of designs generated with our system through physics simulations and with a physically-fabricated prototype.


title: Algorithmic study of superspecial hyperelliptic curves over finite fields

abstract: This paper presents algorithmic approaches to study superspecial hyperelliptic curves. The algorithms proposed in this paper are: an algorithm to enumerate superspecial hyperelliptic curves of genus $g$ over finite fields $\mathbb{F}_q$, and an algorithm to compute the automorphism group of a (not necessarily superspecial) hyperelliptic curve over finite fields. The first algorithm works for any $(g,q)$ such that $q$ and $2g+2$ are coprime and $q>2g+1$. As an application, we enumerate superspecial hyperelliptic curves of genus $g=4$ over $\mathbb{F}_{p}$ for $11 \leq p \leq 23$ and over $\mathbb{F}_{p^2}$ for $11 \leq p \leq 19$ with our implementation on a computer algebra system Magma. Moreover, we found maximal hyperelliptic curves and minimal hyperelliptic curves over $\mathbb{F}_{p^2}$ from among enumerated superspecial ones. The second algorithm computes an automorphism as a concrete element in (a quotient of) a linear group in the general linear group of degree $2$.


title: Comment on "Adv-BNN: Improved Adversarial Defense through Robust Bayesian Neural Network"

abstract: A recent paper by Liu et al. combines the topics of adversarial training and Bayesian Neural Networks (BNN) and suggests that adversarially trained BNNs are more robust against adversarial attacks than their non-Bayesian counterparts. Here, I analyze the proposed defense and suggest that one needs to adjust the adversarial attack to incorporate the stochastic nature of a Bayesian network to perform an accurate evaluation of its robustness. Using this new type of attack I show that there appears to be no strong evidence for higher robustness of the adversarially trained BNNs.


title: On the degeneracy of integral points and entire curves in the complement of nef effective divisors

abstract: As a consequence of our recently established generalized Schmidt's subspace theorem for closed subschemes in general position, we prove a degeneracy theorem for integral points on the complement of a union of nef effective divisors. A novel aspect of our result is the attainment of a strong degeneracy conclusion (arithmetic quasi-hyperbolicity) under weak positivity assumptions on the divisors. The proof hinges on applying our recent theorem with a well-situated ample divisor realizing a certain lexicographical minimax. We also explore the connections with earlier work by other authors and make a Conjecture regarding (optimal) bounds for the numbers of divisors necessary, including consideration of the question of arithmetic hyperbolicity. Under the standard correspondence between statements in Diophantine approximation and Nevanlinna theory, one obtains analogous degeneration statements for entire curves.


title: A comparison of the R_h=ct and LCDM cosmologies based on the observed halo mass function

abstract: The growth of structure probes the re-ionization history and quasar abundance in the Universe, constituting an important probe of the cosmological predictions. Halos are not directly observable, however, so their mass and evolution must be inferred indirectly. Studies based on the assumption of a constant halo to stellar mass ratio M_h/M_* (extrapolated from z<4) reveal significant tension with LCDM---a failure known as "The Impossibly Early Galaxy Problem". But whether this ratio evolves or remains constant through redshift 4<z<10 is still being debated. To eliminate the tension with LCDM, it would have to change by about 0.8 dex over this range, an issue that may be settled by upcoming observations with the James Webb Space Telescope. In this paper, we study this problem in the context of another Friedmann-Lemaitre-Robertson-Walker (FLRW) model known as the R_h=ct universe, and use our previous measurement of sigma_8 from the cosmological growth rate, together with new solutions to the Einstein-Boltzmann equations, to interpret these recent halo measurements. We demonstrate that the predicted mass and redshift dependence of the halo distribution in R_h=ct is consistent with the data, even assuming a constant M_h/M_* throughout the observed redshift range (4<z<10), contrasting sharply with the tension in LCDM. We conclude that---if M_h/M_* turns out to be constant---the massive galaxies and their halos must have formed earlier than is possible in LCDM.


title: Stable structures and electronic properties of perovskite oxide monolayers

abstract: It is highly desirable to search for promising two-dimensional (2D) monolayer materials for deep insight of 2D materials and applications. We use first-principles method to investigate tetragonal perovskite oxide monolayers as 2D materials. We find four stable 2D monolayer materials from SrTiO$_3$, LaAlO$_3$, KTaO$_3$, and BaFeO$_3$, denoting them as STO-ML, LAO-ML, KTO-ML, and BFO-ML. Our further study shows that through overcoming dangling bonds the first three monolayers are 2D wide-gap semiconducotors, and BFO-ML is a 2D isotropic Heisenberg ferromagnetic metal. There is a large electrostatic potential energy difference between the two sides, reflecting a large out-of-plane dipole, in each of the monolayers. These make a series of 2D monolayer materials, and should be useful in novel electronic devices considering emerging phenomena in perovskite oxide heterostructures.


title: Engineering Token Economy with System Modeling

abstract: Cryptocurrencies and blockchain networks have attracted tremendous attention from their volatile price movements and the promise of decentralization. However, most projects run on business narratives with no way to test and verify their assumptions and promises about the future. The complex nature of system dynamics within networked economies has rendered it difficult to reason about the growth and evolution of these networks. This paper drew concepts from differential games, classical control engineering, and stochastic dynamical system to come up with a framework and example to model, simulate, and engineer networked token economies. A model on a generalized token economy is proposed where miners provide service to a platform in exchange for a cryptocurrency and users consume service from the platform. Simulations of this model allow us to observe outcomes of complex dynamics and reason about the evolution of the system. Speculative price movements and engineered block rewards were then experimented to observe their impact on system dynamics and network-level goals. The model presented is necessarily limited so we conclude by exploring those limitations and outlining future research directions.


title: Post-editese: an Exacerbated Translationese

abstract: Post-editing (PE) machine translation (MT) is widely used for dissemination because it leads to higher productivity than human translation from scratch (HT). In addition, PE translations are found to be of equal or better quality than HTs. However, most such studies measure quality solely as the number of errors. We conduct a set of computational analyses in which we compare PE against HT on three different datasets that cover five translation directions with measures that address different translation universals and laws of translation: simplification, normalisation and interference. We find out that PEs are simpler and more normalised and have a higher degree of interference from the source language than HTs.


title: Emergence of correlations in highly biased Consensus Models in seed initial configuration

abstract: We study the consensus probability in Voter Model and Invasion Process starting from a seed initial configuration. In the case where the opinions have the same strength or slightly different (weak bias) this function was computed analytically by Sood, Antal and Redner and depends only on the degree of the promoter individual. We check numerically through large scale simulations the above mentioned theory and we find that in the case of strong bias a correlation between the consensus probability and other centrality measures emerge and Sood et al's theory is broken.


title: Multi-component Maintenance Optimization: A Stochastic Programming Approach

abstract: Maintenance optimization has been extensively studied in the past decades. However, most of the existing maintenance models focus on single-component systems and are not applicable for complex systems consisting of multiple components, due to various interactions between the components. Multi-component maintenance optimization problem, which joins the stochastic processes regarding the failures of the components with the combinatorial problems regarding the grouping of maintenance activities, is challenging in both modeling and solution techniques, and has remained as an open issue in the literature. In this paper, we study the multi-component maintenance problem over a finite planning horizon and formulate the problem as a multi-stage stochastic integer program with decision-dependent uncertainty. There is a lack of general efficient methods to solve this type of problem. To address this challenge, we use an alternative approach to model the underlying failure process and develop a novel two-stage model without decision-dependent uncertainty. Structural properties of the two-stage problem are investigated, and a progressive-hedging-based heuristic is developed based on the structural properties. Our heuristic algorithm demonstrates a significantly improved capacity in handling practically large-size two-stage problems comparing to three conventional methods for stochastic integer programming, and solving the two-stage model by our heuristic in a rolling horizon provides a good approximation of the multi-stage problem. The heuristic is further benchmarked with a dynamic programming approach commonly adopted in the literature. Numerical results show that our heuristic can lead to significant cost savings compared with the benchmark approach.


title: Resolving the Multiple Withdrawal Attack on ERC20 Tokens

abstract: Custom tokens are an integral component of decentralized applications (dapps) deployed on Ethereum and other blockchain platforms. For Ethereum, the ERC20 standard is a widely used token interface and is interoperable with many existing dapps, user interface platforms, and popular web applications (e.g., exchange services). An ERC20 security issue, known as the "multiple withdrawal attack", was raised on GitHub and has been open since November 2016. The issue concerns ERC20's defined method approve() which was envisioned as a way for token holders to give permission for other users and dapps to withdraw a capped number of tokens. The security issue arises when a token holder wants to adjust the amount of approved tokens from N to M (this could be an increase or decrease). If malicious, a user or dapp who is approved for N tokens can front-run the adjustment transaction to first withdraw N tokens, then allow the approval to be confirmed, and withdraw an additional M tokens. In this paper, we evaluate 10 proposed mitigations for this issues and find that no solution is fully satisfactory. We then propose 2 new solutions that mitigate the attack, one of which fully fulfills constraints of the standard, and the second one shows a general limitation in addressing this issue from ERC20's approve method.


title: A new Majorana platform in an Fe-As bilayer superconductor

abstract: Recently, iron-chalcogenide superconductors have emerged as a new and promising platform for studying and manipulating Majorana zero mode (MZM). By combining topological band structure and superconductivity in a multiband material, they provide significant advantages such as higher superconducting transition temperature (Tc) and isolated Majorana mode. However, iron-chalcogenide superconductors, especially Fe(Te,Se), suffer from strong inhomogeneity which may hamper their practical application. On the other hand, some iron-pnictide (Fe-As) superconductors, such as LiFeAs, have been demonstrated to have a similar topological band structure, yet no MZM has been observed in its vortex cores, raising a question of universality of MZM presence in iron-based superconductors. In this work, by using high-resolution angle-resolved photoemission spectroscopy and scanning tunneling microscopy/spectroscopy, we identify the first Fe-As superconductor CaKFe4As4 (Tc = 35 K) which has both the superconducting Dirac surface states and the MZMs inside its vortex cores. The topological band inversion is largely due to the down-shift of the pz band caused by the bilayer band folding in this material. More strikingly, the energies and spatial line profiles of MZM and multiple quantized Caroli-de Gennes-Matricon bound states observed inside the topological vortex can be accurately reproduced by a simple theoretical model derived from a surface Dirac cone, firmly establishing Majorana nature of the zero mode.


title: Control in the spaces of ensembles of points

abstract: We study the controlled dynamics of the {\it ensembles of points} of a Riemannian manifold $M$. Parameterized ensemble of points of $M$ is the image of a continuous map $\gamma:\Theta \to M$, where $\Theta$ is a compact set of parameters. The dynamics of ensembles is defined by the action $\gamma(\theta) \mapsto P_t(\gamma(\theta))$ of the semigroup of diffeomorphisms $P_t:M \to M, \ t \in \mathbb{R}$, generated by the controlled equation $\dot{x}=f(x,u(t))$ on $M$. Therefore any control system on $M$ defines a control system on (generally infinite-dimensional) space $\mathcal{E}_\Theta(M)$ of the ensembles of points. We wish to establish criteria of controllability for such control systems. As in our previous work ([1]) we seek to adapt the Lie-algebraic approach of geometric control theory to the infinite-dimensional setting. We study the case of finite ensembles and prove genericity of exact controllability property for them. We also find sufficient approximate controllability criterion for continual ensembles and prove a result on motion planning in the space of flows on $M$. We discuss the relation of the obtained controllability criteria to various versions of Rashevsky-Chow theorem for finite- and infinite-dimensional manifolds.


title: Swimming eukaryotic microorganisms exhibit a universal speed distribution

abstract: One approach to quantifying biological diversity consists of characterizing the statistical distribution of specific properties of a taxonomic group or habitat. Microorganisms living in fluid environments, and for whom motility is key, exploit propulsion resulting from a rich variety of shapes, forms, and swimming strategies. Here, we explore the variability of swimming speed for unicellular eukaryotes based on published data. The data naturally partitions into that from flagellates (with a small number of flagella) and from ciliates (with tens or more). Despite the morphological and size differences between these groups, each of the two probability distributions of swimming speed are accurately represented by log-normal distributions, with good agreement holding even to fourth moments. Scaling of the distributions by a characteristic speed for each data set leads to a collapse onto an apparently universal distribution. These results suggest a universal way for ecological niches to be populated by abundant microorganisms.

categories: cond-mat.soft physics.bio-ph physics.flu-dyn q-bio.CB


title: Self-learning projective quantum Monte Carlo simulations guided by restricted Boltzmann machines

abstract: The projective quantum Monte Carlo (PQMC) algorithms are among the most powerful computational techniques to simulate the ground state properties of quantum many-body systems. However, they are efficient only if a sufficiently accurate trial wave function is used to guide the simulation. In the standard approach, this guiding wave function is obtained in a separate simulation that performs a variational minimization. Here we show how to perform PQMC simulations guided by an adaptive wave function based on a restricted Boltzmann machine. This adaptive wave function is optimized along the PQMC simulation via unsupervised machine learning, avoiding the need of a separate variational optimization. As a byproduct, this technique provides an accurate ansatz for the ground state wave function, which is obtained by minimizing the Kullback-Leibler divergence with respect to the PQMC samples, rather than by minimizing the energy expectation value as in standard variational optimizations. The high accuracy of this self-learning PQMC technique is demonstrated for a paradigmatic sign-problem-free model, namely, the ferromagnetic quantum Ising chain, showing very precise agreement with the predictions of the Jordan-Wigner theory and of loop quantum Monte Carlo simulations performed in the low-temperature limit.


title: Lattice Boltzmann method for simulation of diffusion magnetic resonance imaging physics in multiphase tissue models

abstract: We report an implementation of the lattice Boltzmann method (LBM) to integrate the Bloch-Torrey equation, which describes the evolution of the transverse magnetization vector and the fate of the signal of diffusion magnetic resonance imaging (dMRI). Motivated by the need to interpret dMRI experiments in biological tissues, and to offset the small time-step limitation of classical LBM, a hybrid LBM scheme is introduced and implemented to solve the Bloch-Torrey equation. A membrane boundary condition is presented which is able to accurately represent the effects of thin curvilinear membranes typically found in biological tissues. As implemented, the hybrid LBM scheme accommodates piece-wise uniform transport, dMRI parameters, periodic and mirroring outer boundary conditions, and finite membrane permeabilities on non-boundary-conforming inner boundaries. By comparing with analytical solutions of limiting cases, we demonstrate that the hybrid LBM scheme is more accurate than the classical LBM scheme. The proposed explicit LBM scheme maintains second-order spatial accuracy, stability, and first-order temporal accuracy for a wide range of parameters. The parallel implementation of the hybrid LBM code in a multi-CPU computer system, as well as on GPUs, is straightforward and efficient. Along with offering certain advantages over finite element or Monte Carlo schemes, the proposed hybrid LBM constitutes a flexible scheme that can by easily adapted to model more complex interfacial conditions and physics in heterogeneous multiphase tissue models and to accommodate sophisticated dMRI sequences.

categories: physics.med-ph cs.CE physics.comp-ph q-bio.QM


title: An Open Source AutoML Benchmark

abstract: In recent years, an active field of research has developed around automated machine learning (AutoML). Unfortunately, comparing different AutoML systems is hard and often done incorrectly. We introduce an open, ongoing, and extensible benchmark framework which follows best practices and avoids common mistakes. The framework is open-source, uses public datasets and has a website with up-to-date results. We use the framework to conduct a thorough comparison of 4 AutoML systems across 39 datasets and analyze the results.


title: Continuity of solutions to a nonlinear fractional diffusion equation

abstract: We study a parabolic equation for the fractional $p-$Laplacian of order $s$, for $p\ge 2$ and $0<s<1$. We provide space-time H\"older estimates for weak solutions, with explicit exponents. The proofs are based on iterated discrete differentiation of the equation in the spirit of J. Moser.


title: The laser-based time calibration system for the MEG II pixelated Timing Counter

abstract: We have developed a new laser-based time calibration system for highly segmented scintillator counters like the MEG II pixelated Timing Counter (pTC), consisting of 512-centimeter scale scintillator counters read out by silicon photomultipliers (SiPMs). It is difficult to apply previous laser-based calibration methods for conventional meter-scale Time-Of-Flight detectors to the MEG II pTC from the implementation and the accuracy points of view. This paper presents a new laser-based time calibration system which can overcome such difficulties. A laser pulse is split into each scintillator counter via several optical components so that we can directly measure the time offset of each counter relative to the laser-emitted time. We carefully tested all the components and procedures prior to the actual operation. The laser system was installed into the pTC and thoroughly tested under the real experimental condition. The system showed good stability and being sensitive to any change of timing larger than ~10 ps. Moreover, it showed an uncertainty of 48 ps in the determination of the time offsets, which meets our requirements. The new method provides an example of the implementation of a precise timing alignment for the new type of detectors enabled by the advance of SiPM technology.


title: Problem of Time and Background Independence: classical version's higher Lie Theory

abstract: A local resolution of the Problem of Time has recently been given, alongside reformulation as a local theory of Background Independence. The classical part of this requires just Lie's Mathematics, much of which is basic: i) Lie derivatives to encode Relationalism. ii) Lie brackets for Closure giving Lie algebraic structures. iii) Observables defined by a Lie brackets relation, in the constrained canonical case as explicit PDEs to be solved using Lie's flow method, and themselves forming Lie algebras. iv) Lattices of constraint algebraic substructures induce dual lattices of observables subalgebras. The current Article focuses on two pieces of `higher Lie Theory' that are also required. Preliminarily, we extend Dirac's Algorithm for Constraint Closure to `Lie's Algorithm' for Generator Closure. 1) We then reinterpret `passing families of theories through the Dirac Algorithm' - a method used for Spacetime Construction (from space) and getting more structure from less structure assumed more generally - as the Dirac Rigidity subcase of Lie Rigidity. We also provide a Foundations of Geometry example of specifically Lie rather than Dirac Rigidity, to illustrate merit in extending from Dirac to Lie Algorithms. We point to such rigidity providing a partial cohomological (and thus global) selection principle for the Comparative Theory of Background Independence. 2) We finally pose the universal (theory-independent) analogue of GR's Refoliation Invariance for the general Lie Theory: Reallocation of Intermediary-Object Invariance. This is a commuting pentagon criterion: in evolving from an initial object to a final object, does switching which intermediary object one proceeds via amount to at most a difference by an automorphism of the final object? We argue for this to also be a selection principle in the Comparative Theory of Background Independence.


title: Nonlinearizing two-parameter eigenvalue problems

abstract: We investigate a technique to transform a linear two-parameter eigenvalue problem, into a nonlinear eigenvalue problem (NEP). The transformation stems from an elimination of one of the equations in the two-parameter eigenvalue problem, by considering it as a (standard) generalized eigenvalue problem. We characterize the equivalence between the original and the nonlinearized problem theoretically and show how to use the transformation computationally. Special cases of the transformation can be interpreted as a reversed companion linearization for polynomial eigenvalue problems, as well as a reversed (less known) linearization technique for certain algebraic eigenvalue problems with square-root terms. Moreover, by exploiting the structure of the NEP we present algorithm specializations for NEP methods, although the technique also allows general solution methods for NEPs to be directly applied. The nonlinearization is illustrated in examples and simulations, with focus on problems where the eliminated equation is of much smaller size than the other two-parameter eigenvalue equation. This situation arises naturally in domain decomposition techniques. A general error analysis is also carried out under the assumption that a backward stable eigenvalue solver method is used to solve the eliminated problem, leading to the conclusion that the error is benign in this situation.


title: ensr: R Package for Simultaneous Selection of Elastic Net Tuning Parameters

abstract: Motivation: Elastic net regression is a form of penalized regression that lies between ridge and least absolute shrinkage and selection operator (LASSO) regression. The elastic net penalty is a powerful tool controlling the impact of correlated predictors and the overall complexity of generalized linear regression models. The elastic net penalty has two tuning parameters: ${\lambda}$ for the complexity and ${\alpha}$ for the compromise between LASSO and ridge. The R package glmnet provides efficient tools for fitting elastic net models and selecting ${\lambda}$ for a given ${\alpha}.$ However, glmnet does not simultaneously search the ${\lambda} - {\alpha}$ space for the optional elastic net model. Results: We built the R package ensr, elastic net searcher. enser extends the functionality of glment to search the ${\lambda} - {\alpha}$ space and identify an optimal ${\lambda} - {\alpha}$ pair. Availability: ensr is available from the Comprehensive R Archive Network at https://cran.r-project.org/package=ensr


title: Pairwise Tidal Equilibrium States and the Architecture of Extrasolar Planetary Systems

abstract: Current observations indicate that the planet formation process often produces multiple planet systems with nearly circular orbits, regular spacing, a narrow range of inclination angles, and similar planetary masses of order $m_{\rm p}\sim10M_\oplus$. Motivated by the observational sample, this paper determines the tidal equilibrium states for this class of extrasolar planetary systems. We start by considering two planet systems with fixed orbital spacing and variable mass ratios. The basic conjecture explored in this paper is that the planet formation process will act to distribute planetary masses in order to achieve a minimum energy state. The resulting minimum energy configuration --- subject to the constraint of constant angular momentum --- corresponds to circular orbits confined to a plane, with nearly equal planetary masses (as observed). We then generalize the treatment to include multiple planet systems, where each adjacent pair of planets attains its (local) tidal equilibrium state. The properties of observed planetary systems are close to those expected from this pairwise equilibrium configuration. In contrast, observed systems do not reside in a global minimum energy state. Both the equilibrium states of this paper and observed multi-planet systems, with planets of nearly equal mass on regularly spaced orbits, have an effective surface density of the form $\sigma\propto r^{-2}$, much steeper than most disk models.


title: Mapping the relativistic electron gas temperature across the sky

abstract: With increasing sensitivity, angular resolution, and frequency coverage, future cosmic microwave background (CMB) experiments like PICO will allow us to access new information about galaxy clusters through the relativistic thermal Sunyaev-Zeldovich (SZ) effect. We will be able to map the temperature of relativistic electrons across the entire sky, going well beyond a simple detection of the relativistic SZ effect by cluster stacking methods that currently define the state-of-the-art. Here, we propose a new map-based approach utilizing SZ-temperature moment expansion and constrained-ILC methods to extract electron gas temperature maps from foreground-obscured CMB data. This delivers a new independent map-based observable, the electron temperature power spectrum $T_{\rm e}^{yy}(\ell)$, which can be used to constrain cosmology in addition to the Compton-$y$ power spectrum $C_\ell^{yy}(\ell)$ . We find that PICO has the required sensitivity, resolution, and frequency coverage to accurately map the electron gas temperature of galaxy clusters across the full sky, covering a broad range of angular scales. Frequency-coverage at $\nu\gtrsim 300\,{\rm GHz}$ plays an important role for extracting the relativistic SZ effect in the presence of foregrounds. For Coma, PICO will allow us to directly reconstruct the electron temperature profile using the relativistic SZ effect. Coma's average electron temperature will be measured to $10\sigma$ significance after foreground removal using PICO. Low-angular resolution CMB experiment like LiteBIRD could achieve $2\sigma$ to $3\sigma$ measurement of the electron temperature of this largest cluster. Our analysis highlights a new spectroscopic window into the thermodynamic properties of galaxy clusters and the diffuse electron gas at large angular scales.


title: Sideband ground-state cooling of graphene with Rydberg atoms via vacuum forces

abstract: We present a scheme leading to ground-state cooling of the fundamental out-of-plane (flexural) mode of a suspended graphene sheet. Our proposal exploits the coupling between a driven Rydberg atom and the graphene resonator, which is enabled by vacuum forces. Thanks to the large atomic polarizability of the Rydberg states, the Casimir-Polder force is several orders of magnitude larger than the corresponding force achieved for atoms in the ground state. By playing with the distance between the atom and the graphene membrane, we show that resolved sideband cooling is possible, bringing the occupation number of the fundamental flexural mode down to its quantum limit. Our findings are expected to motivate physical applications of graphene at extremely low temperatures.


title: Probing discontinuous precipitation in U-Nb

abstract: U-Nb's discontinuous precipitation, $\gamma^{bcc}_{matrix} \rightarrow \alpha^{orth}_{cellular} + \gamma'^{bcc}_{cellular}$, is intriguing in the sense that it allows formation and growth of the metastable $\gamma'$ phase during the course of its occurrence. Previous attempts to explain the thermodynamic origin of U-Nb's discontinuous precipitation hypothesized that the energy of $\alpha$ forms an intermediate common tangent with the first potential of the double-well energy of $\gamma$ at the $\gamma'$ composition. While this hypothesis is eligible and consistent with the experimental observation of gradual increase in $\gamma'$ composition at increasing temperature, it is in conflict with recent experiments whose results indicated a distribution of $\gamma'$ compositions in the vicinity of 50 at\%Nb. To shed some light onto this issue, the current work investigates the origin of U-Nb's discontinuous precipitation in view of fundamental thermodynamics and kinetics, taken from the perspective of phase-field theory. It has been showed that local misfit strain tends to play a crucial role in the formation and growth the discontinuous precipitation. Depending on the magnitude of strain developed at grain boundaries, either an increasing $\gamma'$ composition or a random distribution of $\gamma'$ composition around the equiatomic value with respect to increasing temperature could be expected.


title: Classification of the finite-dimensional unitary representations of type B rational Cherednik algebras

abstract: We compare crystal combinatorics of the level $2$ Fock space with the classification of unitary representations of type $B$ rational Cherednik algebras to show that any finite-dimensional unitary irreducible representation of such an algebra is labeled by a bipartition consisting of a rectangular partition in one component and the empty partition in the other component. This is a new proof of a result that can be deduced from theorems of Montarani and Etingof-Stoica.


title: Exact Augmented Lagrangian Duality for Mixed Integer Quadratic Programming

abstract: Mixed integer quadratic programming (MIQP) is the problem of minimizing a convex quadratic function over mixed integer points in a rational polyhedron. This paper focuses on the augmented Lagrangian dual (ALD) for MIQP. ALD augments the usual Lagrangian dual with a weighted nonlinear penalty on the dualized constraints. We first prove that ALD will reach a zero duality gap asymptotically as the weight on the penalty goes to infinity under some mild conditions on the penalty function. We next show that a finite penalty weight is enough for a zero gap when we use any norm as the penalty function. Finally, we prove a polynomially bound on the weight on the penalty term to obtain a zero gap.


title: Active Learning within Constrained Environments through Imitation of an Expert Questioner

abstract: Active learning agents typically employ a query selection algorithm which solely considers the agent's learning objectives. However, this may be insufficient in more realistic human domains. This work uses imitation learning to enable an agent in a constrained environment to concurrently reason about both its internal learning goals and environmental constraints externally imposed, all within its objective function. Experiments are conducted on a concept learning task to test generalization of the proposed algorithm to different environmental conditions and analyze how time and resource constraints impact efficacy of solving the learning problem. Our findings show the environmentally-aware learning agent is able to statistically outperform all other active learners explored under most of the constrained conditions. A key implication is adaptation for active learning agents to more realistic human environments, where constraints are often externally imposed on the learner.


title: Are the planetary orbital effects of the Solar dark matter wake detectable?

abstract: Recently, a discussion about the effects of the anisotropy in the spatial density of Dark Matter in the Solar neighbourhood due to the motion of the Sun through the Galactic halo on the orbital motion of the solar system's planets and their ability to be effectively constrained by the radiotechnical observations collected by the Cassini spacecraft appeared in the literature. We show that the semilatus rectum $p$, the eccentricity $e$, the inclination $I$, the longitude of the ascending node $\Omega$, the longitude of perihelion $\varpi$, and the mean anomaly at epoch $\eta$ of a test particle of a restricted two-body system affected by the gravity of a Dark Matter wake undergo secular rates of change. In the case of Saturn, they are completely negligible, being at the $\simeq 0.1$ millimeter per century and $\simeq 0.05-2$ nanoarcseconds per century level; the current (formal) accuracy level in constraining any anomalous orbital precessions is of the order of $\simeq 0.002-2$ milliarcseconds per century for Saturn. We also numerically simulate the Earth-Saturn range signature $\Delta\rho(t)$ due to the Dark Matter wake over the same time span (2004-2017) covered by the Cassini data record. We find that it is as little as $\simeq 0.1-0.2\,\mathrm{m}$, while the existing range residuals, computed by the astronomers without modeling any Dark Matter wake effect, are at the $\simeq 30\,\mathrm{m}$ level. The local Dark Matter density $\varrho_\mathrm{DM}$ should be larger than the currently accepted value of $\varrho_\mathrm{DM}=0.018\,\mathrm{M}_\odot\,\mathrm{pc}^{-3}$ by a factor of $2.5\times 10^6$ in order to induce a geocentric Kronian range signature so large as to make it discernible in the present-day residuals.


title: A localization theorem for the planar Coulomb gas in an external field

abstract: We examine a Coulomb gas consisting of $n$ identical repelling point charges at an arbitrary inverse temperature $\beta$, subjected to a suitable external field. We prove that the gas is effectively localized to a small neighbourhood of the "droplet" -- the support of the equilibrium measure determined by the external field. More precisely, we prove that the distance between the droplet and the vacuum is with very high probability at most proportional to $$\sqrt{\dfrac {\log n}{\beta n}}.$$ This order of magnitude is known to be "tight" when $\beta=1$ and the external field is radially symmetric. In addition, we prove estimates for the one-point function in a neighbourhood of the droplet, proving in particular a fast uniform decay as one moves beyond a distance roughly of the order $\sqrt{\frac {\log n}{\beta n}}$ from the droplet.