title: Energy Storage Arbitrage in Real-Time Markets via Reinforcement Learning

abstract: In this paper, we derive a temporal arbitrage policy for storage via reinforcement learning. Real-time price arbitrage is an important source of revenue for storage units, but designing good strategies have proven to be difficult because of the highly uncertain nature of the prices. Instead of current model predictive or dynamic programming approaches, we use reinforcement learning to design an optimal arbitrage policy. This policy is learned through repeated charge and discharge actions performed by the storage unit through updating a value matrix. We design a reward function that does not only reflect the instant profit of charge/discharge decisions but also incorporate the history information. Simulation results demonstrate that our designed reward function leads to significant performance improvement compared with existing algorithms.


title: Enhancement of electrocaloric response through quantum effects

abstract: A semiclassical approach that incorporates quantum mechanical behavior of heat capacity in direct caloric effect simulations is proposed. Application of this methodology to study electrocaloric effect in prototypical ferroelectrics ${ \rm PbTiO_3 }$, and ${ \rm BaTiO_3 }$, reveals severe underestimation of electrocaloric response at lowest temperatures by classical simulations. The discrepancy between semiclassical and classical results are found to be largest in ferroics with Debye temperature exceeding the Curie point. A route to enhance electrocaloric effect by tuning the Debye temperature in composite materials is proposed.


title: MarrNet: 3D Shape Reconstruction via 2.5D Sketches

abstract: 3D object reconstruction from a single image is a highly under-determined problem, requiring strong prior knowledge of plausible 3D shapes. This introduces challenges for learning-based approaches, as 3D object annotations are scarce in real images. Previous work chose to train on synthetic data with ground truth 3D information, but suffered from domain adaptation when tested on real data. In this work, we propose MarrNet, an end-to-end trainable model that sequentially estimates 2.5D sketches and 3D object shape. Our disentangled, two-step formulation has three advantages. First, compared to full 3D shape, 2.5D sketches are much easier to be recovered from a 2D image; models that recover 2.5D sketches are also more likely to transfer from synthetic to real data. Second, for 3D reconstruction from 2.5D sketches, systems can learn purely from synthetic data. This is because we can easily render realistic 2.5D sketches without modeling object appearance variations in real images, including lighting, texture, etc. This further relieves the domain adaptation problem. Third, we derive differentiable projective functions from 3D shape to 2.5D sketches; the framework is therefore end-to-end trainable on real images, requiring no human annotations. Our model achieves state-of-the-art performance on 3D shape reconstruction.


title: EnergyNet: Energy-based Adaptive Structural Learning of Artificial Neural Network Architectures

abstract: We present E NERGY N ET , a new framework for analyzing and building artificial neural network architectures. Our approach adaptively learns the structure of the networks in an unsupervised manner. The methodology is based upon the theoretical guarantees of the energy function of restricted Boltzmann machines (RBM) of infinite number of nodes. We present experimental results to show that the final network adapts to the complexity of a given problem.


title: Integrability of the odd eight-vertex model with symmetric weights

abstract: In this paper we investigate the integrability properties of a two-state vertex model on the square lattice whose microstates at a vertex has always an odd number of incoming or outcoming arrows. This model was named odd eight-vertex model by Wu and Kunz \cite{WK} to distinguish it from the well known eight-vertex model possessing an even number of arrows orientations at each vertex. When the energy weights are invariant under arrows inversion we show that the integrable manifold of the odd eight-vertex model coincides with that of the even eight-vertex model. The form of the $\mathrm{R}$-matrix for the odd eight-vertex model is however not the same as that of the respective Lax operator. Altogether we find that these eight-vertex models give rise to a generic sheaf of $\mathrm{R}$-matrices satisfying the Yang-Baxter equations resembling intertwiner relations associated to equidimensional representations.


title: The first integral cohomology of pure mapping class groups

abstract: It is a classical result of Powell that pure mapping class groups of connected, orientable surfaces of finite type and genus at least three are perfect. In stark contrast, we construct nontrivial homomorphisms from infinite-genus mapping class groups to the integers. Moreover, we compute the first integral cohomology group associated to the pure mapping class group of any connected orientable surface of genus at least 2 in terms of the surface's simplicial homology. In order to do this, we show that pure mapping class groups of infinite-genus surfaces split as a semi-direct product.


title: Searching for Secluded Dark Matter with H.E.S.S., Fermi-LAT, and Planck

abstract: Short-lived mediators are often used to describe dark matter interactions with Standard Model particles. When the dark matter mass is heavier than the mass of the mediator, it may self-annihilate into short-lived mediators, and in some cases this might be the dominant annihilation channel. This scenario is known as secluded dark matter. We use Fermi-LAT observations of dwarf spheroidal galaxies, H.E.S.S. data from the Galactic center, and Planck measurements of the Cosmic Microwave Background to constrain secluded dark matter. We explore the interplay between these experiments and we assess the impact of the mediator mass on our bounds, an often overlooked yet very important point. In particular, we exclude pair -annihilation cross-sections greater or on the order of $\sigma v \sim 4 \times 10^{-27} {\rm cm^3/s}$ for dark matter masses around $10$~GeV and greater or on the order of $\sigma v \sim \times 10^{-25} {\rm cm^3/s}$ for dark matter masses around a TeV. Our findings supersede previous constraints which use Fermi-LAT data, and constitute the first limits on secluded dark sectors using the H.E.S.S. telescope. We also show that one can fit TeV gamma-ray observations from H.E.S.S. with secluded dark matter annihilations, with the mediator mass impacting the best-fit dark matter particle mass. Our findings indicate that any assessment of secluded dark sectors in the context of indirect detection significantly depends on the choice of the mediator mass.


title: Breaking the spell of nestedness

abstract: Mutualistic interactions, which are beneficial for both interacting species, are recurrently present in ecosystems. Observations of natural systems showed that, if we draw mutualistic relationships as binary links between species, the resulting bipartite network of interactions displays a widespread particular ordering called nestedness. On the other hand, theoretical works have shown that a nested structure has a positive impact on a number of relevant features ranging from species coexistence to a higher structural stability of communities and biodiversity. However, how nestedness emerges and what are its determinants, are still open challenges that have led to multiple debates to date. Here, we show, by applying a theoretical approach to the analysis of 167 real mutualistic networks, that nestedness is not an irreducible feature, but a consequence of the degree sequences of both guilds of the mutualistic network. Remarkably, we find that an outstanding majority of the analyzed networks does not show statistical significant nestedness. These findings point to the need of revising previous claims about the role of nestedness and might contribute to expand our understanding of how evolution shapes mutualistic interactions and communities by placing the focus on the local properties rather than on global quantities.


title: Charge pumping induced by magnetic texture dynamics in Weyl semimetals

abstract: Spin-momentum locking in Weyl semimetals correlates the orbital motion of electrons with background magnetic textures. We show here that the dynamics of a magnetic texture in a magnetic Weyl semimetal induces a pumped electric current that is free from Joule heating. This pumped current can be regarded as a Hall current induced by axial electromagnetic fields equivalent to the magnetic texture. Taking a magnetic domain wall as a test case, we demonstrate that a moving domain wall generates a pumping current corresponding to the localized charge.


title: Bidisperse and polydisperse suspension rheology at large solid fraction

abstract: At the same solid volume fraction, bidisperse and polydisperse suspensions display lower viscosities, and weaker normal stress response, compared to monodisperse suspensions. The reduction of viscosity associated with size distribution can be explained by an increase of the maximum flowable, or jamming, solid fraction ${\phi}_m$. In this work, dense suspensions are simulated under strong shearing, where thermal motion and repulsive forces are negligible, but we allow for particle contact with a mild frictional interaction with interparticle friction coefficient of ${\mu} = 0.2$. Aspects of bidisperse suspension rheology are first revisited to establish that the approach reproduces established trends; the study of bidisperse suspensions at size ratios of large to small particle radii of $\delta = 2$ to 4 shows that a minimum in the viscosity occurs for ${\zeta}$ slightly above 0.5, where $\zeta = {\phi}_l/{\phi}$ is the fraction of the total solid volume occupied by the large particles. The simple shear flows of polydisperse suspensions with truncated normal and log normal size distributions, and bidisperse suspensions which are statistically equivalent with these polydisperse cases up to third moment of the size distribution, are simulated and the rheologies are extracted. Prior work shows that such distributions with equivalent low-order moments have similar ${\phi}_m$, and the rheological behaviors of normal, log normal and bidisperse cases are shown to be in close agreement for a wide range of standard deviation in particle size, with standard correlations which are functionally dependent on ${\phi}/{\phi}_m$ providing excellent agreement with the rheology found in simulation. The close agreement of both viscosity and normal stress response between bi- and polydisperse suspensions demonstrates the controlling influence of the maximum packing fraction in noncolloidal suspensions


title: Imaging of isotropic and anisotropic conductivities from power densities in three dimensions

abstract: We present numerical reconstructions of anisotropic conductivity tensors in three dimensions, from knowledge of a finite family of power density functionals. Such a problem arises in the coupled-physics imaging modality Ultrasound Modulated Electrical Impedance Tomography for instance. We improve on the algorithms previously derived in [Bal et al, Inverse Probl Imaging (2013), pp.353-375, Monard and Bal, Comm. PDE (2013), pp.1183-1207] for both isotropic and anisotropic cases, and we address the well-known issue of vanishing determinants in particular. The algorithm is implemented and we provide numerical results that illustrate the improvements.


title: Planet Formation in Disks with Inclined Binary Companions: Can Primordial Spin-Orbit Misalignment be Produced?

abstract: Many hot Jupiter (HJ) systems have been observed to have their stellar spin axis misaligned with the planet's orbital angular momentum axis. The origin of this spin-orbit misalignment and the formation mechanism of HJs remain poorly understood. A number of recent works have suggested that gravitational interactions between host stars, protoplanetary disks, and inclined binary companions may tilt the stellar spin axis with respect to the disk's angular angular momentum axis, producing planetary systems with misaligned orbits. These previous works considered idealized disk evolution models and neglected the gravitational influence of newly formed planets. In this paper, we explore how disk photoevaporation and planet formation and migration affect the inclination evolution of planet-star-disk-binary systems. We take into account planet-disk interactions and the gravitational spin-orbit coupling between the host star and the planet. We find that the rapid depletion of the inner disk via photoevaporation reduces the excitation of stellar obliquities. Depending on the formation and migration history of HJs, the spin-orbit coupling between the star and the planet may reduces and even completely suppress the excitation of stellar obliquities. Our work constrains the formation/migration history of HJs. On the other hand, planetary systems with "cold" Jupiters or close-in super-earths may experience excitation of stellar obliquities in the presence of distant inclined companions.


title: Geometric cycles and characteristic classes of manifold bundles

abstract: We produce new cohomology for non-uniform arithmetic lattices $\Gamma<SO(p,q)$ using a technique of Millson--Raghunathan. From this, we obtain new characteristic classes of manifold bundles with fiber a closed $4k$-dimensional manifold $M$ with indefinite intersection form of signature $(p,q)$. These classes are defined on a finite cover of $BDiff(M)$ and are shown to be nontrivial for $M=\#_g(S^{2k}\times S^{2k})$. In this case, the classes produced live in degree $g$ and are independent from the algebra generated by the stable (i.e. MMM) classes. We also give an application to bundles with fiber a K3 surface.


title: Observation of "Topological" Microflares in the Solar Atmosphere

abstract: We report on observation of the unusual kind of solar microflares, presumably associated with the so-called "topological trigger" of magnetic reconnection, which was theoretically suggested long time ago by Gorbachev et al. (Sov. Ast. 1988, v.32, p.308) but has not been clearly identified so far by observations. As can be seen in pictures by Hinode SOT in CaII line, there may be a bright loop connecting two sunspots, which looks at the first sight just as a magnetic field line connecting the opposite poles. However, a closer inspection of SDO HMI magnetograms shows that the respective arc is anchored in the regions of the same polarity near the sunspot boundaries. Yet another peculiar feature is that the arc flashes almost instantly as a thin strip and then begins to expand and decay, while the typical chromospheric flares in CaII line are much wider and propagate progressively in space. A qualitative explanation of the unusual flare can be given by the above-mentioned model of topological trigger. Namely, there are such configurations of the magnetic sources on the surface of photosphere that their tiny displacements result in the formation and fast motion of a 3D null point along the arc located well above the plane of the sources. So, such a null point can quickly ignite a magnetic reconnection along the entire its trajectory. Pictorially, this can be presented as flipping the so-called two-dome magnetic-field structure (which is just the reason why such mechanism was called topological). The most important prerequisite for the development of topological instability in the two-dome structure is a cruciform arrangement of the magnetic sources in its base, and this condition is really satisfied in the case under consideration.


title: A Weak Compatibility Condition for Newest Vertex Bisection in any dimension

abstract: We define a weak compatibility condition for the Newest Vertex Bisection algorithm on simplex grids of any dimension and show that using this condition the iterative algorithm terminates successfully. Additionally we provide an O(n) algorithm that renumbers any simplex grid to fulfil this condition. Furthermore we conduct experiments to estimate the distance to the standard compatibility and also the geometric quality of the produced meshes.


title: Structure of the nucleon's low-lying excitations

abstract: A continuum approach to the three valence-quark bound-state problem in quantum field theory is used to perform a comparative study of the four lightest $(I=1/2,J^P = 1/2^\pm)$ baryon isospin-doublets in order to elucidate their structural similarities and differences. Such analyses predict the presence of nonpointlike, electromagnetically-active quark-quark (diquark) correlations within all baryons; and in these doublets, isoscalar-scalar, isovector-pseudovector, isoscalar-pseudoscalar, and vector diquarks can all play a role. In the two lightest $(1/2,1/2^+)$ doublets, however, scalar and pseudovector diquarks are overwhelmingly dominant. The associated rest-frame wave functions are largely $S$-wave in nature; and the first excited state in this $1/2^+$ channel has the appearance of a radial excitation of the ground state. The two lightest $(1/2,1/2^-)$ doublets fit a different picture: accurate estimates of their masses are obtained by retaining only pseudovector diquarks; in their rest frames, the amplitudes describing their dressed-quark cores contain roughly equal fractions of even- and odd-parity diquarks; and the associated wave functions are predominantly $P$-wave in nature, but possess measurable $S$-wave components. Moreover, the first excited state in each negative-parity channel has little of the appearance of a radial excitation. In quantum field theory, all differences between positive- and negative-parity channels must owe to chiral symmetry breaking, which is overwhelmingly dynamical in the light-quark sector. Consequently, experiments that can validate the contrasts drawn herein between the structure of the four lightest $(1/2,1/2^\pm)$ doublets will prove valuable in testing links between emergent mass generation and observable phenomena and, plausibly, thereby revealing dynamical features of confinement.


title: Measurement of the inclusive $\mathrm{t}\overline{\mathrm{t}}$ cross section in pp collisions at $\sqrt{s} =$ 5.02 TeV using final states with at least one charged lepton

abstract: The top quark pair production cross section ($\sigma_{\mathrm{t}\overline{\mathrm{t}}}$) is measured for the first time in pp collisions at a center-of-mass energy of 5.02 TeV. The data were collected by the CMS experiment at the LHC and correspond to an integrated luminosity of 27.4 pb$^{-1}$. The measurement is performed by analyzing events with at least one charged lepton. The measured cross section is $ \sigma_{\mathrm{t}\overline{\mathrm{t}}} = 69.5 \pm 6.1$ (stat) $\pm 5.6$ (syst) $\pm 1.6$ (lumi) pb, with a total relative uncertainty of 12%. The result is in agreement with the expectation from the standard model. The impact of the presented measurement on the determination of the gluon distribution function is investigated.


title: Effective uniaxial anisotropy in easy-plane materials through nanostructuring

abstract: Permanent magnet materials require a high uniaxial magneto-crystalline anisotropy. Exchange coupling between small crystallites with easy-plane anisotropy induces an effective uniaxial anisotropy if arranged accordingly. Nanostructuring of materials with easy-plane anisotropy is an alternative way to create hard-magnetic materials. The coercivity increases with decreasing feature size. The resulting coercive field is about 12 percent of the anisotropy field for a crystal size of 3.4 times the Bloch parameter.


title: Many-body localization: an introduction and selected topics

abstract: What happens in an isolated quantum system when both disorder and interactions are present? Over the recent years, the picture of a non-thermalizing phase of matter, the many-localized phase, has emerged as a stable solution. We present a basic introduction to the topic of many-body localization, using the simple example of a quantum spin chain which allows us to illustrate several of the properties of this phase. We then briefly review the current experimental research efforts probing this physics. The largest part of this review is a selection of more specialized questions, some of which are currently under active investigation. We conclude by summarizing the connections between many-body localization and quantum simulations.


title: Koopman Operator Spectrum for Random Dynamical Systems

abstract: In this paper we consider the Koopman operator associated with the discrete and the continuous time random dynamical system (RDS). We provide results that characterize the spectrum and the eigenfunctions of the stochastic Koopman operator associated with different types of linear RDS. Then we consider the RDS for which the associated Koopman operator family is a semigroup, especially those for which the generator can be determined. We define a stochastic Hankel DMD (sHankel-DMD) algorithm for numerical approximations of the spectral objects (eigenvalues, eigenfunctions) of the stochastic Koopman operator and prove its convergence. We apply the methodology to a variety of examples, revealing objects in spectral expansions of the stochastic Koopman operator and enabling model reduction.


title: On the incorporation of interval-valued fuzzy sets into the Bousi-Prolog system: declarative semantics, implementation and applications

abstract: In this paper we analyse the benefits of incorporating interval-valued fuzzy sets into the Bousi-Prolog system. A syntax, declarative semantics and im- plementation for this extension is presented and formalised. We show, by using potential applications, that fuzzy logic programming frameworks enhanced with them can correctly work together with lexical resources and ontologies in order to improve their capabilities for knowledge representation and reasoning.


title: Multiscale functional inequalities in probability: Concentration properties

abstract: In a companion article we have introduced a notion of multiscale functional inequalities for functions $X(A)$ of an ergodic stationary random field $A$ on the ambient space $\mathbb R^d$. These inequalities are multiscale weighted versions of standard Poincar\'e, covariance, and logarithmic Sobolev inequalities. They hold for all the examples of fields $A$ arising in the modelling of heterogeneous materials in the applied sciences whereas their standard versions are much more restrictive. In this contribution we first investigate the link between multiscale functional inequalities and more standard decorrelation or mixing properties of random fields. Next, we show that multiscale functional inequalities imply fine concentration properties for nonlinear functions $X(A)$. This constitutes the main stochastic ingredient to the quenched large-scale regularity theory for random elliptic operators by the second author, Neukamm, and Otto, and to the corresponding quantitative stochastic homogenization results.


title: An asymptotic analysis of distributed nonparametric methods

abstract: We investigate and compare the fundamental performance of several distributed learning methods that have been proposed recently. We do this in the context of a distributed version of the classical signal-in-Gaussian-white-noise model, which serves as a benchmark model for studying performance in this setting. The results show how the design and tuning of a distributed method can have great impact on convergence rates and validity of uncertainty quantification. Moreover, we highlight the difficulty of designing nonparametric distributed procedures that automatically adapt to smoothness.


title: Inverse stable prior for exponential models

abstract: We consider a class of non-conjugate priors as a mixing family of distributions for a parameter (e.g., Poisson or gamma rate, inverse scale or precision of an inverse-gamma, inverse variance of a normal distribution) of an exponential subclass of discrete and continuous data distributions. The prior class is proper, nonzero at the origin (unlike the gamma and inverted beta priors with shape parameter less than one and Jeffreys prior for a Poisson rate), and is easy to generate random numbers from. The prior class also provides flexibility in capturing a wide array of prior beliefs (right-skewed and left-skewed) as modulated by a bounded parameter $\alpha \in (0, 1).$ The resulting posterior family in the single-parameter case can be expressed in closed-form and is proper, making calibration unnecessary. The mixing induced by the inverse stable family results to a marginal prior distribution in the form of a generalized Mittag-Leffler function, which covers a broad array of distributional shapes. We derive closed-form expressions of some properties like the moment generating function and moments. We propose algorithms to generate samples from the posterior distribution and calculate the Bayes estimators for real data analysis. We formulate the predictive prior and posterior distributions. We test the proposed Bayes estimators using Monte Carlo simulations. The extension to hierarchical modeling and inverse variance components models is straightforward. We can find $\alpha$ (which acts like a smoothing parameter) values for which the inverse stable can provide better shrinkage than the inverted beta prior in many cases. We illustrate the methodology using a real data set, introduce a hyperprior density for the hyperparameters, and extend the model to a heavy-tailed distribution.


title: Powers of Ginibre Eigenvalues

abstract: We study the images of the complex Ginibre eigenvalues under the power maps $\pi_M: z \mapsto z^M$, for any integer $M$. We establish the following equality in distribution, $$ {\rm{Gin}}(N)^M \stackrel{d}{=} \bigcup_{k=1}^M {\rm{Gin}} (N,M,k), $$ where the so-called Power-Ginibre distributions ${\rm{Gin}}(N,M,k)$ form $M$ independent determinantal point processes. The decomposition can be extended to any radially symmetric normal matrix ensemble, and generalizes Rains' superposition theorem for the CUE and Kostlan's independence of radii to a wider class of point processes. Our proof technique also allows us to recover a result by Edelman and La Croix for the GUE. Concerning the Power-Ginibre blocks, we prove convergence of fluctuations of their smooth linear statistics to independent gaussian variables, coherent with the link between the complex Ginibre Ensemble and the Gaussian Free Field. Finally, some partial results about two-dimensional beta ensembles with radial symmetry and even parameter $\beta$ are discussed, replacing independence by conditional independence.


title: Multiscale functional inequalities in probability: Constructive approach

abstract: Consider an ergodic stationary random field $A$ on the ambient space $\mathbb R^d$. In order to establish concentration properties for nonlinear functions $Z(A)$, it is standard to appeal to functional inequalities like Poincar\'e or logarithmic Sobolev inequalities in the probability space. These inequalities are however only known to hold for a restricted class of laws (product measures, Gaussian measures with integrable covariance, or more general Gibbs measures with nicely behaved Hamiltonians). In this contribution, we introduce variants of these inequalities, which we refer to as multiscale functional inequalities and which still imply fine concentration properties, and we develop a constructive approach to such inequalities. We consider random fields that can be viewed as transformations of a product structure, for which the question is reduced to devising approximate chain rules for nonlinear random changes of variables. This approach allows us to cover most examples of random fields arising in the modelling of heterogeneous materials in the applied sciences, including Gaussian fields with arbitrary covariance function, Poisson random inclusions with (unbounded) random radii, random parking and Mat\'ern-type processes, as well as Poisson random tessellations. The obtained multiscale functional inequalities, which we primarily develop here in view of their application to concentration and to quantitative stochastic homogenization, are of independent interest.


title: Pillars of creation amongst destruction: Star formation in molecular clouds near R136 in 30 Doradus

abstract: New sensitive CO(2-1) observations of the 30 Doradus region in the Large Magellanic Cloud are presented. We identify a chain of three newly discovered molecular clouds we name KN1, KN2 and KN3 lying within 2--14 pc in projection from the young massive cluster R136 in 30 Doradus. Excited H$_2$ 2.12$\mu$m emission is spatially coincident with the molecular clouds, but ionized Br$\gamma$ emission is not. We interpret these observations as the tails of pillar-like structures whose ionized heads are pointing towards R136. Based on infrared photometry, we identify a new generation of stars forming within this structure.


title: Why is the Main Sequence of NGC 2482 So Fat?

abstract: We present the results of high resolution spectra of seven stars in the field of NGC 2482, an open star cluster of age 447 Myr. We confirm the previously published values of the radial velocity and metallicity of one giant star. This gives us confidence that another giant star is a bona fide cluster member, and that three stars significantly above the main sequence in a color-magnitude diagram are not members, on the basis of discordant radial velocities. Another star ~1.7 mag above the main sequence may or may not be a member. Its [Fe/H] value is ~0.1 dex more positive than two giant stars studied, and its radial velocity is 3-4 km/s less than that of the two giant stars, which is a significant difference if the velocity dispersion of the cluster is less than +/-1 km/s. To a large extent the width of the main sequence seems to be due to the presence of foreground and background stars in the same general direction, stars that masquerade as main sequence stars in the cluster.


title: Project Lyra: Sending a Spacecraft to 1I/'Oumuamua (former A/2017 U1), the Interstellar Asteroid

abstract: The first definitely interstellar object 1I/'Oumuamua (previously A/2017 U1) observed in our solar system provides the opportunity to directly study material from other star systems. Can such objects be intercepted? The challenge of reaching the object within a reasonable timeframe is formidable due to its high heliocentric hyperbolic excess velocity of about 26 km/s; much faster than any vehicle yet launched. This paper presents a high-level analysis of potential near-term options for a mission to 1I/'Oumuamua and potential similar objects. Launching a spacecraft to 1I/'Oumuamua in a reasonable timeframe of 5-10 years requires a hyperbolic solar system excess velocity between 33 to 76 km/s for mission durations between 30 to 5 years. Different mission durations and their velocity requirements are explored with respect to the launch date, assuming direct impulsive transfer to the intercept trajectory. For missions using a powered Jupiter flyby combined with a solar Oberth maneuver using solid rocket boosters and Parker Solar Probe heat shield technology, a Falcon Heavy-class launcher would be able to launch a spacecraft of dozens of kilograms towards 1I/'Oumuamua, if launched in 2021. An additional Saturn flyby would allow for the launch of a New Horizons-class spacecraft. Further technology options are outlined, ranging from electric propulsion, and more advanced options such as laser electric propulsion, and solar and laser sails. To maximize science return decelerating the spacecraft at 'Oumuamua is highly desirable, due to the minimal science return from a hyper-velocity encounter. Electric and magnetic sails could be used for this purpose. It is concluded that although reaching the object is challenging, there seem to be feasible options based on current and near-term technology.


title: Learning Deep Mean Field Games for Modeling Large Population Behavior

abstract: We consider the problem of representing collective behavior of large populations and predicting the evolution of a population distribution over a discrete state space. A discrete time mean field game (MFG) is motivated as an interpretable model founded on game theory for understanding the aggregate effect of individual actions and predicting the temporal evolution of population distributions. We achieve a synthesis of MFG and Markov decision processes (MDP) by showing that a special MFG is reducible to an MDP. This enables us to broaden the scope of mean field game theory and infer MFG models of large real-world systems via deep inverse reinforcement learning. Our method learns both the reward function and forward dynamics of an MFG from real data, and we report the first empirical test of a mean field game model of a real-world social media population.


title: Testing for Shock-Heated X-ray Gas Around Compact Steep Spectrum Radio Galaxies

abstract: We present Chandra and XMM-Newton X-ray, VLA radio, and optical observations of three candidate Compact Steep Spectrum (CSS) radio galaxies. CSS sources are galactic scale and are presumably driving a shock through the ISM of their host galaxy. B3 1445+410 is a low excitation emission line CSS radio galaxy with possibly a hybrid Fanaroff-Riley FRI/II (or Fat Double) radio morphology. The Chandra observations reveal a point-like source which is well fit with a power law consistent with emission from a Doppler boosted core. 3C 268.3 is a CSS broad line radio galaxy whose Chandra data are consistent spatially with a point source centered on the nucleus and spectrally with a double power-law model. PKS B1017-325 is a low excitation emission line radio galaxy with a bent double radio morphology. While from our new spectroscopic redshift, PKS B1017-325 falls outside the formal definition of a CSS, the XMNM-Newton observations are consistent with ISM emission with either a contribution from hot shocked gas or non-thermal jet emission. We compile selected radio and X-ray properties of the nine bona fide CSS radio galaxies with X-ray detections so far. We find that 2/9 show X-ray spectroscopic evidence for hot shocked gas. We note that the counts in the sources are low and the properties of the 2 sources with evidence for hot shocked gas are typical of the other CSS radio galaxies. We suggest that hot shocked gas may be typical of CSS radio galaxies due to their propagation through their host galaxies.


title: Multiscale second-order Poincar\'e inequalities in probability

abstract: Consider an ergodic stationary random field $A$ on the ambient space $\mathbb R^d$. In a companion article, we introduced the notion of multiscale (first-order) functional inequalities, which extend standard functional inequalities like Poincar\'e, covariance, and logarithmic Sobolev inequalities in the probability space, while still ensuring strong concentration properties. We also developed a constructive approach to these functional inequalities, proving their validity for prototypical examples including Gaussian fields, Poisson random tessellations, and random sequential adsorption (RSA) models, which do not satisfy standard functional inequalities. In the present contribution, we turn to second-order Poincar\'e inequalities \`a la Chatterjee: while first-order inequalities quantify the distance to constants for nonlinear functions $Z(A)$ in terms of their local dependence on the random field $A$, second-order inequalities quantify their distance to normality. For the above-mentioned examples, we prove the validity of suitable multiscale second-order Poincar\'e inequalities. In particular, applied to RSA models, these functional inequalities allow to complete and improve previous results by Schreiber, Penrose, and Yukich on the jamming limit, and to propose and fully analyze a more efficient algorithm to approximate the latter.


title: Micromagnetic simulation study of a disordered model for one-dimensional granular perovskite manganite oxide nanostructures

abstract: Chemical techniques are an efficient method to synthesize one-dimensional perovskite manganite oxide nanostructures with a granular morphology, that is, formed by arrays of monodomain magnetic nanoparticles. Integrating the stochastic Landau-Lifshitz-Gilbert equation, we simulate the dynamics of a simple disordered model for such materials that only takes into account the morphological characteristics of their nanograins. We show that it is possible to describe reasonably well experimental hysteresis loops reported in the literature for single La_0.67Ca_0.33MnO_3 nanotubes and powders of these nanostructures, simulating small systems consisting of only 100 nanoparticles.


title: Yoneda Lemma for Simplicial Spaces

abstract: We study the Yoneda lemma for arbitrary simplicial spaces. We do that by introducing left fibrations of simplicial spaces and and studying its associated model structure, the covariant model structure. In particular, we prove a recognition principle for covariant equivalences over an arbitrary simplicial space and invariance of the covariant model structure with respect to complete Segal space equivalences.


title: Statistical properties of galactic CMB foregrounds: dust and synchrotron

abstract: Recent Planck observations have revealed some of the important statistical properties of synchrotron and dust polarisation, namely, the $B$ to $E$ mode power and temperature-$E$ (TE) mode cross-correlation. In this paper, we extend our analysis in Kandel et al. (2017) that studied $B$ to $E$ mode power ratio for polarised dust emission to include TE cross-correlation and develop an analogous formalism for synchrotron signal, all using a realistic model of magnetohydrodynamical (MHD) turbulence. Our results suggest that the Planck results for both synchrotron and dust polarisation can be understood if the turbulence in the Galaxy is sufficiently sub-Alfv\'enic. We also show how $B$ to $E$ ratio as well as the TE cross-correlation can be used to study media magnetisation, compressibility, and level of density-magnetic field correlation.


title: Accessing Masses Beyond Collider Reach - in EFT

abstract: We demonstrate how masses of new states, beyond direct experimental reach, could nevertheless be extracted in the framework of effective field theory (EFT), given broad assumptions on the underlying UV physics, however not sticking to a particular setup nor fixing the coupling strength of the scenario. The flat direction in the $g_\ast$ vs. $M$ plane is lifted by studying correlations between observables that depend on operators with a different $\hbar$ scaling. We discuss the remaining model dependence (which is inherent even in the EFT approach to have control over the error due to the truncation of the power series), as well as prospects to test paradigms of UV physics. In particular, we provide an assessment of which correlations are best suited regarding sensitivity, give an overview of possible/expected effects in different observables, and demonstrate how perturbativity and direct search limits corner possible patterns of deviations from the SM in a given UV paradigm.


title: Shallow Transits - Deep Learning I: Feasibility Study of Deep Learning to Detect Periodic Transits of Exoplanets

abstract: Transits of habitable planets around solar-like stars are expected to be shallow, and to have long periods, which means low information content. The current bottleneck in the detection of such transits is caused in large part by the presence of red (correlated) noise in the light curves obtained from the dedicated space telescopes. Based on the groundbreaking results deep learning achieves in many signal and image processing applications, we propose to use deep neural networks to solve this problem. We present a feasibility study, in which we applied a convolutional neural network on a simulated training set. The training set comprised light curves received from a hypothetical high-cadence space-based telescope. We simulated the red noise by using Gaussian Processes with a wide variety of hyperparameters. We then tested the network on a completely different test set simulated in the same way. Our study proves that very difficult cases can indeed be detected. Furthermore, we show how detection trends can be studied, and detection biases be quantified. We have also checked the robustness of the neural-network performance against practical artifacts such as outliers and discontinuities, which are known to affect space-based high-cadence light curves. Future work will allow us to use the neural networks to characterize the transit model and identify individual transits. This new approach will certainly be an indispensable tool for the detection of habitable planets in the future planet-detection space missions such as PLATO.


title: Dynamics of a Rydberg hydrogen atom near a topologically insulating surface

abstract: We investigate the classical dynamics of a Rydberg hydrogen atom near the surface of a planar topological insulator. The system is described by a Hamiltonian consisting of the free-hydrogen part and the hydrogen-surface potential. The latter includes the interactions between the electron and both image electric charges and image magnetic monopoles. Owing to the axial symmetry, the $z$ component of angular momentum $l_{z}$ is conserved. Here we consider the $l_{z} = 0$ case. The structure of the phase space is explored extensively by means of numerical techniques and Poincar\'{e} surfaces of section for the recently discovered topological insulator TlBiSe$_{2}$. The phase space of the system is separated into regions of vibrational and rotational motion. We show that vibrational-rotational-vibrational type transitions can be tuned with the topological magnetoelectric polarizability.


title: Computing exact minimum cuts without knowing the graph

abstract: We give query-efficient algorithms for the global min-cut and the s-t cut problem in unweighted, undirected graphs. Our oracle model is inspired by the submodular function minimization problem: on query $S \subset V$, the oracle returns the size of the cut between $S$ and $V \setminus S$. We provide algorithms computing an exact minimum $s$-$t$ cut in $G$ with $\tilde{O}(n^{5/3})$ queries, and computing an exact global minimum cut of $G$ with only $\tilde{O}(n)$ queries (while learning the graph requires $\tilde{\Theta}(n^2)$ queries).


title: Notes on the design of experiments and beam diagnostics with synchrotron light detected by a gated photomultiplier for the Fermilab superconducting electron linac and for the Integrable Optics Test Accelerator (IOTA)

abstract: We outline the design of beam experiments for the electron linac at the Fermilab Accelerator Science and Technology (FAST) facility and for the Integrable Optics Test Accelerator (IOTA), based on synchrotron light emitted by the electrons in bend dipoles, detected with gated microchannel-plate photomultipliers (MCP-PMTs). The system can be used both for beam diagnostics (e.g., beam intensity with full dynamic range, turn-by-turn beam vibrations, etc.) and for scientific experiments, such as the direct observation of the time structure of the radiation emitted by single electrons in a storage ring. The similarity between photon pulses and spectrum at the downstream end of the electron linac and in the IOTA ring allows one to test the apparatus during commissioning of the linac.


title: Learning Markov Chain in Unordered Dataset

abstract: The assumption that data samples are independently identically distributed is the backbone of many learning algorithms. Nevertheless, datasets often exhibit rich structure in practice, and we argue that there exist some unknown order within the data instances. In this technical report, we introduce OrderNet that can be used to extract the order of data instances in an unsupervised way. By assuming that the instances are sampled from a Markov chain, our goal is to learn the transitional operator of the underlying Markov chain, as well as the order by maximizing the generation probability under all possible data permutations. Specifically, we use neural network as a compact and soft lookup table to approximate the possibly huge, but discrete transition matrix. This strategy allows us to amortize the space complexity with a single model. Furthermore, this simple and compact representation also provides a short description to the dataset and generalizes to unseen instances as well. To ensure that the learned Markov chain is ergodic, we propose a greedy batch-wise permutation scheme that allows fast training. Empirically, we show that OrderNet is able to discover an order among data instances. We also extend the proposed OrderNet to one-shot recognition task and demonstrate favorable results.


title: A Small-Scale Modification to the Lensing Kernel

abstract: Calculations of the Cosmic Microwave Background lensing power implemented into the standard cosmological codes such as CAMB and CLASS usually treat the surface of last scatter as an infinitely thin screen. However, since the CMB anisotropies are smoothed out on scales smaller than the diffusion length due to the effect of Silk damping, the photons which carry information about the small-scale density distribution come from slightly earlier times than the standard recombination time. The dominant effect is the scale dependence of the mean redshift associated with the fluctuations during recombination. We find that fluctuations at $k = 0.01 {\rm \ Mpc^{-1}}$ come from a characteristic redshift of $z \approx 1090$, while fluctuations at $k = 0.3 {\rm \ Mpc^{-1}}$ come from a characteristic redshift of $z \approx 1130$. We then estimate the corrections to the lensing kernel and the related power spectra due to this effect. We conclude that neglecting it would result in a deviation from the true value of the lensing kernel at the half percent level at small CMB scales. For an all-sky, noise-free experiment, this corresponds to a $\sim 0.1 \sigma$ shift in the observed temperature power spectrum on small scales ($ 2500 \lesssim l \lesssim 4000$).


title: On weak rigidity and weakly mixing enveloping semigroups

abstract: The question we deal with here, which was presented to us by Joe Auslander and Anima Nagar, is whether there is a nontrivial cascade (X,T) whose enveloping semigroup, as a dynamical system, is topologically weakly mixing (WM). After an introductory section recalling some definitions and classic results, we establish some necessary conditions for this to happen, and in the final section we show, using Ratner's theory, that the enveloping semigroup of the `time one map' of a classical horocycle flow is weakly mixing.


title: Penalized Orthogonal Iteration for Sparse Estimation of Generalized Eigenvalue Problem

abstract: We propose a new algorithm for sparse estimation of eigenvectors in generalized eigenvalue problems (GEP). The GEP arises in a number of modern data-analytic situations and statistical methods, including principal component analysis (PCA), multiclass linear discriminant analysis (LDA), canonical correlation analysis (CCA), sufficient dimension reduction (SDR) and invariant co-ordinate selection. We propose to modify the standard generalized orthogonal iteration with a sparsity-inducing penalty for the eigenvectors. To achieve this goal, we generalize the equation-solving step of orthogonal iteration to a penalized convex optimization problem. The resulting algorithm, called penalized orthogonal iteration, provides accurate estimation of the true eigenspace, when it is sparse. Also proposed is a computationally more efficient alternative, which works well for PCA and LDA problems. Numerical studies reveal that the proposed algorithms are competitive, and that our tuning procedure works well. We demonstrate applications of the proposed algorithm to obtain sparse estimates for PCA, multiclass LDA, CCA and SDR. Supplementary materials are available online.


title: Kinetic Monte Carlo simulations of the grain-surface back-diffusion effect

abstract: Back-diffusion is the phenomenon by which random walkers revisit binding sites on a lattice. This phenomenon must occur on interstellar dust particles, slowing down dust-grain reactions, but it is not accounted for by standard rate-equation models. Microscopic kinetic Monte Carlo models have been used to investigate the effect of back-diffusion on reaction rates on interstellar dust grains. Grain morphology, size, and grain-surface coverage were varied and the effects of these variations on the magnitude of the back-diffusion effect were studied for the simple H+H reaction system. This back-diffusion effect is seen to reduce reaction rates by a maximum factor of ~5 for the canonical grain of 10$^6$ binding sites.The resulting data were fit to logarithmic functions that can be used to reproduce the effects of back-diffusion in rate-equation models.


title: Curve Reconstruction via the Global Statistics of Natural Curves

abstract: Reconstructing the missing parts of a curve has been the subject of much computational research, with applications in image inpainting, object synthesis, etc. Different approaches for solving that problem are typically based on processes that seek visually pleasing or perceptually plausible completions. In this work we focus on reconstructing the underlying physically likely shape by utilizing the global statistics of natural curves. More specifically, we develop a reconstruction model that seeks the mean physical curve for a given inducer configuration. This simple model is both straightforward to compute and it is receptive to diverse additional information, but it requires enough samples for all curve configurations, a practical requirement that limits its effective utilization. To address this practical issue we explore and exploit statistical geometrical properties of natural curves, and in particular, we show that in many cases the mean curve is scale invariant and oftentimes it is extensible. This, in turn, allows to boost the number of examples and thus the robustness of the statistics and its applicability. The reconstruction results are not only more physically plausible but they also lead to important insights on the reconstruction problem, including an elegant explanation why certain inducer configurations are more likely to yield consistent perceptual completions than others.


title: Global 21-cm signal extraction from foreground and instrumental effects I: Pattern recognition framework for separation using training sets

abstract: The sky-averaged (global) highly redshifted 21-cm spectrum from neutral hydrogen is expected to appear in the VHF range of $\sim20-200$ MHz and its spectral shape and strength are determined by the heating properties of the first stars and black holes, by the nature and duration of reionization, and by the presence or absence of exotic physics. Measurements of the global signal would therefore provide us with a wealth of astrophysical and cosmological knowledge. However, the signal has not yet been detected because it must be seen through strong foregrounds weighted by a large beam, instrumental calibration errors, and ionospheric, ground and radio-frequency-interference effects, which we collectively refer to as "systematics". Here, we present a signal extraction method for global signal experiments which uses Singular Value Decomposition (SVD) of "training sets" to produce systematics basis functions specifically suited to each observation. Instead of requiring precise absolute knowledge of the systematics, our method effectively requires precise knowledge of how the systematics can vary. After calculating eigenmodes for the signal and systematics, we perform a weighted least square fit of the corresponding coefficients and select the number of modes to include by minimizing an information criterion. We compare the performance of the signal extraction when minimizing various information criteria and find that minimizing the Deviance Information Criterion (DIC) most consistently yields unbiased fits. The methods used here are built into our widely applicable, publicly available Python package, $\texttt{pylinex}$, which analytically calculates constraints on signals and systematics from given data, errors, and training sets.


title: The Sufficient and Necessary Condition for the Identifiability and Estimability of the DINA Model

abstract: Cognitive Diagnosis Models (CDMs) are useful statistical tools in cognitive diagnosis assessment. However, as many other latent variable models, the CDMs often suffer from the non-identifiability issue. This work gives the sufficient and necessary condition for the identifiability of the basic DINA model, which not only addresses the open problem in Xu and Zhang (2016, Psychomatrika, 81:625-649) on the minimal requirement for the identifiability, but also sheds light on the study of more general CDMs, which often cover the DINA as a submodel. Moreover, we show the identifiability condition ensures the consistent estimation of the model parameters. From a practical perspective, the identifiability condition only depends on the Q-matrix structure and is easy to verify, which would provide a guideline for designing statistically valid and estimable cognitive diagnosis tests.


title: Collinear Spin-density-wave Order and Anisotropic Spin Fluctuations in the Frustrated $J_1$--$J_2$ Chain Magnet NaCuMoO$_4$(OH)

abstract: The phase diagram of the quasi-one-dimensional magnet NaCuMoO$_4$(OH) is established through single-crystal NMR and heat-capacity measurements. The $^{23}$Na and $^1$H NMR experiments indicate a spiral and a collinear spin-density-wave (SDW) order below and above $B_c$ = 1.5-1.8 T, respectively. Moreover, in the paramagnetic state above the SDW transition temperature, the nuclear spin-lattice relaxation rate $1/T_1$ indicates anisotropic spin fluctuations that have gapped excitations in the transverse spectrum but gapless ones in the longitudinal spectrum. These static and dynamic properties are well described by a theoretical model assuming quasi-one-dimensional chains with competing ferromagnetic nearest-neighbor interactions $J_1$ and antiferromagnetic next-nearest-neighbor interactions $J_2$ ($J_1$-$J_2$ chains). Because of the excellent crystal quality and good one dimensionality, NaCuMoO$_4$(OH) is a promising compound to elucidate the unique physics of the frustrated $J_1$-$J_2$ chain.


title: Chemical Study of the Metal-rich Globular Cluster NGC 5927

abstract: Globular Clusters (GCs) are natural laboratories where stellar and chemical evolution can be studied in detail. In addition, their chemical patterns and kinematics can tell us wich Galactic structure (Disk, Bulge, Halo or extragalactic) the cluster belongs to. NGC 5927 is one of most metal-rich GCs in the Galaxy and its kinematics links it to the Thick Disk. We present abundance analysis based on high resolution spectra of 7 giant stars. The data were obtained using FLAMES/UVES spectrograph mounted on UT2 telescope of the European Southern Observatory. The principal motivation of this work is to perform a wide and detailed chemical abundance analysis of the cluster and look for possible Multiple Populations (MPs). We determined stellar parameters and measured 22 elements corresponding to light (Na, Al), alpha (O, Mg, Si, Ca, Ti), iron-peak (Sc, V, Cr, Mn, Fe, Co, Ni, Cu, Zn) and heavy elements (Y, Zr, Ba, Ce, Nd, Eu). We found a mean iron content of [Fe/H]=-0.47 $\pm$0.02 (error on the mean). We confirm the existence of MPs in this GC with an O-Na anti-correlation, and moderate spread in Al abundances. We estimate a mean [$\alpha$/Fe]=0.25 $\pm$0.08. Iron-peak elements shows no significant spread. The [Ba/Eu] ratios indicate a predominant contribution from SNeII for the formation of the cluster.


title: Spectral analysis for the Majorana Demonstrator experiment

abstract: The MAJORANA DEMONSTRATOR is an experiment constructed to search for neutrinoless double-beta decays in germanium-76 and to demonstrate the feasibility to deploy a ton-scale experiment in a phased and modular fashion. It consists of two modular arrays of natural and $^{76}\textrm{Ge}$-enriched germanium detectors totaling 44.1 kg (29.7 kg enriched detectors), located at the 4850' level of the Sanford Underground Research Facility in Lead, South Dakota, USA. Data taken with this setup since summer 2015 at different construction stages of the experiment show a clear reduction of the observed background index around the ROI for $0\nu\beta\beta$-decay search due to improvements in shielding. We discuss the statistical approaches to search for a $0\nu\beta\beta$-signal and derive the physics sensitivity for an expected exposure of $10\,\textrm{kg}{\cdot}\textrm{y}$ from enriched detectors using a profile likelihood based hypothesis test in combination with toy Monte Carlo data.


title: R(QPS-Serena) and R(QPS-Serenade): Two Novel Augmenting-Path Based Algorithms for Computing Approximate Maximum Weight Matching

abstract: In this addendum, we show that the switching algorithm QPS-SERENA can be converted R(QPS-SERENA), an algorithm for computing approximate Maximum Weight Matching (MWM). Empirically, R(QPS-SERENA) computes $(1-\epsilon)$-MWM within linear time (with respect to the number of edges $N^2$) for any fixed $\epsilon\in (0,1)$, for complete bipartite graphs with {\it i.i.d.} uniform edge weight distributions. This efficacy matches that of the state-of-art solution, although we so far cannot prove any theoretical guarantees on the time complexities needed to attain a certain approximation ratio. Then, we have similarly converted QPS-SERENADE to R(QPS-SERENADE), which empirically should output $(1-\epsilon)$-MWM within only $O(N \log N)$ time for the same type of complete bipartite graphs as described above.


title: Multi-stage Suture Detection for Robot Assisted Anastomosis based on Deep Learning

abstract: In robotic surgery, task automation and learning from demonstration combined with human supervision is an emerging trend for many new surgical robot platforms. One such task is automated anastomosis, which requires bimanual needle handling and suture detection. Due to the complexity of the surgical environment and varying patient anatomies, reliable suture detection is difficult, which is further complicated by occlusion and thread topologies. In this paper, we propose a multi-stage framework for suture thread detection based on deep learning. Fully convolutional neural networks are used to obtain the initial detection and the overlapping status of suture thread, which are later fused with the original image to learn a gradient road map of the thread. Based on the gradient road map, multiple segments of the thread are extracted and linked to form the whole thread using a curvilinear structure detector. Experiments on two different types of sutures demonstrate the accuracy of the proposed framework.


title: Deep D-bar: Real time Electrical Impedance Tomography Imaging with Deep Neural Networks

abstract: The mathematical problem for Electrical Impedance Tomography (EIT) is a highly nonlinear ill-posed inverse problem requiring carefully designed reconstruction procedures to ensure reliable image generation. D-bar methods are based on a rigorous mathematical analysis and provide robust direct reconstructions by using a low-pass filtering of the associated nonlinear Fourier data. Similarly to low-pass filtering of linear Fourier data, only using low frequencies in the image recovery process results in blurred images lacking sharp features such as clear organ boundaries. Convolutional Neural Networks provide a powerful framework for post-processing such convolved direct reconstructions. In this study, we demonstrate that these CNN techniques lead to sharp and reliable reconstructions even for the highly nonlinear inverse problem of EIT. The network is trained on data sets of simulated examples and then applied to experimental data without the need to perform an additional transfer training. Results for absolute EIT images are presented using experimental EIT data from the ACT4 and KIT4 EIT systems.


title: Covariant entropic dynamics: from path independence to Hamiltonians and quantum theory

abstract: Entropic Dynamics (ED) is an inference-based framework that seeks to construct dynamical theories of physics without assuming the conventional formalism --- the Hamiltonians, Poisson brackets, Hilbert spaces, etc. --- typically associated with physics. In this work we develop an ED of scalar fields that is both quantum and manifestly covariant. The framework for accomplishing this is inspired by the covariant methods of Dirac, Teitelboim, and Kuchar. In addition to the ostensible result of a covariant quantum ED, we also show how the covariance requirement of path independence proposed by Teitelboim is sufficient for a derivation of Hamiltonian dynamics and also provides a proof of uniqueness for the quantum potential that leads to quantum theory.


title: Arctic Curves in path models from the Tangent Method

abstract: Recently, Colomo and Sportiello introduced a powerful method, known as the \emph{Tangent Method}, for computing the arctic curve in statistical models which have a (non- or weakly-) intersecting lattice path formulation. We apply the Tangent Method to compute arctic curves in various models: the domino tiling of the Aztec diamond for which we recover the celebrated arctic circle; a model of Dyck paths equivalent to the rhombus tiling of a half-hexagon for which we find an arctic half-ellipse; another rhombus tiling model with an arctic parabola; the vertically symmetric alternating sign matrices, where we find the same arctic curve as for unconstrained alternating sign matrices. The latter case involves lattice paths that are non-intersecting but that are allowed to have osculating contact points, for which the Tangent Method was argued to still apply. For each problem we estimate the large size asymptotics of a certain one-point function using LU decomposition of the corresponding Gessel-Viennot matrices, and a reformulation of the result amenable to asymptotic analysis.

categories: math-ph cond-mat.stat-mech math.CO math.MP


title: Quick X-ray Reflectivity using Monochromatic Synchrotron Radiation for Time-Resolved Applications

abstract: We describe and demonstrate a new technique for parallel collection of x-ray reflectivity data, compatible with monochromatic synchrotron radiation and flat substrates, and apply it to the in-situ observation of thin-film growth. The method employs a polycapillary x-ray optic to produce a converging fan of radiation incident onto a sample surface, and an area detector to simultaneously collect the XRR signal over an angular range matching that of the incident fan. Factors determining the range and instrumental resolution of the technique in reciprocal space, in addition to the signal-to-background ratio, are described in detail. Our particular implementation records $\sim$5\degree{} in $2\theta$ and resolves Kiessig fringes from samples with layer thicknesses ranging from 3 to 76 nm. Finally, we illustrate the value of this approach by showing in-situ XRR data obtained with 100 ms time resolution during the growth of epitaxial \ce{La_{0.7}Sr_{0.3}MnO3} on \ce{SrTiO3} by Pulsed Laser Deposition (PLD) at the Cornell High Energy Synchrotron Source (CHESS). Compared to prior methods for parallel XRR data collection, ours is the first method that is both sample-independent and compatible with highly collimated, monochromatic radiation typical of 3rd generation synchrotron sources. Further, our technique can be readily adapted for use with laboratory-based sources.


title: Tunneling Spectroscopy of Quantum Hall States in Bilayer Graphene PN Networks

abstract: Two dimensional electronic systems under strong magnetic field form quantum Hall (QH) edge states, which propagate along the boundary of a sample with a dissipationless current. Engineering the pathway of these propagating one-dimensional chiral modes enables the investigation of quantum tunneling between adjacent QH states. Here, we report tunneling transport in spatially controlled networks of QH edge states in bilayer graphene. We observe resonant tunneling between co-propagating QH edges across barriers formed by electrically defining incompressible strips. Employing spectroscopic tunneling measurements enable the direct probing of the spatial profile, density of states, and compressibility of the QH edge states with an unprecedented energy resolution. The capability to engineer the QH edge network provides an opportunity to build future quantum electronic devices supported by rich underline physics.


title: Every Binary Code Can Be Realized by Convex Sets

abstract: Much work has been done to identify which binary codes can be represented by collections of open convex or closed convex sets. While not all binary codes can be realized by such sets, here we prove that every binary code can be realized by convex sets when there is no restriction on whether the sets are all open or closed. We achieve this by constructing a convex realization for an arbitrary code with $k$ nonempty codewords in $\mathbb{R}^{k-1}$. This result justifies the usual restriction of the definition of convex neural codes to include only those that can be realized by receptive fields that are all either open convex or closed convex. We also show that the dimension of our construction cannot in general be lowered.


title: Modulation instability of lower hybrid waves leading to cusp solitons in electron-positron-ion Thomas Fermi plasma

abstract: Following the idea of three wave resonant interactions of lower hybrid waves it is shown that quantum -modified lower hybrid (QLH) wave in electron positron ion plasma with spatial dispersion can decay into another QLH wave ( where electron and positrons are activated whereas ions remain in the background) and another ultra low frequency QULH (where ions are mobile). Quantum effects like Bohm potential, exchange correlation and Fermi pressure on the lower hybrid wave significantly reshaped the dispersion properties of lower hybrid waves. Later a set of nonlinear Zakharov equations have been derived to consider the formation of QLH wave solitons with the nonlinear contribution coming from the QLH waves. Further, modulational instability of the lower hybrid wave solitons is investigated and consequently it's growth rates are examined for different limiting cases. Since the growth rate associated with the three-wave resonant interaction are generally smaller than the growth associated with the modulational instability, therefore only latter have been investigated. Soliton solutions from the set of coupled Zakharov and NLS equations in the quasi-stationary regime have been studied. Ordinary solitons are attribute of nonlinearity whereas a cusp soliton solution featured by nonlocal nonlinearity have also studied. Such an approach to lower hybrid waves and cusp solitons study in Fermi gas comprising electron positron and ions is new and important. The general results obtained in this quantum plasma theory will have widespread applicability, particularly for processes in high energy plasma-laser interactions set for laboratory astrophysics and solid state plasmas.


title: Instability of solitons - revisited, I: the critical generalized KdV equation

abstract: We revisit the phenomenon of instability of solitons in the generalized Korteweg-de Vries equation, $u_t + \partial_x(u_{xx} + u^p) = 0$. It is known that solitons are unstable for nonlinearities $p \geq 5$, with the critical power $p=5$ being the most challenging case to handle. The critical case was proved by Martel-Merle in [11], where the authors crucially relied on the pointwise decay estimates of the linear KdV flow. In this paper, we show simplified approaches to obtain the instability of solitons via truncation and monotonicity, which can be also useful for other KdV-type equations.


title: Optimal Purchasing Policy For Mean-Reverting Items in a Finite Horizon

abstract: In this research we study a finite horizon optimal purchasing problem for items with a mean reverting price process. Under this model a fixed amount of identical items are bought under a given deadline, with the objective of minimizing the cost of their purchasing price and associated holding cost. We prove that the optimal policy for minimizing the expected cost is in the form of a time-variant threshold function that defines the price region in which a purchasing decision is optimal. We construct the threshold function with a simple algorithm that is based on a dynamic programming procedure that calculates the cost function. As part of this procedure we also introduce explicit equations for the crossing time probability and the overshoot expectation of the price process with respect to the threshold function. The characteristics and dynamics of the threshold function are analyzed with respect to time, holding cost, and different parameters of the price process, and yields meaningful practical insights, as well as theoretical insights.


title: Deep Hyperspherical Learning

abstract: Convolution as inner product has been the founding basis of convolutional neural networks (CNNs) and the key to end-to-end visual representation learning. Benefiting from deeper architectures, recent CNNs have demonstrated increasingly strong representation abilities. Despite such improvement, the increased depth and larger parameter space have also led to challenges in properly training a network. In light of such challenges, we propose hyperspherical convolution (SphereConv), a novel learning framework that gives angular representations on hyperspheres. We introduce SphereNet, deep hyperspherical convolution networks that are distinct from conventional inner product based convolutional networks. In particular, SphereNet adopts SphereConv as its basic convolution operator and is supervised by generalized angular softmax loss - a natural loss formulation under SphereConv. We show that SphereNet can effectively encode discriminative representation and alleviate training difficulty, leading to easier optimization, faster convergence and comparable (even better) classification accuracy over convolutional counterparts. We also provide some theoretical insights for the advantages of learning on hyperspheres. In addition, we introduce the learnable SphereConv, i.e., a natural improvement over prefixed SphereConv, and SphereNorm, i.e., hyperspherical learning as a normalization method. Experiments have verified our conclusions.


title: Learning Credible Models

abstract: In many settings, it is important that a model be capable of providing reasons for its predictions (i.e., the model must be interpretable). However, the model's reasoning may not conform with well-established knowledge. In such cases, while interpretable, the model lacks \textit{credibility}. In this work, we formally define credibility in the linear setting and focus on techniques for learning models that are both accurate and credible. In particular, we propose a regularization penalty, expert yielded estimates (EYE), that incorporates expert knowledge about well-known relationships among covariates and the outcome of interest. We give both theoretical and empirical results comparing our proposed method to several other regularization techniques. Across a range of settings, experiments on both synthetic and real data show that models learned using the EYE penalty are significantly more credible than those learned using other penalties. Applied to a large-scale patient risk stratification task, our proposed technique results in a model whose top features overlap significantly with known clinical risk factors, while still achieving good predictive performance.


title: What are we assessing? An analysis of the most common concept inventories in physics

abstract: Assessing student learning is a cornerstone of educational practice. Standardized assessments have played a significant role in the development of instruction, curricula, and educational spaces in college physics. However, the use of these assessments to evaluate student learning is only productive if they continue to align with our learning goals. Recently, there have been calls to elevate the process of science ("scientific practices") to the same level of importance and emphasis as the concepts of physics ("core ideas" and "crosscutting concepts"). We use the recently developed 3D-LAP to investigate how well the most commonly used standardized assessments in introductory physics (i.e. concept inventories) align with this modern understanding of physics education's learning goals. We find that many of the questions on concept inventories do elicit evidence of student understanding of core ideas, but do not have the potential to elicit evidence of scientific practices or crosscutting concepts. Furthermore, we find that the individual scientific practices and crosscutting concepts that are assessed using these tools are limited to a select few. We discuss the implications that these findings have on designing and testing curricula and instruction both in the past and for the future.


title: Solution processable and optically switchable 1D photonic structures

abstract: In this work, we report the first demonstration of a solution processable, optically switchable 1D photonic crystal by implementing phototunable doped metal oxide nanocrystals. The resulting device structure shows bi-photonic response with the photonic bandgap covering the visible spectral range and the plasmon resonance of the doped metal oxide the near infrared. By means of a facile photodoping process, we tuned the plasmonic response and switched effectively the optical properties of the photonic crystal, translating the effect from the near infrared to the visible. The ultrafast bandgap pumping induces a signal change in the region of the photonic stopband, with recovery times of several picoseconds, providing a step toward the ultrafast optical switching. Optical modeling uncovers the importance to understand largely the variations of the dielectric function of the photodoped material, and variations in the high frequency region of the Drude response are responsible for the strong switching in the visible after photodoping. Our device configuration offers unprecedented tunablility due to flexibility in device design, cover wavelength ranges from the visible to the near infrared. Our findings indicate a new protocol to modify the optical response of photonic devices by optical triggers only.


title: Chromatic numbers of spheres

abstract: The chromatic number of a subset of Euclidean space is the minimal number of colors sufficient for coloring all points of this subset in such a way that any two points at the distance 1 have different colors. We give new upper bounds for chromatic numbers of spheres.


title: Long-Term Online Smoothing Prediction Using Expert Advice

abstract: For the prediction with experts' advice setting, we construct forecasting algorithms that suffer loss not much more than any expert in the pool. In contrast to the standard approach, we investigate the case of long-term forecasting of time series and consider two scenarios. In the first one, at each step $t$ the learner has to combine the point forecasts of the experts issued for the time interval $[t+1, t+d]$ ahead. Our approach implies that at each time step experts issue point forecasts for arbitrary many steps ahead and then the learner (algorithm) combines these forecasts and the forecasts made earlier into one vector forecast for steps $[t+1,t+d]$. By combining past and the current long-term forecasts we obtain a smoothing mechanism that protects our algorithm from temporary trend changes, noise and outliers. In the second scenario, at each step $t$ experts issue a prediction function, and the learner has to combine these functions into the single one, which will be used for long-term time-series prediction. For each scenario, we develop an algorithm for combining experts forecasts and prove $O(\ln T)$ adversarial regret upper bound for both algorithms.


title: A Multi-Robot Cooperation Framework for Sewing Personalized Stent Grafts

abstract: This paper presents a multi-robot system for manufacturing personalized medical stent grafts. The proposed system adopts a modular design, which includes: a (personalized) mandrel module, a bimanual sewing module, and a vision module. The mandrel module incorporates the personalized geometry of patients, while the bimanual sewing module adopts a learning-by-demonstration approach to transfer human hand-sewing skills to the robots. The human demonstrations were firstly observed by the vision module and then encoded using a statistical model to generate the reference motion trajectories. During autonomous robot sewing, the vision module plays the role of coordinating multi-robot collaboration. Experiment results show that the robots can adapt to generalized stent designs. The proposed system can also be used for other manipulation tasks, especially for flexible production of customized products and where bimanual or multi-robot cooperation is required.


title: Families of Picard modular forms and an application to the Bloch-Kato conjecture

abstract: In this article we construct a $p$-adic three dimensional Eigenvariety for the group $U(2,1)(E)$, where $E$ is a quadratic imaginary field and $p$ is inert in $E$. The Eigenvariety parametrizes Hecke eigensystems on the space of overconvergent, locally analytic, cuspidal Picard modular forms of finite slope. The method generalized the one developed in Andreatta-Iovita-Pilloni by interpolating the coherent automorphic sheaves when the ordinary locus is empty. As an application of this construction, we reprove a particular case of the Bloch-Kato conjecture for some Galois characters of $E$, extending the result of Bellaiche-Chenevier to the case of a positive sign.


title: Asynchronous Channel Training in Multi-Cell Massive MIMO

abstract: Pilot contamination has been regarded as the main bottleneck in time division duplexing (TDD) multi-cell massive multiple-input multiple-output (MIMO) systems. The pilot contamination problem cannot be addressed with large-scale antenna arrays. We provide a novel asynchronous channel training scheme to obtain precise channel matrices without the cooperation of base stations. The scheme takes advantage of sampling diversity by inducing intentional timing mismatch. Then, the linear minimum mean square error (LMMSE) estimator and the zero-forcing (ZF) estimator are designed. Moreover, we derive the minimum square error (MSE) upper bound of the ZF estimator. In addition, we propose the equally-divided delay scheme which under certain conditions is the optimal solution to minimize the MSE of the ZF estimator employing the identity matrix as pilot matrix. We calculate the uplink achievable rate using maximum ratio combining (MRC) to compare asynchronous and synchronous channel training schemes. Finally, simulation results demonstrate that the asynchronous channel estimation scheme can greatly reduce the harmful effect of pilot contamination.


title: Information Directed Sampling for Stochastic Bandits with Graph Feedback

abstract: We consider stochastic multi-armed bandit problems with graph feedback, where the decision maker is allowed to observe the neighboring actions of the chosen action. We allow the graph structure to vary with time and consider both deterministic and Erd\H{o}s-R\'enyi random graph models. For such a graph feedback model, we first present a novel analysis of Thompson sampling that leads to tighter performance bound than existing work. Next, we propose new Information Directed Sampling based policies that are graph-aware in their decision making. Under the deterministic graph case, we establish a Bayesian regret bound for the proposed policies that scales with the clique cover number of the graph instead of the number of actions. Under the random graph case, we provide a Bayesian regret bound for the proposed policies that scales with the ratio of the number of actions over the expected number of observations per iteration. To the best of our knowledge, this is the first analytical result for stochastic bandits with random graph feedback. Finally, using numerical evaluations, we demonstrate that our proposed IDS policies outperform existing approaches, including adaptions of upper confidence bound, $\epsilon$-greedy and Exp3 algorithms.


title: Quasinormal Modes of Modified Gravity (MOG) Black Holes

abstract: The Quasinormal modes (QNMs) for gravitational and electromagnetic perturbations are calculated in a Scalar-Tensor-Vector (Modified Gravity) spacetime, which was initially proposed to obtain correct dynamics of galaxies and galaxy clusters without the need for dark matter. It is found that for the increasing model parameter $\alpha$, both the real and imaginary parts of the QNMs decrease compared to those for a standard Schwarzschild black hole. On the other hand, when taking into account the $1/(1+\alpha)$ mass re-scaling factor present in MOG, Im($\omega$) matches almost identically that of GR, while Re($\omega$) is higher. These results can be identified in the ringdown phase of massive compact object mergers, and are thus timely in light of the recent gravitational wave detections by LIGO.


title: Central values of $L$-functions of cubic twists

abstract: We are interested in finding for which positive integers $D$ we have rational solutions for the equation $x^3+y^3=D.$ The aim of this paper is to compute the value of the $L$-function $L(E_D, 1)$ for the elliptic curves $E_D: x^3+y^3=D$. For the case of $p$ prime $p\equiv 1\mod 9$, two formulas have been computed by Rodriguez-Villegas and Zagier. We have computed formulas that relate $L(E_D, 1)$ to the square of a trace of a modular function at a CM point. This offers a criterion for when the integer $D$ is the sum of two rational cubes. Furthermore, when $L(E_D, 1)$ is nonzero we get a formula for the number of elements in the Tate-Shafarevich group and we show that this number is a square when $D$ is a norm in $\mathbb{Q}[\sqrt{-3}]$.


title: The Impedance of Flat Metallic Plates with Small Corrugations

abstract: Summarizes recent work on the wakefields and impedances of flat, metallic plates with small corrugations


title: Estimating global species richness using symbolic data meta-analysis

abstract: Global species richness is a key biodiversity metric. Despite recent efforts to estimate global species richness, the resulting estimates have been highly uncertain and often logically inconsistent. Estimates lower down either the taxonomic or geographic hierarchies are often larger than those above. Further, these estimates have been represented in a wide variety of forms, including intervals (a, b), point estimates with no uncertainty, and point estimates with either symmetrical or asymmetrical bounds, making it difficult to combine information across different estimates. Here, we develop a Bayesian hierarchical approach to estimate the global species richness from published studies. It allows us to recover interval estimates at each level of the hierarchy, even when data are partially or wholly unobserved, while respecting logical constraints, and to determine the effects of estimation on the whole hierarchy of obtaining future estimates anywhere within it


title: Pressure Tuning of Collapse of Helimagnetic Structure in Au$_2$Mn

abstract: We identify the phase boundary between spiral spin and ferromagnetic phases in Au$_2$Mn at a critical pressure of 16.4 kbar, as determined by neutron diffraction, magnetization and magnetoresistance measurements. The temperature-dependent critical field at a given pressure is accompanied by a peak in magnetoresistance and a step in magnetization. The critical field decreases with increasing temperature and pressure. The critical pressure separating the spiral phase and ferromagnetism coincides with the disappearance of the magnetroresistance peak, where the critical field goes to zero. The notable absence of an anomalous Hall effect in the the ferromagnetic phase is attributable to the high conductivity of this material.


title: Elascale: Autoscaling and Monitoring as a Service

abstract: Auto-scalability has become an evident feature for cloud software systems including but not limited to big data and IoT applications. Cloud application providers now are in full control over their applications' microservices and macroservices; virtual machines and containers can be provisioned or deprovisioned on demand at runtime. Elascale strives to adjust both micro/macro resources with respect to workload and changes in the internal state of the whole application stack. Elascale leverages Elasticsearch stack for collection, analysis and storage of performance metrics. Elascale then uses its default scaling engine to elastically adapt the managed application. Extendibility is guaranteed through provider, schema, plug-in and policy elements in the Elascale by which flexible scalability algorithms, including both reactive and proactive techniques, can be designed and implemented for various technologies, infrastructures and software stacks. In this paper, we present the architecture and initial implementation of Elascale; an instance will be leveraged to add auto-scalability to a generic IoT application. Due to zero dependency to the target software system, Elascale can be leveraged to provide auto-scalability and monitoring as-a-service for any type of cloud software system.


title: A Grammar Compression Algorithm based on Induced Suffix Sorting

abstract: We introduce GCIS, a grammar compression algorithm based on the induced suffix sorting algorithm SAIS, introduced by Nong et al. in 2009. Our solution builds on the factorization performed by SAIS during suffix sorting. We construct a context-free grammar on the input string which can be further reduced into a shorter string by substituting each substring by its correspondent factor. The resulting grammar is encoded by exploring some redundancies, such as common prefixes between suffix rules, which are sorted according to SAIS framework. When compared to well-known compression tools such as Re-Pair and 7-zip, our algorithm is competitive and very effective at handling repetitive string regarding compression ratio, compression and decompression running time.


title: Modelling questions for transitive quantum groups

abstract: This is a survey on the transitive quantum groups $G\subset S_N^+$, and on the flat matrix models $\pi:C(G)\to M_N(C(X))$ for the corresponding Hopf algebras. We review the known results on the subject, with a number of improvements, technical generalizations, and some new results as well, and we discuss the open problems.


title: Instability of solitons - revisited, II: the supercritical Zakharov-Kuznetsov equation

abstract: We revisit the phenomenon of instability of solitons in the two dimensional generalization of the Korteweg-de Vries equation, the generalized Zakharov-Kuznetsov (ZK) equation, $u_t + \partial_{x_1} (\Delta u + u^p) = 0, (x_1,x_2) \in \mathbb R^2$. It is known that solitons are unstable in this two dimensional equation for nonlinearities $p > 3$. This was shown by Anne de Bouard in [4] generalizing the arguments of Bona-Souganidis-Strauss in [1] for the generalized KdV equation. In this paper, we use a different method to obtain the instability of solitons, namely, truncation and monotonicity properties. Not only does this approach simplify the proof, but it can also be useful for studying various other stability questions in the ZK equation as well as other generalizations of the KdV equation.


title: A non-smooth trust-region method for locally Lipschitz functions with application to optimization problems constrained by variational inequalities

abstract: We propose a nonsmooth trust-region method for solving optimization problems with locally Lipschitz continuous functions, with application to problems constrained by variational inequalities of the second kind. Under suitable assumptions on the model functions, convergence of the general algorithm to a C-stationary point is verified. For variational inequality constrained problems, we are able to properly characterize the Bouligand subdifferential of the reduced cost function and, based on that, we propose a computable trust-region model which fulfills the convergence hypotheses of the general algorithm. The article concludes with the experimental study of the main properties of the proposed method based on two different numerical instances.


title: The wall-crossing formula and Lagrangian mutations

abstract: We prove a general form of the wall-crossing formula which relates the disk potentials of monotone Lagrangian submanifolds with their Floer-theoretic behavior away from a Donaldson divisor. We define geometric operations called mutations of Lagrangian tori in del Pezzo surfaces and in toric Fano varieties of higher dimension, and study the corresponding wall-crossing formulas that compute the disk potential of a mutated torus from that of the original one. In the case of del Pezzo surfaces, this justifies the connection between Vianna's tori and the theory of mutations of Landau-Ginzburg seeds. In higher dimension, this provides new Lagrangian tori in toric Fanos corresponding to different chambers of the mirror variety, including ones which are conjecturally separated by infinitely many walls from the chamber containing the standard toric fibre.


title: Abelian F-theory Models with Charge-3 and Charge-4 Matter

abstract: This paper analyzes U(1) F-theory models admitting matter with charges $q=3$ and $4$. First, we systematically derive a $q=3$ construction that generalizes the previous $q=3$ examples. We argue that U(1) symmetries can be tuned through a procedure reminiscent of the SU(N) and Sp(N) tuning process. For models with $q=3$ matter, the components of the generating section vanish to orders higher than 1 at the charge-3 matter loci. As a result, the Weierstrass models can contain non-UFD structure and thereby deviate from the standard Morrison-Park form. Techniques used to tune SU(N) models on singular divisors allow us to determine the non-UFD structures and derive the $q=3$ tuning from scratch. We also obtain a class of a $q=4$ models by deforming a prior U(1)$\times$U(1) construction. To the author's knowledge, this is the first published F-theory example with charge-4 matter. Finally, we discuss some conjectures regarding models with charges larger than 4.


title: Non-Riemannian Einstein-Randers metrics on $E_6/A_4$ and $E_6/A_1$

abstract: In this paper, we first prove that homogeneous spaces $E_6/A_4$ and $E_6/A_1$ admit Einstein metrics which are $Ad(T\times A_1\times A_4)$-invariant, and then show that they admit Non-Riemannian Einstein-Randers metrics.


title: Characterization and Verification Environment for the RD53A Pixel Readout Chip in 65 nm CMOS

abstract: The RD53 collaboration is currently designing a large scale prototype pixel readout chip in 65 nm CMOS technology for the phase 2 upgrades at the HL-LHC. The RD53A chip will be available by the end of the year 2017 and will be extensively tested to confirm if the circuit and the architecture make a solid foundation for the final pixel readout chips for the experiments at the HL-LHC. A test and data acquisition system for the RD53A chip is currently under development to perform single-chip and multi-chip module measurements. In addition, the verification of the RD53A design is performed in a dedicated simulation environment. The concept and the implementation of the test and data acquisition system and the simulation environment, which are based on a modular data acquisition and system testing framework, are presented in this work.


title: CyCADA: Cycle-Consistent Adversarial Domain Adaptation

abstract: Domain adaptation is critical for success in new, unseen environments. Adversarial adaptation models applied in feature spaces discover domain invariant representations, but are difficult to visualize and sometimes fail to capture pixel-level and low-level domain shifts. Recent work has shown that generative adversarial networks combined with cycle-consistency constraints are surprisingly effective at mapping images between domains, even without the use of aligned image pairs. We propose a novel discriminatively-trained Cycle-Consistent Adversarial Domain Adaptation model. CyCADA adapts representations at both the pixel-level and feature-level, enforces cycle-consistency while leveraging a task loss, and does not require aligned pairs. Our model can be applied in a variety of visual recognition and prediction settings. We show new state-of-the-art results across multiple adaptation tasks, including digit classification and semantic segmentation of road scenes demonstrating transfer from synthetic to real world domains.


title: Fingerprint Orientation Refinement through Iterative Smoothing

abstract: We propose a new gradient-based method for the extraction of the orientation field associated to a fingerprint, and a regularisation procedure to improve the orientation field computed from noisy fingerprint images. The regularisation algorithm is based on three new integral operators, introduced and discussed in this paper. A pre-processing technique is also proposed to achieve better performances of the algorithm. The results of a numerical experiment are reported to give an evidence of the efficiency of the proposed algorithm.


title: Existence and instability of deformed catenoidal solutions for fractional Allen--Cahn equation

abstract: We develop a new infinite dimensional gluing method for fractional elliptic equations. As a model problem, we construct solutions of the fractional Allen--Cahn equation vanishing on a rotationally symmetric surface which resembles a catenoid and have sub-linear growth at infinity. Moreover, such solutions are unstable.


title: Truncated quantum Drinfeld Hecke algebras and Hochschild cohomology

abstract: We consider deformations of quantum exterior algebras extended by finite groups. Among these deformations are a class of algebras which we call truncated quantum Drinfeld Hecke algebras in view of their relation to classical Drinfeld Hecke algebras. We give the necessary and sufficient conditions for which these algebras occur, using Bergman's Diamond Lemma. We compute the relevant Hochschild cohomology to make explicit the connection between Hochschild cohomology and truncated quantum Drinfeld Hecke algebras. To demonstrate the variance of the allowed algebras, we compute both classical type examples and demonstrate an example that does not arise as a factor algebra of a quantum Drinfeld Hecke algebra.


title: A definitive improvement of a game-theoretic bound and the long tightness game

abstract: The main goal of the paper is the full proof of a cardinal inequality for a space with points $G_\delta $, obtained with the help of a long version of the Menger game. This result, which improves a similar one of Scheepers and Tall, was already established by the authors under the Continuum Hypothesis. The paper is completed by few remarks on a long version of the tightness game.


title: Nonlinear reconstruction of redshift space distortions

abstract: We apply nonlinear reconstruction to the dark matter density field in redshift space and solve for the nonlinear mapping from the initial Lagrangian position to the final redshift space position. The reconstructed anisotropic field inferred from the nonlinear displacement correlates with the linear initial conditions to much smaller scales than the redshift space density field. The number of linear modes in the density field is improved by a factor of 30-40 after reconstruction. We thus expect this reconstruction approach to substantially expand the cosmological information including baryon acoustic oscillations and redshift space distortions for dense low-redshift large scale structure surveys including for example SDSS main sample, DESI BGS, and 21 cm intensity mapping surveys.


title: Denotational validation of higher-order Bayesian inference

abstract: We present a modular semantic account of Bayesian inference algorithms for probabilistic programming languages, as used in data science and machine learning. Sophisticated inference algorithms are often explained in terms of composition of smaller parts. However, neither their theoretical justification nor their implementation reflects this modularity. We show how to conceptualise and analyse such inference algorithms as manipulating intermediate representations of probabilistic programs using higher-order functions and inductive types, and their denotational semantics. Semantic accounts of continuous distributions use measurable spaces. However, our use of higher-order functions presents a substantial technical difficulty: it is impossible to define a measurable space structure over the collection of measurable functions between arbitrary measurable spaces that is compatible with standard operations on those functions, such as function application. We overcome this difficulty using quasi-Borel spaces, a recently proposed mathematical structure that supports both function spaces and continuous distributions. We define a class of semantic structures for representing probabilistic programs, and semantic validity criteria for transformations of these representations in terms of distribution preservation. We develop a collection of building blocks for composing representations. We use these building blocks to validate common inference algorithms such as Sequential Monte Carlo and Markov Chain Monte Carlo. To emphasize the connection between the semantic manipulation and its traditional measure theoretic origins, we use Kock's synthetic measure theory. We demonstrate its usefulness by proving a quasi-Borel counterpart to the Metropolis-Hastings-Green theorem.


title: On a Five-Dimensional Chern-Simons AdS Supergravity without gravitino

abstract: Based on recent discussions on the so-called unconventional supersymmetry, we propose a 5D Chern-Simons AdS-$\mathcal{N}$-SUGRA formulation without gravitino fields and show that a residual local SUSY is preserved. We explore the properties of CS theories to find a solution to the field equations in a 5D manifold. With a Randall-Sundrum-type ansatz, we show that this particular dimensional reduction is compatible with SUSY, and some classes of 4D solutions are then analyzed.