title: Mobile obstacles accelerates and inhibits the bundle formation in two-patch colloidal particle

abstract: Aggregation of protein into bundles is responsible for many neurodegenerative diseases. In this work, we show how two-patch colloidal particles self assemble into chains and a sudden transition to bundles takes place by tuning the patch size and solvent condition. We study the kinetics of formation of chains, bundles and network like structures using Patchy Brownian cluster dynamics. We also analyse the ways to inhibit and accelerate the formation of these bundles. We show that in presence of inert immobile obstacles, the kinetics of formation of bundles slows down. Whereas, in presence of mobile aggregating particles which exhibit inter-particle attraction and intra-particle repulsion, the kinetics of bundle formation accelerates slightly. We also show that if we introduce mobile obstacles which exhibit intra-particle attraction and inter-particle hard sphere repulsion, the kinetics of formation of bundles is inhibited. This is similar to the inhibitory effect of peptide P4 on the formation of insulin fibres. We are providing a model of mobile obstacles undergoing directional interactions to inhibit the formation of bundles.


title: Interlaminar toughening in structural carbon fiber/epoxy composites interleaved with carbon nanotube veils

abstract: The susceptibility to delamination is one of the main concerns in fiber reinforced polymer composites (FRPs). This work demonstrates improvements of 60% in Mode-I fracture toughness after integration of thin (~30 micron), continuous veils of carbon nanotubes (CNTs) directly deposited onto carbon fiber fabric as the CNT are drawn from the gas-phase using a semi-industrial process. A combination of optical imaging, scanning electron microscopy and a Raman spectroscopy provide a new rapid tool to unambiguously determine the crack propagation path by simple visual inspection of fracture surface. The results show that interlaminar crossing between CNT veil/CF interfaces is of paramount importance. The crack front alternatingly propagates above and below the CNT-toughened interlayer, significantly improving the fracture toughness of resultant laminates. This mechanism is strongly influenced by the method used to integrate the veils onto the CF. CNT veils directly deposited onto the fabrics as a low-density layer lead to large improvements in interlaminar properties, whereas compact CNT veils densified by solvent exposure prior to their integration in the lay-up act as defects.


title: The Steiner triple systems of order 21 with a transversal subdesign TD(3,6)

abstract: We prove several structural properties of Steiner triple systems (STS) of order 3w+3 that include one or more transversal subdesigns TD(3,w). Using an exhaustive search, we find that there are 2004720 isomorphism classes of STS(21) including a subdesign TD(3,6), or, equivalently, a 6-by-6 latin square.


title: Numerical investigation of the dynamics of linear spin $s$ fields on Kerr background I. Late time tails of spin $s = \pm 1, \pm 2$ fields

abstract: The time evolution of linear fields of spin $s = \pm 1$ and $s = \pm 2$ on Kerr black hole spacetimes are investigated by solving the homogeneous Teukolsky equation numerically. The applied numerical setup is based on a combination of conformal compactification and the hyperbolic initial value problem. The evolved basic variables are expanded in terms of spin-weighted spherical harmonics which allows us to evaluate all the angular derivatives analytically, whereas the evolution of the expansion coefficients, in the time-radial section, is determined by applying the method of lines implemented in a fourth order accurate finite differencing stencil. Concerning the initialization, in all of our investigations single mode excitations---either static or purely dynamical type initial data---are applied. Within this setup the late time tail behavior is investigated. Due to the applied conformal compactification the asymptotic decay rates are determined at three characteristic locations---in the domain of outer communication, at the event horizon and at future null infinity---simultaneously. Recently introduced new type of `energy' and `angular momentum' balance relations are also applied in order to demonstrate the feasibility and robustness of the developed numerical schema, and also to verify the proper implementation of the underlying mathematical model.


title: A Hypergraph Based Approach for the 4-Constraint Satisfaction Problem Tractability

abstract: Constraint Satisfaction Problem (CSP) is a framework for modeling and solving a variety of real-world problems. Once the problem is expressed as a finite set of constraints, the goal is to find the variables' values satisfying them. Even though the problem is in general NP-complete, there are some approximation and practical techniques to tackle its intractability. One of the most widely used techniques is the Constraint Propagation. It consists in explicitly excluding values or combination of values for some variables whenever they make a given subset of constraints unsatisfied. In this paper, we deal with a CSP subclass which we call 4-CSP and whose constraint network infers relations of the form: $\{ x \sim \alpha, x-y \sim \beta , (x-y) - (z-t) \sim \lambda \}$, where $x, y, z$ and $t$ are real variables, $\alpha , \beta$ and $ \lambda $ are real constants and $ \sim \in \{\leq , \geq \} $. The paper provides the first graph-based proofs of the 4-CSP tractability and elaborates algorithms for 4-CSP resolution based on the positive linear dependence theory, the hypergraph closure and the constraint propagation technique. Time and space complexities of the resolution algorithms are proved to be polynomial.


title: Revisiting Shor's quantum algorithm for computing general discrete logarithms

abstract: We heuristically show that Shor's algorithm for computing general discrete logarithms achieves an expected success probability of approximately 60% to 82% in a single run when modified to enable efficient implementation with the semi-classical Fourier transform. By slightly increasing the number of group operations that are evaluated quantumly and performing a single limited search in the classical post-processing, or by performing two limited searches in the post-processing, we show how the algorithm can be further modified to achieve a success probability that heuristically exceeds 99% in a single run. We provide concrete heuristic estimates of the success probability of the modified algorithm, as a function of the group order $r$, the size of the search space in the classical post-processing, and the additional number of group operations evaluated quantumly. In the limit as $r \rightarrow \infty$, we heuristically show that the success probability tends to one. In analogy with our earlier works, we show how the modified quantum algorithm may be heuristically simulated classically when the logarithm $d$ and $r$ are both known. Furthermore, we heuristically show how slightly better tradeoffs may be achieved, compared to our earlier works, if $r$ is known when computing $d$. We generalize our heuristic to cover some of our earlier works, and compare it to the non-heuristic analyses in those works.


title: Twisted differential KO-theory

abstract: We provide a systematic approach to twisting differential KO-theory leading to a construction of the corresponding twisted differential Atiyah-Hirzebruch spectral sequence (AHSS). We relate and contrast the degree two and the degree one twists, whose description involves appropriate local systems. Along the way, we provide a complete and explicit identification of the differentials at the $E_2$ and $E_3$ pages in the topological case, which has been missing in the literature and which is needed for the general case. The corresponding differentials in the refined theory reveal an intricate interplay between topological and geometric data, the former involving the flat part and the latter requiring the construction of the twisted differential Pontrjagin character. We illustrate with examples and applications from geometry, topology and physics. For instance, quantization conditions show how to lift differential $4k$-forms to twisted differential KO-theory leading to integrality results, while considerations of anomalies in type I string theory allow for characterization of twisted differential Spin structures.


title: From web crawled text to project descriptions: automatic summarizing of social innovation projects

abstract: In the past decade, social innovation projects have gained the attention of policy makers, as they address important social issues in an innovative manner. A database of social innovation is an important source of information that can expand collaboration between social innovators, drive policy and serve as an important resource for research. Such a database needs to have projects described and summarized. In this paper, we propose and compare several methods (e.g. SVM-based, recurrent neural network based, ensambled) for describing projects based on the text that is available on project websites. We also address and propose a new metric for automated evaluation of summaries based on topic modelling.


title: Simulation and Augmentation of Social Networks for Building Deep Learning Models

abstract: A limitation of the Graph Convolutional Networks (GCNs) is that it assumes at a particular $l^{th}$ layer of the neural network model only the $l^{th}$ order neighbourhood nodes of a social network are influential. Furthermore, the GCN has been evaluated on citation and knowledge graphs, but not extensively on friendship-based social graphs. The drawback associated with the dependencies between layers and the order of node neighbourhood for the GCN can be more prevalent for friendship-based graphs. The evaluation of the full potential of the GCN on friendship-based social network requires openly available datasets in larger quantities. However, most available social network datasets are not complete. Also, the majority of the available social network datasets do not contain both the features and ground truth labels. In this work, firstly, we provide a guideline on simulating dynamic social networks, with ground truth labels and features, both coupled with the topology. Secondly, we introduce an open-source Python-based simulation library. We argue that the topology of the network is driven by a set of latent variables, termed as the social DNA (sDNA). We consider the sDNA as labels for the nodes. Finally, by evaluating on our simulated datasets, we propose four new variants of the GCN, mainly to overcome the limitation of dependency between the order of node-neighbourhood and a particular layer of the model. We then evaluate the performance of all the models and our results show that on 27 out of the 30 simulated datasets our proposed GCN variants outperform the original model.


title: Scaling Pseudonymous Authentication for Large Mobile Systems

abstract: The central building block of secure and privacy-preserving Vehicular Communication (VC) systems is a Vehicular Public-Key Infrastructure (VPKI), which provides vehicles with multiple anonymized credentials, termed pseudonyms. These pseudonyms are used to ensure message authenticity and integrity while preserving vehicle (thus passenger) privacy. In the light of emerging large-scale multi-domain VC environments, the efficiency of the VPKI and, more broadly, its scalability are paramount. By the same token, preventing misuse of the credentials, in particular, Sybil-based misbehavior, and managing "honest-but-curious" insiders are other facets of a challenging problem. In this paper, we leverage a state-of-the-art VPKI system and enhance its functionality towards a highly-available, dynamically-scalable, and resilient design; this ensures that the system remains operational in the presence of benign failures or resource depletion attacks, and that it dynamically scales out, or possibly scales in, according to request arrival rates. Our full-blown implementation on the Google Cloud Platform shows that deploying large-scale and efficient VPKI can be cost-effective.


title: Kinematics of Two-particle Scattering in Black Hole Backgrounds

abstract: We show that particle scattering in general curved backgrounds entails {\it six} independent, kinematical Mandelstam-like invariants, instead of the two in flat spacetime. Spacetime isometries are shown to lead to constraints between these parameters, so that for standard black holes like Schwarzschild, Reissner-Nordstr\"om, or Kerr spacetimes, the number of {\it independent} parameters may be less than six. We compute the values of these independent parameters very close to the event horizon of the black holes. We demonstrate the existence of kinematical domains in the parameter space of particle trajectories for which some of the independent invariants may become unbounded above, as the point of collision approaches the event horizon. For particle scattering, this would imply the possibility of scattering with very large center-of-mass energy squared and/or very large momentum-transferred squared, making this astrophysically a laboratory for physics beyond the standard model.


title: General superpositions of Gaussian beams and propagation errors

abstract: Gaussian beams are asymptotically valid high frequency solutions concentrated on a single curve through the physical domain, and superposition of Gaussian beams provides a powerful tool to generate more general high frequency solutions to PDEs. We present a superposition of Gaussian beams over an arbitrary bounded set of dimension $m$ in phase space, and show that the tools recently developed in [ H. Liu, O. Runborg, and N. M. Tanushev, Math. Comp., 82: 919--952, 2013] can be applied to obtain the propagation error of order $k^{1- \frac{N}{2}- \frac{d-m}{4}}$, where $N$ is the order of beams and $d$ is the spatial dimension. Moreover, we study the sharpness of this estimate in examples.


title: A Live Maxwell's Demon

abstract: The first direct experimental replication of the Maxwell Demon thought experiment is outlined. The experiment determines the velocity/kinetic energy distribution of the particles in a sample by a novel interpretation of the results from a standard time-of-flight (TOF) small angle neutron scattering (SANS) procedure. Perspex at 293 K was subjected to neutrons at 82.2 K. The key result is a TOF velocity distribution curve that is a direct spatial and time-dependent microscopic probe of the velocity distribution of the Perspex nuclei at 293 K. Having this curve, one can duplicate the Demon's approach by selecting neutrons at known kinetic energies. One example is given: namely, two reservoirs -- hot and cold reservoirs -- were generated from the 293 K source without disturbing its original 293 K energy distribution.


title: Time-Delay Polaritonics

abstract: Non-linearity and finite signal propagation speeds are omnipresent in nature, technologies, and real-world problems, where efficient ways of describing and predicting the effects of these elements are in high demand. Advances in engineering condensed matter systems, such as lattices of trapped condensates, have enabled studies on non-linear effects in many-body systems where exchange of particles between lattice nodes is effectively instantaneous. Here, we demonstrate a regime of macroscopic matter-wave systems, in which ballistically expanding condensates of microcavity exciton-polaritons act as picosecond, microscale non-linear oscillators subject to time-delayed interaction. The ease of optical control and readout of polariton condensates enables us to explore the phase space of two interacting condensates up to macroscopic distances highlighting its potential in extended configurations. We demonstrate deterministic tuning of the coupled-condensate system between fixed point and limit cycle regimes, which is fully reproduced by time-delayed coupled equations of motion similar to the Lang-Kobayashi equation.


title: Zero-Knowledge Proof-of-Identity: Sybil-Resistant, Anonymous Authentication on Permissionless Blockchains and Incentive Compatible, Strictly Dominant Cryptocurrencies

abstract: Zero-Knowledge Proof-of-Identity from trusted public certificates (e.g., national identity cards and/or ePassports; eSIM) is introduced here to permissionless blockchains in order to remove the inefficiencies of Sybil-resistant mechanisms such as Proof-of-Work (i.e., high energy and environmental costs) and Proof-of-Stake (i.e., capital hoarding and lower transaction volume). The proposed solution effectively limits the number of mining nodes a single individual would be able to run while keeping membership open to everyone, circumventing the impossibility of full decentralization and the blockchain scalability trilemma when instantiated on a blockchain with a consensus protocol based on the cryptographic random selection of nodes. Resistance to collusion is also considered. Solving one of the most pressing problems in blockchains, a zk-PoI cryptocurrency is proved to have the following advantageous properties: - an incentive-compatible protocol for the issuing of cryptocurrency rewards based on a unique Nash equilibrium - strict domination of mining over all other PoW/PoS cryptocurrencies, thus the zk-PoI cryptocurrency becoming the preferred choice by miners is proved to be a Nash equilibrium and the Evolutionarily Stable Strategy - PoW/PoS cryptocurrencies are condemned to pay the Price of Crypto-Anarchy, redeemed by the optimal efficiency of zk-PoI as it implements the social optimum - the circulation of a zk-PoI cryptocurrency Pareto dominates other PoW/PoS cryptocurrencies - the network effects arising from the social networks inherent to national identity cards and ePassports dominate PoW/PoS cryptocurrencies - the lower costs of its infrastructure imply the existence of a unique equilibrium where it dominates other forms of payment


title: Stellar winds as a mechanism to tilt the spin axes of Sun-like stars

abstract: The rotation axis of the Sun is misaligned from the mean angular momentum plane of the Solar system by about 6 degrees. This obliquity significantly exceeds the ~1-2 degree distribution of inclinations among the planetary orbits and therefore requires a physical explanation. In concert, Sun-like stars are known to spin down by an order of magnitude throughout their lifetimes. This spin-down is driven by the stellar wind, which carries angular momentum from the star. If the mean angular momentum axis of the stellar wind deviates from that of the stellar spin axis, it will lead to a component of the spin-down torque that acts to tilt the star. Here, we show that Solar-like tilts of 6 degrees naturally arise during the first 10-100 Myr after planet formation as a result of stellar winds that deviate by about 10 degrees from the star's spin axis. These results apply to the idealized case of a dipolar field, mildly inclined to the spin axis. Time-variability in the misalignment between the magnetic and spin poles is modeled as stochastic fluctuations, autocorrelated over timescales comparable to the primordial spin-down time of several million years. In addition to wind direction, time-variability in mass-loss rate and magnetic topology over the stellar lifetime may alternatively generate obliquity. We hypothesize that the gaseous environments of young, open clusters may provide forcing over sufficient timescales to tilt the astrospheres of young stars, exciting modest obliquities. The more extreme, retrograde stellar obliquities of extrasolar planetary systems likely arise through separate mechanisms.


title: R package for producing beamplots as a preferred alternative to the h index when assessing single researchers (based on downloads from Web of Science)

abstract: We propose the use of beamplots - which can be produced by using the R package BibPlots and WoS downloads - as a preferred alternative to h index values for assessing single researchers.


title: Constant mean curvature n-noids in hyperbolic space

abstract: Using the DPW method, we construct genus zero Alexandrov-embedded constant mean curvature (greater than one) surfaces with any number of Delaunay ends in hyperbolic space.


title: Coarse Quad Layouts Through Robust Simplification of Cross Field Separatrix Partitions

abstract: Streamline-based quad meshing algorithms use smooth cross fields to partition surfaces into quadrilateral regions by tracing cross field separatrices. In practice, re-entrant corners and misalignment of singularities lead to small regions and limit cycles, negating some of the benefits a quad layout can provide in quad meshing. We introduce three novel methods to improve on a pipeline for coarse quad partitioning. First, we formulate an efficient method to compute high-quality cross fields on curved surfaces by extending the diffusion generated method from Viertel and Osting (SISC, 2019). Next, we introduce a method for accurately computing the trajectory of streamlines through singular triangles that prevents tangential crossings. Finally, we introduce a robust method to produce coarse quad layouts by simplifying the partitions obtained via naive separatrix tracing. Our methods are tested on a database of 100 objects and the results are analyzed. The algorithm performs well both in terms of efficiency and visual results on the database when compared to state-of-the-art methods.


title: Constant diameter and constant width of spherical convex bodies

abstract: In this paper we show that a spherical convex body $C$ is of constant diameter $\tau$ if and only if $C$ is of constant width $\tau$, for $0<\tau<\pi$. Moreover, some applications to Wulff shapes are given.


title: Effect of Non-Adiabatic Thermal Profiles on the Inferred Compositions of Uranus and Neptune

abstract: It has been a common assumption of interior models that the outer planets of our solar system are convective, and that the internal temperature distributions are therefore adiabatic. This assumption is also often applied to exoplanets. However, if a large portion of the thermal flux can be transferred by conduction, or if convection is inhibited, the thermal profile could be substantially different and would therefore affect the inferred planetary composition. Here we investigate how the assumption of non-adiabatic temperature profiles in Uranus and Neptune affects their internal structures and compositions. We use a set of plausible temperature profiles together with density profiles that match the measured gravitational fields to derive the planets' compositions. We find that the inferred compositions of both Uranus and Neptune are quite sensitive to the assumed thermal profile in the outer layers, but relatively insensitive to the thermal profile in the central, high pressure region. The overall value of the heavy element mass fraction, $Z$, for these planets is between 0.8 and 0.9. Finally, we suggest that large parts of Uranus' interior might be conductive, a conclusion that is consistent with Uranus dynamo models and a hot central inner region.


title: ConTExT: Leakage-Free Transient Execution

abstract: Out-of-order execution and speculative execution are among the biggest contributors to performance and efficiency of modern processors. However, they are inconsiderate, leaking secret data during the transient execution of instructions. Many solutions have been proposed against transient execution attacks. However, they do not eliminate the leakage entirely or introduce unacceptable performance penalties. In this paper, we propose ConTExT, a Considerate Transient Execution Technique. The basic idea of ConTExT is that secrets can enter registers, but not transiently leave them. ConTExT transforms Spectre from a problem that cannot be solved purely in software [53], to a problem that is not easy to solve, but solvable in software. For this, ConTExT requires minimal modifications of applications, compilers, operating systems, and the hardware. ConTExT offers full protection for secrets in memory and secrets in registers. We evaluate the security and performance of ConTExT. With its principled approach it inherently mitigates the recently found microarchitectural data sampling attacks on small processor buffers. Even when over-approximating, we observe no performance overhead for unprotected code and data, and an overhead of 71.14% for security-critical applications, which is below the overhead of currently recommended state-of-the-art mitigation strategies. The actual overhead of ConTExT is below 1% for real-world workloads.


title: Gaps in the cycle spectrum of 3-connected cubic planar graphs

abstract: We prove that, for every natural number $k$, every sufficiently large 3-connected cubic planar graph has a cycle whose length is in $[k,2k+9]$. We also show that this bound is close to being optimal by constructing, for every even $k\geq 4$, an infinite family of 3-connected cubic planar graphs that contain no cycle whose length is in $[k,2k+1]$.


title: Interference of Clocks: A Quantum Twin Paradox

abstract: The phase of matter waves depends on proper time and is therefore susceptible to special-relativistic (kinematic) and gravitational (redshift) time dilation. Hence, it is conceivable that atom interferometers measure general-relativistic time-dilation effects. In contrast to this intuition, we show: (i.) Closed light-pulse interferometers without clock transitions during the pulse sequence are not sensitive to gravitational time dilation in a linear potential. (ii.) They can constitute a quantum version of the special-relativistic twin paradox. (iii.) Our proposed experimental geometry for a quantum-clock interferometer isolates this effect.


title: Neural-Symbolic Argumentation Mining: an Argument in Favor of Deep Learning and Reasoning

abstract: Deep learning is bringing remarkable contributions to the field of argumentation mining, but the existing approaches still need to fill the gap toward performing advanced reasoning tasks. In this position paper, we posit that neural-symbolic and statistical relational learning could play a crucial role in the integration of symbolic and sub-symbolic methods to achieve this goal.


title: A Prerequisite for Life

abstract: The complex physicochemical structures and chemical reactions in living organism have some common features: (1) The life processes take place in the cytosol in the cells, which, from a physicochemical point of view is an emulsion of biomolecules in a dilute aqueous suspension. (2) All living systems are homochiral with respect to the units of amino acids and carbohydrates, but (some) proteins are chiral unstable in the cytosol. (3) And living organism are mortal. These three common features together give a prerequisite for the prebiotic self-assembly at the start of the Abiogenesis. Here we argue , that it all together indicates, that the prebiotic self-assembly of structures and reactions took place in a more saline environment, whereby the homochirality of proteins not only could be obtained, but also preserved. A more saline environment for the prebiotic self-assembly of organic molecules and establishment of biochemical reactions could have been the hydrothermal vents.


title: Demographic Differentials in Facebook Usage Around the World

abstract: We use data from the Facebook Advertisement Platform to study patterns of demographic disparities in usage of Facebook across countries. We address three main questions: (1) How does Facebook usage differ by age and by gender around the world? (2) How does the size of friendship networks vary by age and by gender? (3) What are the demographic characteristics of specific subgroups of Facebook users? We find that in countries in North America and northern Europe, patterns of Facebook usage differ little between older people and younger adults. In Asian countries, which have high levels of gender inequality, differences in Facebook adoption by gender disappear at older ages, possibly as a result of selectivity. We also observe that across countries, women tend to have larger networks of close friends than men, and that female users who are living away from their hometown are more likely to engage in Facebook use than their male counterparts, regardless of their region and age group. Our findings contextualize recent research on gender gaps in online usage, and offer new insights into some of the nuances of demographic differentials in the adoption and the use of digital technologies.


title: Carbon stars with increased oxygen and nitrogen abundances: hydrostatic dust-free model atmospheres

abstract: We have computed a grid of hydrostatic spherical COMARCS models for C stars covering metallicities from [Z/H]=0 to -2 and values of the carbon excess [C-O] from 6.41 to 9.15, plus some temperature sequences, where the amount of oxygen and nitrogen is increased relative to a scaled solar element mixture. Such abundance variations may appear during the late stages of stellar evolution. Our study covers changes of [O/Z] and [N/Z] going up to +0.5. Based on the atmospheric structures we have calculated synthetic spectra and photometry for all of the models in a consistent way. The sequences with changed [O/Z] and [N/Z] can be used to derive correction terms, which are applied to the colours predicted for a certain combination of effective temperature, surface gravity, metallicity and carbon excess. If one neglects these shifts in case of a variable oxygen amount, taking [C-O] instead of C/O gives much better results, since the first quantity dominates the formation of many important molecular species. For the warmer C giants with weaker pulsation it is in principle possible to determine [C-O], [O/Z] or [N/Z] from high resolution spectra, when the opacities in the radiative transfer calculations for the models and observable properties are treated consistently. The corresponding changes due to the abundances often become significantly larger than the deviations caused by uncertainties of the stellar parameters or by a optically thin dust shell. Photometric data and low or medium resolution spectra are not sufficient to derive the mentioned quantities.


title: Blind identification of stochastic block models from dynamical observations

abstract: We consider a blind identification problem in which we aim to recover a statistical model of a network without knowledge of the network's edges, but based solely on nodal observations of a certain process. More concretely, we focus on observations that consist of single snapshots taken from multiple trajectories of a diffusive process that evolves over the unknown network. We model the network as generated from an independent draw from a latent stochastic block model (SBM), and our goal is to infer both the partition of the nodes into blocks, as well as the parameters of this SBM. We discuss some non-identifiability issues related to this problem and present simple spectral algorithms that provably solve the partition recovery and parameter estimation problems with high accuracy. Our analysis relies on recent results in random matrix theory and covariance estimation, and associated concentration inequalities. We illustrate our results with several numerical experiments.


title: Single photons emitted by nano-crystals optically trapped in a deep parabolic mirror

abstract: We investigate the emission of single photons from CdSe/CdS dot-in-rods which are optically trapped in the focus of a deep parabolic mirror. Thanks to this mirror, we are able to image almost the full 4$\pi$ emission pattern of nanometer-sized elementary dipoles and verify the alignment of the rods within the optical trap. From the motional dynamics of the emitters in the trap we infer that the single-photon emission occurs from clusters comprising several emitters. We demonstrate the optical trapping of rod-shaped quantum emitters in a configuration suitable for efficiently coupling an ensemble of linear dipoles with the electromagnetic field in free space.


title: NOvA Recent Results with Neutrino+Antineutrino Data

abstract: NOvA is a long-baseline neutrino oscillation experiment using Fermilab's 700 kW NuMI muon neutrino beam. Two functionally identical scintillator detectors are placed off the beam axis, separated by 810 km oscillation baseline. Both detectors have high active material fractions and are finely segmented allowing for precise identification and analysis of neutrino interactions. By observing both the disappearance of muon (anti)neutrinos and appearance of electron (anti)neutrinos in the beam, NOvA can impose constraints on the yet undetermined parameters of neutrino oscillation phenomenon, such as the neutrino mass ordering, CP violation and the octant of the large mixing angle. NOvA also studies neutral-current neutrino interactions, thus extending its scope beyond the standard three-flavor paradigm. This paper presents the latest NOvA results with the complete neutrino data sample up to date and first antineutrino data collected since February 2017.


title: Nested sampling on non-trivial geometries

abstract: Metropolis nested sampling evolves a Markov chain from a current livepoint and accepts new points along the chain according to a version of the Metropolis acceptance ratio modified to satisfy the likelihood constraint, characteristic of nested sampling algorithms. The geometric nested sampling algorithm we present here is a based on the Metropolis method, but treats parameters as though they represent points on certain geometric objects, namely circles, tori and spheres. For parameters which represent points on a circle or torus, the trial distribution is `wrapped' around the domain of the posterior distribution such that samples cannot be rejected automatically when evaluating the Metropolis ratio due to being outside the sampling domain. Furthermore, this enhances the mobility of the sampler. For parameters which represent coordinates on the surface of a sphere, the algorithm transforms the parameters into a Cartesian coordinate system before sampling which again makes sure no samples are automatically rejected, and provides a physically intutive way of the sampling the parameter space. We apply the geometric nested sampler to two types of toy model which include circular, toroidal and spherical parameters. We find that the geometric nested sampler generally outperforms \textsc{MultiNest} in both cases. \\ %We also apply the algorithm to a gravitational wave detection model which includes circular and spherical parameters, and find that the geometric nested sampler and \textsc{MultiNest} appear to perform equally well as one another. Our implementation of the algorithm can be found at \url{https://github.com/SuperKam91/nested_sampling}.


title: Tutte Short Exact Sequences of Graphs

abstract: We associate two modules, the $G$-parking critical module and the toppling critical module, to an undirected connected graph $G$. The $G$-parking critical module and the toppling critical module are canonical modules (with suitable twists) of quotient rings of the well-studied $G$-parking function ideal and the toppling ideal, respectively. For each critical module, we establish a Tutte-like short exact sequence relating the modules associated to $G$, an edge contraction $G/e$ and an edge deletion $G \setminus e$ ($e$ is a non-bridge). We obtain purely combinatorial consequences of Tutte short exact sequences. For instance, we reprove a theorem of Merino that the critical polynomial of a graph is an evaluation of its Tutte polynomial, and relate the vanishing of certain combinatorial invariants (the number of acyclic orientations on connected partition graphs satisfying a unique sink property) of $G/e$ to the equality of the corresponding invariants of $G$ and $G \setminus e$.


title: Variational approximations of soliton dynamics in the Ablowitz-Musslimani nonlinear Schr\"odinger equation

abstract: We study the integrable nonlocal nonlinear Schr\"odinger equation proposed by Ablowitz and Musslimani, that is considered as a particular example of equations with parity-time ($\mathcal{PT}$) symmetric self-induced potential. We consider dynamics (including collisions) of moving solitons. Analytically we develop a collective coordinate approach based on variational methods and examine its applicability in the system. We show numerically that a single moving soliton can pass the origin and decay or be trapped at the origin and blows up at a finite time. Using a standard soliton ansatz, the variational approximation can capture the dynamics well, including the finite-time blow up, even though the ansatz is relatively far from the actual blowing-up soliton solution. In the case of two solitons moving towards each other, we show that there can be a mass transfer between them, in addition to wave scattering. We also demonstrate that defocusing nonlinearity can support bright solitons.


title: A Comprehensive Study of ImageNet Pre-Training for Historical Document Image Analysis

abstract: Automatic analysis of scanned historical documents comprises a wide range of image analysis tasks, which are often challenging for machine learning due to a lack of human-annotated learning samples. With the advent of deep neural networks, a promising way to cope with the lack of training data is to pre-train models on images from a different domain and then fine-tune them on historical documents. In the current research, a typical example of such cross-domain transfer learning is the use of neural networks that have been pre-trained on the ImageNet database for object recognition. It remains a mostly open question whether or not this pre-training helps to analyse historical documents, which have fundamentally different image properties when compared with ImageNet. In this paper, we present a comprehensive empirical survey on the effect of ImageNet pre-training for diverse historical document analysis tasks, including character recognition, style classification, manuscript dating, semantic segmentation, and content-based retrieval. While we obtain mixed results for semantic segmentation at pixel-level, we observe a clear trend across different network architectures that ImageNet pre-training has a positive effect on classification as well as content-based retrieval.


title: A homogenization bending shell theory for multiscale materials from $3D$ nonlinear elasticity

abstract: We derive homogenized bending shell theories starting from three dimensional nonlinear elasticity. The original three dimensional model contains three small parameters: the two homogenization scales $\varepsilon$ and $\varepsilon^2$ of the material properties and the thickness $h$ of the shell. Depending on the asymptotic ratio of these three parameters, we obtain different asymptotic theories.


title: Beam steering with a nonlinear optical phased array antenna

abstract: Transition metal dichalcogenides (TMDCs) exhibit high second harmonic (SH) generation in the visible due to their non-centrosymmetric crystal structure in odd-layered form and direct bandgap transition when thinned down to a monolayer. In order to emit the SH radiation into a desired direction one requires a means to control the phase of the in-plane nonlinear polarization. Here, we couple the SH response of a monolayer MoS$_{\text{2}}$ to an optical phased array antenna and demonstrate controllable steering of the nonlinear emission. By exploiting the intrinsic SH generation by the phased array antenna we achieve uniform emission efficiency into a broad angular range. Our work has relevance for novel optoelectronic applications, such as programmable optical interconnects and on-chip LIDAR.


title: Cheating in Ranking Systems

abstract: Consider an application sold on an on-line platform, with the app paying a commission fee and, henceforth, offered for sale on the platform. The ability to sell the application depends on its customer ranking. Therefore, developers may have an incentive to promote their applications ranking in a dishonest manner. One way to do this is by faking positive customer reviews. However, the platform is able to detect dishonest behavior (cheating) with some probability and then proceeds to decide whether to ban the application. We provide an analysis and find the equilibrium behaviors of both the applications developers (cheat or not) and the platform (setting of the commission fee). We provide initial insights into how the platforms detection accuracy affects the incentives of the app developers.


title: Correlations and randomness generation based on energy constraints

abstract: In a previous paper, we introduced a semi-device-independent scheme consisting of an untrusted source sending quantum states to an untrusted measuring device, with the sole assumption that the average energy of the states emitted by the source is bounded. Given this energy constraint, we showed that certain correlations between the source and the measuring device can only occur if the outcomes of the measurement are non-deterministic, i.e., these correlations certify the presence of randomness. In the present paper, we go further and show how to quantify the randomness as a function of the correlations and prove the soundness of a QRNG protocol exploiting this relation. For this purpose, we introduce (1) a semidefinite characterization of the set of quantum correlations, (2) an algorithm to lower-bound the Shannon entropy as a function of the correlations and (3) a proof of soundness using finite trials compatible with our energy assumption.


title: MATLAB Implementation of C1 finite elements: Bogner-Fox-Schmit rectangle

abstract: Rahman and Valdman (2013) introduced a new vectorized way to assemble finite element matrices. We utilize underlying vectorization concepts and extend MATLAB codes to implementation of Bogner-Fox-Schmit C1 rectangular elements in 2D. Our focus is on the detailed construction of elements and simple computer demonstrations including energies evaluations and their visualizations.


title: Estimating ensemble flows on a hidden Markov chain

abstract: We propose a new framework to estimate the evolution of an ensemble of indistinguishable agents on a hidden Markov chain using only aggregate output data. This work can be viewed as an extension of the recent developments in optimal mass transport and Schr\"odinger bridges to the finite state space hidden Markov chain setting. The flow of the ensemble is estimated by solving a maximum likelihood problem, which has a convex formulation at the infinite-particle limit, and we develop a fast numerical algorithm for it. We illustrate in two numerical examples how this framework can be used to track the flow of identical and indistinguishable dynamical systems.


title: High Throughput Polar Decoding Using Two-Staged Adaptive Successive Cancellation List Decoding

abstract: Polar codes are the first class of capacity-achieving forward error correction (FEC) codes. They have been selected as one of the coding schemes for the 5G communication systems due to their excellent error correction performance when successive cancellation list (SCL) decoding with cyclic redundancy check (CRC) is used. A large list size is necessary for SCL decoding to achieve a low error rate. However, it impedes SCL decoding from achieving a high throughput as the computational complexity is very high when a large list size is used. In this paper, we propose a two-staged adaptive SCL (TA-SCL) decoding scheme and the corresponding hardware architecture to accelerate SCL decoding with a large list size. Constant system latency and data rate are supported by TA-SCL decoding. To analyse the decoding performance of TA-SCL, an accurate mathematical model based on Markov Chain is derived, which can be used to determine the parameters for practical designs. A VLSI architecture implementing TA-SCL decoding is then proposed. The proposed architecture is implemented using UMC 90nm technology. Experimental results show that TA-SCL can achieve throughputs of 3.00 and 2.35 Gbps when the list sizes are 8 and 32, respectively, which are nearly 3 times as that of the state-ofthe-art SCL decoding architectures, with negligible performance degradation on a wide signal-to-noise ratio (SNR) range and small hardware overhead.


title: Statistical errors in equivalent widths -- A clarification

abstract: In a recent mathematical approach, Netzel (2018) proposes a method for determining the statistical error of spectral line equivalent widths. Using various approximations, he derives a determination equation that differs significantly from earlier approaches by Vollmann \& Eversberg (2006) and Chalabaev \& Mailard (1983) and evaluates these works with his approach. Several points stand out, which have a not to be neglected influence on the evaluation of this approach.


title: $\Gamma$-convergence of a mean-field model of a chiral doped nematic liquid crystal to the Oseen-Frank description of cholesterics

abstract: Systems of elongated molecules, doped with small amounts of molecules lacking mirror symmetry can form macroscopically twisted cholesteric liquid crystal phases. The aim of this work is to rigorously derive the Oseen-Frank model of cholesterics from a more fundamental model concerned with pairwise molecular interactions. A non-local mean-field model of the two-species nematic host/chiral dopant mixture is proposed, and it is shown that Oseen-Frank's elastic free energy for cholesteric liquid crystals can be obtained in a simultaneously large-domain and dilute-dopant asymptotic regime. By techniques of $\Gamma$-convergence, it is shown that in the asymptotic limit dopant-dopant interactions are negligable, the Frank constants and nematic host order parameter are unperturbed by the presence of dopant, but the mirror asymmetry of the dopant-host interaction leads to a macroscopically twisted ground state. The constant of proportionality between the helical wavenumber and dopant concentration, the {\it helical twisting power} (HTP), can be explicitly found through such an analysis, with a non-linear temperature dependence. Depending on the relative strengths of the host-host and host-dopant interactions, it is shown that HTP may increase or decrease with temperature.


title: On LSE in regression model for long-range dependent random fields on spheres

abstract: We study the asymptotic behaviour of least squares estimators in regression models for long-range dependent random fields observed on spheres. The least squares estimator can be given as a weighted functional of long-range dependent random fields. It is known that in this scenario the limits can be non-Gaussian. We derive the limit distribution and the corresponding rate of convergence for the estimators. The results were obtained under rather general assumptions on the random fields. Simulation studies were conducted to support theoretical findings.


title: More on traversable wormholes sustained by an extra spatial dimension

abstract: This paper extends an earlier study by the author [Phys. Rev. D, vol. 98, 064041 (2018), arXiv:1809.01993] in several significant ways. To begin with, the extra spatial dimension is assumed to be time dependent, while the redshift and shape functions, as well as the extra dimension, are functions of both $r$ and $l$, the respective radial and extra coordinates. The main goal is to determine the conditions that allow the throat of the wormhole to be threaded with ordinary matter (by respecting the null energy condition) and that the same conditions lead to a violation of the null energy condition in the fifth dimension, which can therefore be credited with helping to sustain the wormhole. The dependence of the metric coefficients on $l$ and time $t$ may either help or hinder the ability to use ordinary matter, while an unrestricted dependence on the fifth dimension could lead to a curvature singularity at the throat. Finally, the extra dimension may be extremely small or even curled up.


title: New Fayet-Iliopoulos terms in ${\mathcal N}=2$ supergravity

abstract: We present a new type of Fayet-Iliopoulos (FI) terms in ${\mathcal N}=2$ supergravity that do not require the gauging of the $R$-symmetry. We elaborate on the impact of such terms on the vacuum structure of the ${\mathcal N}=2$ theory and compare their properties with the standard Fayet-Iliopoulos terms that arise from gaugings. In particular, we show that, with the use of the new FI terms, models with a single physical ${\mathcal N}=2$ vector multiplet can be constructed that give stable de Sitter vacua.


title: On the directional derivative of the Hausdorff dimension of quadratic polynomial Julia sets at 1/4

abstract: Let $d(\varepsilon)$ and $\mathcal D(\delta)$ denote the Hausdorff dimension of the Julia sets of the polynomials $p_\varepsilon(z)=z^2+1/4+\varepsilon$ and $f_\delta(z)=(1+\delta)z+z^2$ respectively. In this paper we will study the directional derivative of the functions $d(\varepsilon)$ and $\mathcal D(\delta)$ along directions landing at the parameter $0$, which corresponds to $1/4$ in the case of family $z^2+c$. We will consider all directions, except the one $\varepsilon\in\mathbb{R}^+$ (or two imaginary directions in the $\delta$ parametrization) which is outside the Mandelbrot set and is related to the parabolic implosion phenomenon. We prove that for directions in the closed left half-plane the derivative of $d$ is negative. Computer calculations show that it is negative except a cone (with opening angle approximately $150^\circ$) around $\mathbb{R}^+$.


title: Event Generation with Sherpa 2.2

abstract: Sherpa is a general-purpose Monte Carlo event generator for the simulation of particle collisions in high-energy collider experiments. We summarize essential features and improvements of the Sherpa 2.2 release series, which is heavily used for event generation in the analysis and interpretation of LHC Run 1 and Run 2 data. We highlight a decade of developments towards ever higher precision in the simulation of particle-collision events.


title: New bounds from positronium decays on massless mirror dark photons

abstract: We present the results of a search for a hidden mirror sector in positronium decays with a sensitivity comparable with the bounds set by the prediction of the primordial He$^{4}$ abundance from Big Bang Nucleosynthesis. No excess of events compatible with decays into the dark sector is observed resulting in an upper limit for the branching ratio of this process of $4.0\times10^{-5}$ ($90\%$ C.L.). This is an order of magnitude more stringent than the current existing laboratory bounds and it constraints the mixing strength of ordinary photons to dark mirror photons at a level of $\varepsilon<5.8\times 10^{-8}$.


title: Relaxation Runge-Kutta Methods: Fully-Discrete Explicit Entropy-Stable Schemes for the Compressible Euler and Navier-Stokes Equations

abstract: The framework of inner product norm preserving relaxation Runge-Kutta methods (David I. Ketcheson, \emph{Relaxation Runge-Kutta Methods: Conservation and Stability for Inner-Product Norms}, SIAM Journal on Numerical Analysis, 2019) is extended to general convex quantities. Conservation, dissipation, or other solution properties with respect to any convex functional are enforced by the addition of a {\em relaxation parameter} that multiplies the Runge-Kutta update at each step. Moreover, other desirable stability (such as strong stability preservation) and efficiency (such as low storage requirements) properties are preserved. The technique can be applied to both explicit and implicit Runge-Kutta methods and requires only a small modification to existing implementations. The computational cost at each step is the solution of one additional scalar algebraic equation for which a good initial guess is available. The effectiveness of this approach is proved analytically and demonstrated in several numerical examples, including applications to high-order entropy-conservative and entropy-stable semi-discretizations on unstructured grids for the compressible Euler and Navier-Stokes equations.


title: AI-CARGO: A Data-Driven Air-Cargo Revenue Management System

abstract: We propose AI-CARGO, a revenue management system for air-cargo that combines machine learning prediction with decision-making using mathematical optimization methods. AI-CARGO addresses a problem that is unique to the air-cargo business, namely the wide discrepancy between the quantity (weight or volume) that a shipper will book and the actual received amount at departure time by the airline. The discrepancy results in sub-optimal and inefficient behavior by both the shipper and the airline resulting in the overall loss of potential revenue for the airline. AI-CARGO also includes a data cleaning component to deal with the heterogeneous forms in which booking data is transmitted to the airline cargo system. AI-CARGO is deployed in the production environment of a large commercial airline company. We have validated the benefits of AI-CARGO using real and synthetic datasets. Especially, we have carried out simulations using dynamic programming techniques to elicit the impact on offloading costs and revenue generation of our proposed system. Our results suggest that combining prediction within a decision-making framework can help dramatically to reduce offloading costs and optimize revenue generation.


title: Quantum magnetometry using two-stroke thermal machines

abstract: The precise estimation of small parameters is a challenging problem in quantum metrology. Here, we introduce a protocol for accurately measuring weak magnetic fields using a two-level magnetometer, which is coupled to two (hot and cold) thermal baths and operated as a two-stroke quantum thermal machine. Its working substance consists of a two-level system (TLS), generated by an unknown weak magnetic field acting on a qubit, and a second TLS arising due to the application of a known strong and tunable field on another qubit. Depending on this field, the machine may either act as an engine or a refrigerator. Under feasible conditions, determining this transition point allows to reduce the relative error of the measurement of the weak unknown magnetic field by the ratio of the temperatures of the colder bath to the hotter bath.


title: Bulk-driven acoustic streaming at resonance in closed microcavities

abstract: Bulk-driven acoustic (Eckart) streaming is the steady flow resulting from the time-averaged acoustic energy flux density in the bulk of a viscous fluid. In simple cases, like the one-dimensional single standing-wave resonance, this energy flux is negligible, and therefore the bulk-driven streaming is often ignored relative to the boundary-driven (Rayleigh) streaming in the analysis of resonating acoustofluidic devices with length scales comparable to the acoustic wavelength. However, in closed acoustic microcavities with viscous dissipation, two overlapping resonances may be excited at the same frequency as a double mode. In contrast to single modes, the double modes can support a steady rotating acoustic energy flux density and thus a corresponding rotating bulk-driven acoustic streaming. We derive analytical solutions for the double modes in a rectangular box-shaped cavity including the viscous boundary layers, and use them to map out possible rotating patterns of bulk-driven acoustic streaming. Remarkably, the rotating bulk-driven streaming may be excited by a non-rotating actuation, and we determine the optimal geometry that maximizes this excitation. In the optimal geometry, we finally simulate a horizontal 2-by-2, 4-by-4, and 6-by-6 streaming-roll pattern in a shallow square cavity. We find that the high-frequency 6-by-6 streaming-roll pattern is dominated by the bulk-driven streaming as opposed to the low-frequency 2-by-2 streaming pattern, which is dominated by the boundary-driven streaming.


title: A Multi-epoch X-ray Study of the Spiral Galaxy NGC 7331

abstract: X-ray point sources in galaxies are dominated by X-ray binaries (XRBs) that are variables or transients and whether their variability would alter the X-ray luminosity functions (XLF) is still in debate. Here we report on NGC 7331 as an example to test this with 7 Chandra observations. Their detection limit is 7$\times10^{37}$ erg s$^{-1}$ in the 0.3 -- 8.0 keV energy range by assuming a power-law spectral model with a photon index of 1.7. We detected 55 X-ray sources. Thirteen of them are variables for which 3 of them are transients and some of the sources possess a bimodal luminosity-hardness ratio feature, which is often observed among X-ray binaries. Nine more ultra-luminous X-ray sources are found comparing to previous studies and 8 are likely to be low-mass or high-mass XRBs. Twenty-one optical counterpart candidates are found based on the Hubble Space Telescope images, but we cannot rule out the possibility of positional coincidence. The spectral analysis of SN 2014C shows a trend of increasing soft photons and decreasing hydrogen column densities as its outer shell expands. We fit the 7 incompleteness-corrected XLFs to both a power-law (PL) and a power-law with an exponential cut-off (PLC) model using Bayesian method, which is the first time used in XLF fitting. The hierarchical PLC model can describe the XLF of NGC 7331 best with a slope of $\sim$ 0.5 and a luminosity cut-off around 8$\times$10$^{38}$ erg s$^{-1}$. This study proves that multi-epoch observations decrease the deviation due to the variable luminous sources in XLFs.


title: Refined Estimates Concerning Sumsets Contained in the Roots of Unity

abstract: We prove that the clique number of the Paley graph is at most $\sqrt{p/2} + 1$, and that any supposed additive decompositions of the set of quadratic residues can only come from co-Sidon sets.


title: A Joint Named-Entity Recognizer for Heterogeneous Tag-sets Using a Tag Hierarchy

abstract: We study a variant of domain adaptation for named-entity recognition where multiple, heterogeneously tagged training sets are available. Furthermore, the test tag-set is not identical to any individual training tag-set. Yet, the relations between all tags are provided in a tag hierarchy, covering the test tags as a combination of training tags. This setting occurs when various datasets are created using different annotation schemes. This is also the case of extending a tag-set with a new tag by annotating only the new tag in a new dataset. We propose to use the given tag hierarchy to jointly learn a neural network that shares its tagging layer among all tag-sets. We compare this model to combining independent models and to a model based on the multitasking approach. Our experiments show the benefit of the tag-hierarchy model, especially when facing non-trivial consolidation of tag-sets.


title: DaDiDroid: An Obfuscation Resilient Tool for Detecting Android Malware via Weighted Directed Call Graph Modelling

abstract: With the number of new mobile malware instances increasing by over 50\% annually since 2012 [24], malware embedding in mobile apps is arguably one of the most serious security issues mobile platforms are exposed to. While obfuscation techniques are successfully used to protect the intellectual property of apps' developers, they are unfortunately also often used by cybercriminals to hide malicious content inside mobile apps and to deceive malware detection tools. As a consequence, most of mobile malware detection approaches fail in differentiating between benign and obfuscated malicious apps. We examine the graph features of mobile apps code by building weighted directed graphs of the API calls, and verify that malicious apps often share structural similarities that can be used to differentiate them from benign apps, even under a heavily "polluted" training set where a large majority of the apps are obfuscated. We present DaDiDroid an Android malware app detection tool that leverages features of the weighted directed graphs of API calls to detect the presence of malware code in (obfuscated) Android apps. We show that DaDiDroid significantly outperforms MaMaDroid [23], a recently proposed malware detection tool that has been proven very efficient in detecting malware in a clean non-obfuscated environment. We evaluate DaDiDroid's accuracy and robustness against several evasion techniques using various datasets for a total of 43,262 benign and 20,431 malware apps. We show that DaDiDroid correctly labels up to 96% of Android malware samples, while achieving an 91% accuracy with an exclusive use of a training set of obfuscated apps.


title: A Quick Introduction to Functional Verification of Array-Intensive Programs

abstract: Array-intensive programs are often amenable to parallelization across many cores on a single machine as well as scaling across multiple machines and hence are well explored, especially in the domain of high-performance computing. These programs typically undergo loop transformations and arithmetic transformations in addition to parallelizing transformations. Although a lot of effort has been invested in improving parallelizing compilers, experienced programmers still resort to hand-optimized transformations which is typically followed by careful tuning of the transformed program to finally obtain the optimized program. Therefore, it is critical to verify that the functional correctness of an original sequential program is not sacrificed during the process of optimization. In this paper, we cover important literature on functional verification of array-intensive programs which we believe can be a good starting point for one interested in this field.


title: Floating Wigner crystal with no boundary charge fluctuations

abstract: We modify the "floating crystal" trial state for the classical Homogeneous Electron Gas (also known as Jellium), in order to suppress the boundary charge fluctuations that are known to lead to a macroscopic increase of the energy. The argument is to melt a thin layer of the crystal close to the boundary and consequently replace it by an incompressible fluid. With the aid of this trial state we show that three different definitions of the ground state energy of Jellium coincide. In the first point of view the electrons are placed in a neutralizing uniform background. In the second definition there is no background but the electrons are submitted to the constraint that their density is constant, as is appropriate in Density Functional Theory. Finally, in the third system each electron interacts with a periodic image of itself, that is, periodic boundary conditions are imposed on the interaction potential.

categories: cond-mat.str-el math-ph math.MP physics.chem-ph


title: Sentence Length

abstract: The distribution of sentence length in ordinary language is not well captured by the existing models. Here we survey previous models of sentence length and present our random walk model that offers both a better fit with the data and a better understanding of the distribution. We develop a generalization of KL divergence, discuss measuring the noise inherent in a corpus, and present a hyperparameter-free Bayesian model comparison method that has strong conceptual ties to Minimal Description Length modeling. The models we obtain require only a few dozen bits, orders of magnitude less than the naive nonparametric MDL models would.


title: Manipulating Majorana zero modes in double quantum dots

abstract: Majorana zero modes (MZMs) emerging at the edges of topological superconducting wires have been proposed as the building blocks of novel, fault-tolerant quantum computation protocols. Coherent detection and manipulation of such states in scalable devices are, therefore, essential in these applications. Recent detection proposals include semiconductor quantum dots (QDs) coupled to the end of these wires, as changes in the QD electronic spectral density due to the MZM coupling could be detected in transport experiments. Here, we propose that multi-QD systems can also be used to manipulate MZMs through precise control over the QDs' parameters. The simplest case where Majorana manipulation is possible is in a double quantum dot (DQD) geometry. By using exact analytical methods and numerical renormalization-group calculations, we show that the QDs' spectral functions can be used to characterize the presence or not of MZMs "leaking" into the DQD. More importantly, we find that these signatures respond to changes in the DQD parameters such as gate-voltages and couplings in a consistent fashion. Additionally, we show that different MZM-DQD coupling geometries ("symmetric" , "in-series" and "T-shaped" junctions) offer distinct ways in which MZMs can be switched from dot to dot. These results highlight the interesting possibilities that DQDs offer for all-electrical MZM control in scalable devices.


title: The polymorphous nature of cubic halide perovskites

abstract: It has been long known that numerous halide and oxide perovskites can have non-ideal octahedra, showing tilting, rotation, and metal atom displacements. It has also been known that compounds that have at low temperatures a single structural motif ("monomorphous structures") could become disordered at higher temperatures, resulting in non-ideal octahedra as an entropy effect. What is shown here is that in many cubic halide perovskites and some oxides compounds a distribution of different low-symmetry octahedra ("polymorphous networks") emerge already from the minimization of the systems internal energy, i.e., they represent the intrinsic, preferred low temperature pattern of chemical bonding. Thermal disorder effects build up at elevated temperatures on top of such low temperature polymorphous networks. Compared with the monomorphous counterparts, the polymorphous networks have lower predicted total energies (enhanced stability), larger band gaps and dielectric constants now dominated by the ionic part, and agrees much more closely with the observed pair distribution functions. The nominal cubic perovskites (Pm-3m) structure deduced from X-Ray diffraction is actually a macroscopically averaged, high symmetry configuration, which should not be used to model electronic properties, given that the latter reflect a low symmetry local configuration.


title: Transport and Photo-Conduction in Carbon Nanotube Fibers

abstract: We have characterized the conductivity of carbon nanotubes (CNT) fibers enriched in semiconducting species as a function of temperature and pulsed laser irradiation of 266 nm wavelength. While at high temperatures the response approaches an Arrhenius law behavior, from room temperature down to 4.2 K the response can be framed, quantitatively, within the predictions of the fluctuation induced tunneling which occurs between the inner fibrils (bundles) of the samples and/or the elementary CNTs constituting the fibers. Laser irradiation induces an enhancement of the conductivity, and analysis of the resulting data confirms the (exponential) dependence of the potential barrier upon temperature as expected from the fluctuation induced tunneling model. A thermal map of the experimental configuration consisting of laser-irradiated fibers is also obtained via COMSOL simulations in order to rule out bare heating phenomena as the background of our experiments. (*) Author


title: A Note on Gravitational Particle Production in Supergravity

abstract: It is pointed out that the gravitational particle production rate of a scalar component of a chiral superfield in supergravity with minimal Kahler potential can be significantly suppressed compared with a minimal scalar field in non-supersymmetric Einstein gravity. This suppression is avoided for some choice of the inflaton sector and also for non-minimal Kahler potential of the chiral superfield.


title: Conformal invariance of TMD rapidity evolution

abstract: We discuss conformal properties of TMD operators and present the result of the conformal rapidity evolution of TMD operators in the Sudakov region.


title: A weight-adjusted discontinuous Galerkin method for wave propagation in coupled elastic-acoustic media

abstract: This paper presents a high-order discontinuous Galerkin (DG) scheme for the simulation of wave propagation through coupled elastic-acoustic media. We use a first-order stress-velocity formulation, and derive a simple upwind-like numerical flux which weakly imposes continuity of the normal velocity and traction at elastic-acoustic interfaces. When combined with easily invertible weight-adjusted mass matrices, the resulting method is efficient, consistent, and energy stable on curvilinear meshes and for arbitrary heterogeneous media, including anisotropy and sub-cell (micro) heterogeneities. We numerically verify the high order accuracy and stability of the proposed method, and investigate its performance for applications in photoacoustic tomography.


title: Planning Gamification Strategies based on User Characteristics and DM: A Gender-based Case Study

abstract: Gamification frameworks can aid in gamification planning for education. Most frameworks, however, do not provide ways to select, relate or recommend how to use game elements, to gamify a certain educational task. Instead, most provide a "one-size-fits-all" approach covering all learners, without considering different user characteristics, such as gender. Therefore, this work aims to adopt a data-driven approach to provide a set of game element recommendations, based on user preferences, that could be used by teachers and instructors to gamify learning activities. We analysed data from a novel survey of 733 people (male=569 and female=164), collecting information about user preferences regarding game elements. Our results suggest that the most important rules were based on four (out of nineteen) types of game elements: Objectives, Levels, Progress and Choice. From the perspective of user gender, for the female sample, the most interesting rule associated Objectives with Progress, Badges and Information (confidence=0.97), whilst the most interesting rule for the male sample associated also Objectives with Progress, Renovation and Choice (confidence=0.94). These rules and our descriptive analysis provides recommendations on how game elements can be used in educational scenarios.


title: A Comparison of Stereo-Matching Cost between Convolutional Neural Network and Census for Satellite Images

abstract: Stereo dense image matching can be categorized to low-level feature based matching and deep feature based matching according to their matching cost metrics. Census has been proofed to be one of the most efficient low-level feature based matching methods, while fast Convolutional Neural Network (fst-CNN), as a deep feature based method, has small computing time and is robust for satellite images. Thus, a comparison between fst-CNN and census is critical for further studies in stereo dense image matching. This paper used cost function of fst-CNN and census to do stereo matching, then utilized semi-global matching method to obtain optimized disparity images. Those images are used to produce digital surface model to compare with ground truth points. It addresses that fstCNN performs better than census in the aspect of absolute matching accuracy, histogram of error distribution and matching completeness, but these two algorithms still performs in the same order of magnitude.


title: LAGC: Lazily Aggregated Gradient Coding for Straggler-Tolerant and Communication-Efficient Distributed Learning

abstract: Gradient-based distributed learning in Parameter Server (PS) computing architectures is subject to random delays due to straggling worker nodes, as well as to possible communication bottlenecks between PS and workers. Solutions have been recently proposed to separately address these impairments based on the ideas of gradient coding, worker grouping, and adaptive worker selection. This paper provides a unified analysis of these techniques in terms of wall-clock time, communication, and computation complexity measures. Furthermore, in order to combine the benefits of gradient coding and grouping in terms of robustness to stragglers with the communication and computation load gains of adaptive selection, novel strategies, named Lazily Aggregated Gradient Coding (LAGC) and Grouped-LAG (G-LAG), are introduced. Analysis and results show that G-LAG provides the best wall-clock time and communication performance, while maintaining a low computational cost, for two representative distributions of the computing times of the worker nodes.


title: Analytic regularity and stochastic collocation of high dimensional Newton iterates

abstract: In this paper we introduce concepts from uncertainty quantification (UQ) and numerical analysis for the efficient evaluation of stochastic high dimensional Newton iterates. In particular, we develop complex analytic regularity theory of the solution with respect to the random variables. This justifies the application of sparse grids for the computation of stochastic moments. Convergence rates are derived and are shown to be subexponential or algebraic with respect to the number of realizations of random perturbations. Due the accuracy of the method, sparse grids are well suited for computing low probability events with high confidence. We apply our method to the power flow problem. Numerical experiments on the 39 bus New England power system model with large stochastic loads are consistent with the theoretical convergence rates.


title: Using Orthophoto for Building Boundary Sharpening in the Digital Surface Model

abstract: Nowadays dense stereo matching has become one of the dominant tools in 3D reconstruction of urban regions for its low cost and high flexibility in generating dense 3D points. However, state-of-the-art stereo matching algorithms usually apply a semi-global matching (SGM) strategy. This strategy normally assumes the surface geometry pieceswise planar, where a smooth penalty is imposed to deal with non-texture or repeating-texture areas. This on one hand, generates much smooth surface models, while on the other hand, may partially leads to smoothing on depth discontinuities, particularly for fence-shaped regions or densely built areas with narrow streets. To solve this problem, in this work, we propose to use the line segment information extracted from the corresponding orthophoto as a pose-processing tool to sharpen the building boundary of the Digital Surface Model (DSM) generated by SGM. Two methods which are based on graph-cut and plane fitting are proposed and compared. Experimental results on several satellite datasets with ground truth show the robustness and effectiveness of the proposed DSM sharpening method.


title: Rank-based persistence

abstract: Persistence has proved to be a valuable tool to analyze real world data robustly. Several approaches to persistence have been attempted over time, some topological in flavor, based on the vector space-valued homology functor, other combinatorial, based on arbitrary set-valued functors. To unify the study of topological and combinatorial persistence in a common categorical framework, we give axioms for a generalized rank function on objects in a target category, so that functors to that category induce persistence functions. We port the interleaving and bottleneck distances to this novel framework and generalize classical equalities and inequalities. Unlike sets and vector spaces, in many categories the rank of an object does not identify it up to isomorphism: to preserve information about the structure of persistence modules, we define colorable ranks, persistence diagrams and prove the equality between multicolored bottleneck distance and interleaving distance in semisimple Abelian categories. To illustrate our framework in practice, we give examples of multicolored persistent homology on filtered topological spaces with a group action and labeled point cloud data.


title: Multi-View Large-Scale Bundle Adjustment Method for High-Resolution Satellite Images

abstract: Given enough multi-view image corresponding points (also called tie points) and ground control points (GCP), bundle adjustment for high-resolution satellite images is used to refine the orientations or most often used geometric parameters Rational Polynomial Coefficients (RPC) of each satellite image in a unified geodetic framework, which is very critical in many photogrammetry and computer vision applications. However, the growing number of high resolution spaceborne optical sensors has brought two challenges to the bundle adjustment: 1) images come from different satellite cameras may have different imaging dates, viewing angles, resolutions, etc., thus resulting in geometric and radiometric distortions in the bundle adjustment; 2) The large-scale mapping area always corresponds to vast number of bundle adjustment corrections (including RPC bias and object space point coordinates). Due to the limitation of computer memory, it is hard to refine all corrections at the same time. Hence, how to efficiently realize the bundle adjustment in large-scale regions is very important. This paper particularly addresses the multi-view large-scale bundle adjustment problem by two steps: 1) to get robust tie points among different satellite images, we design a multi-view, multi-source tie point matching algorithm based on plane rectification and epipolar constraints, which is able to compensate geometric and local nonlinear radiometric distortions among satellite datasets, and 2) to solve dozens of thousands or even millions of variables bundle adjustment corrections in the large scale bundle adjustment, we use an efficient solution with only a little computer memory. Experiments on in-track and off-track satellite datasets show that the proposed method is capable of computing sub-pixel accuracy bundle adjustment results.


title: Simplified Neural Unsupervised Domain Adaptation

abstract: Unsupervised domain adaptation (UDA) is the task of modifying a statistical model trained on labeled data from a source domain to achieve better performance on data from a target domain, with access to only unlabeled data in the target domain. Existing state-of-the-art UDA approaches use neural networks to learn representations that can predict the values of subset of important features called "pivot features." In this work, we show that it is possible to improve on these methods by jointly training the representation learner with the task learner, and examine the importance of existing pivot selection methods.


title: Current-Driven Dynamics of Magnetic Hopfions

abstract: Topological magnetic textures have attracted considerable interest since they exhibit new properties and might be useful in information technology. Magnetic hopfions are three-dimensional (3D) spatial variations in the magnetization with a non-trivial Hopf index. We find that in ferromagnetic materials, two types of hopfions, Bloch-type and N\'{e}el-type hopfions, can be excited as metastable states in the presence of bulk and interfacial Dzyaloshinskii-Moriya interactions, respectively. We further investigate how hopfions can be driven by currents via spin-transfer torques (STTs) and spin-Hall torques (SHTs). Distinct from 2D ferromagnetic skyrmions, hopfions have a vanishing gyrovector. Consequently, there are no undesirable Hall effects. N\'{e}el-type hopfions move along the current direction via both STT and SHT, while Bloch-type hopfions can be moved either transverse to the current direction by SHT or parallel to the current direction by STT. Our findings open the door to utilizing hopfions as information carriers.


title: Alfv\'en wave-driven wind from RGB and AGB stars

abstract: We develop a magnetohydrodynamical model of Alfv\'en wave-driven wind in open magnetic flux tubes piercing the stellar surface of Red Giant Branch (RGB) and Asymptotic Giant Branch (AGB) stars, and investigate the physical properties of the winds. The model simulations are carried out along the evolutionary tracks of stars with initial mass in the range of 1.5 to 3.0 $M_{\odot}$ and initial metallicity $Z_{\rm ini}$=0.02. The surface magnetic field strength being set to be 1G, we find that the wind during the evolution of star can be classified into the following four types; the first is the wind with the velocity higher than 80 km s$^{-1}$ in the RGB and early AGB (E-AGB) phases; the second is the wind with outflow velocity less than 10 km s$^{-1}$ seen around the tip of RGB or in the E-AGB phase; the third is the unstable wind in the E-AGB and thermally pulsing AGB (TP-AGB) phases; the fourth is the stable massive and slow wind with the mass-loss rate higher than 10$^{-7} M_{\odot}$ yr$^{-1}$ and the outflow velocity lower than 20 km s$^{-1}$ in the TP-AGB phase. The mass-loss rates in the first and second types of wind are two or three orders of magnitude lower than the values evaluated by an empirical formula. The presence of massive and slow wind of the fourth type suggests the possibility that the massive outflow observed in TP-AGB stars could be attributed to the Alfv\'en wave-driven wind.


title: Submodularity in Systems with Higher Order Consensus with Absolute Information

abstract: We investigate the performance of m-th order consensus systems with stochastic external perturbations, where a subset of leader nodes incorporates absolute information into their control laws. The system performance is measured by its coherence, an $H_2$ norm that quantifies the total steady-state variance of the deviation from the desired trajectory. We first give conditions under which such systems are stable, and we derive expressions for coherence in stable second, third, and fourth order systems. We next study the problem of how to identify a set of leaders that optimizes coherence. To address this problem, we define set functions that quantify each system's coherence and prove that these functions are submodular. This allows the use of an efficient greedy algorithm that to find a leader set with which coherence is within a constant bound of optimal. We demonstrate the performance of the greedy algorithm empirically, and further, we show that the optimal leader sets for the different orders of consensus dynamics do not necessarily coincide.


title: ZJUNlict Extended Team Description Paper for RoboCup 2019

abstract: For the Small Size League of RoboCup 2018, Team ZJUNLict has won the champion and therefore, this paper thoroughly described the devotion which ZJUNLict has devoted and the effort that ZJUNLict has contributed. There are three mean optimizations for the mechanical part which accounted for most of our incredible goals, they are "Touching Point Optimization", "Damping System Optimization", and "Dribbler Optimization". For the electrical part, we realized "Direct Torque Control", "Efficient Radio Communication Protocol" which will be credited for stabilizing the dribbler and a more secure communication between robots and the computer. Our software group contributed as much as our hardware group with the effort of "Vision Lost Compensation" to predict the movement by kalman filter, and "Interception Prediction Algorithm" to achieve some skills and improve our ball possession rate.


title: Short echo time relaxation-enhanced MR spectroscopy reveals broad downfield resonances

abstract: Purpose: Most MR spectroscopy (MRS) pulse sequences rely on broadband excitation with water saturation and typically focus on upfield signals. By contrast, the downfield spectrum, which contains many potentially useful resonances, is typically not targeted because conventional water-suppressed techniques indirectly saturate the labile protons through exchange. Relaxation-enhanced MRS (RE-MRS) uses frequency-selective excitation while actively avoiding bulk water perturbation, thereby enabling high-quality downfield spectroscopy. However, RE-MRS typically requires very long (typically >40 ms) echo times (TEs) due to its localization module, which inevitably decreases sensitivity and filters shorter T2 components. Here, we overcome this limitation by combining RE-MRS and image selected in vivo spectroscopy (ISIS) localization, abbreviated iRE-MRS, which in turn allows very short TEs (5 ms using our hardware). Methods: Experiments were performed in vitro for validation as well as and in in vivo rat brains at 9.4T. Results: The new iRE-MRS methodology was validated in phantoms where good performance was noted. When the downfield spectrum was investigated at short TEs in in vivo rat brains, iRE-MRS provided very high sensitivity; the ensuing downfield spectra encompassed numerous broad peaks, as well as a broad baseline. All downfield spectral peaks were highly attenuated by increasing TEs as well as by applying water saturation, although to different extent. The signal ratios also varied between TEs, suggesting that exchange rates are different among the downfield signals. Conclusions: Short-TE iRE 1H downfield MRS opens new directions in the investigation of in vivo downfield metabolites and their role on healthy and disease processes.


title: Semi-dynamical systems generated by autonomous Caputo fractional differential equations

abstract: An autonomous Caputo fractional differential equation of order $\alpha\in(0,1)$ in $\mathbb{R}^d$ whose vector field satisfies a global Lipschitz condition is shown to generate a semi-dynamical system in the function space $\mathfrak{C}$ of continuous functions $f:\R^+\rightarrow \R^d$ with the topology uniform convergence on compact subsets. This contrasts with a recent result of Cong \& Tuan \cite{cong}, which showed that such equations do not, in general, generate a dynamical system on the space $\mathbb{R}^d$.


title: Level-1 Phylogenetic Networks and their Balanced Minimum Evolution Polytopes

abstract: Balanced minimum evolution is a distance-based criterion for the reconstruction of phylogenetic trees. Several algorithms exist to find the optimal tree with respect to this criterion. One approach is to minimize a certain linear functional over an appropriate polytope. Here we present polytopes that allow a similar linear programming approach to finding phylogenetic networks. We investigate a two-parameter family of polytopes that arise from phylogenetic networks, and which specialize to the Balanced Minimum Evolution polytopes as well as the Symmetric Travelling Salesman polytopes. We show that the vertices correspond to certain level-1 phylogenetic networks, and that there are facets or faces for every split. We also describe minimal facets and a family of faces for every dimension.


title: Thermodynamic Formalism for Haar systems in Noncommutative Integration: transverse functions and entropy of transverse measures

abstract: We consider here a class of groupoids obtained via an equivalence relation (the subgroupoids of pair groupoids). We generalize to Haar Systems in these groupoids some results related to entropy and pressure which are well known in Thermodynamic Formalism. We introduce a transfer operator, where the equivalence relation (which defines the groupoid) plays the role of the dynamics and the corresponding transverse function plays the role of the {\it a priori} probability. We also introduce the concept of invariant transverse probability and of entropy for an invariant transverse probability, as well as of pressure for transverse functions. Moreover, we explore the relation between quasi-invariant probabilities and transverse measures. Our results are on measurable category.

categories: math.DS cond-mat.stat-mech math-ph math.MP math.PR


title: Biometric Backdoors: A Poisoning Attack Against Unsupervised Template Updating

abstract: In this work, we investigate the concept of biometric backdoors: a template poisoning attack on biometric systems that allows adversaries to stealthily and effortlessly impersonate users in the long-term by exploiting the template update procedure. We show that such attacks can be carried out even by attackers with physical limitations (no digital access to the sensor) and zero knowledge of training data (they know neither decision boundaries nor user template). Based on the adversaries' own templates, they craft several intermediate samples that incrementally bridge the distance between their own template and the legitimate user's. As these adversarial samples are added to the template, the attacker is eventually accepted alongside the legitimate user. To avoid detection, we design the attack to minimize the number of rejected samples. We design our method to cope with the weak assumptions for the attacker and we evaluate the effectiveness of this approach on state-of-the-art face recognition pipelines based on deep neural networks. We find that in scenarios where the deep network is known, adversaries can successfully carry out the attack over 70% of cases with less than ten injection attempts. Even in black-box scenarios, we find that exploiting the transferability of adversarial samples from surrogate models can lead to successful attacks in around 15% of cases. Finally, we design a poisoning detection technique that leverages the consistent directionality of template updates in feature space to discriminate between legitimate and malicious updates. We evaluate such a countermeasure with a set of intra-user variability factors which may present the same directionality characteristics, obtaining equal error rates for the detection between 7-14% and leading to over 99% of attacks being detected after only two sample injections.


title: The Computational Complexity of Understanding Network Decisions

abstract: For a Boolean function $\Phi\colon\{0,1\}^d\to\{0,1\}$ and an assignment to its variables $\mathbf{x}=(x_1, x_2, \dots, x_d)$ we consider the problem of finding the subsets of the variables that are sufficient to determine the function value with a given probability $\delta$. This is motivated by the task of interpreting predictions of binary classifiers described as Boolean circuits (which can be seen as special cases of neural networks). We show that the problem of deciding whether such subsets of relevant variables of limited size $k\leq d$ exist is complete for the complexity class $\mathsf{NP}^{\mathsf{PP}}$ and thus generally unfeasible to solve. We introduce a variant where it suffices to check whether a subset determines the function value with probability at least $\delta$ or at most $\delta-\gamma$ for $0<\gamma<\delta$. This reduces the complexity to the class $\mathsf{NP}^{\mathsf{BPP}}$. Finally, we show that finding the minimal set of relevant variables can not be reasonably approximated, i.e. with an approximation factor $d^{1-\alpha}$ for $\alpha > 0$, by a polynomial time algorithm unless $\mathsf{P} = \mathsf{NP}$ (this holds even with the probability gap).


title: Longitudinal Sound and Diffusion in Holographic Massive Gravity

abstract: We consider a simple class of holographic massive gravity models for which the dual field theories break translational invariance spontaneously. We study, in detail, the longitudinal sector of the quasi-normal modes at zero charge density. We identify three hydrodynamic modes in this sector: a pair of sound modes and one diffusion mode. We numerically compute the dispersion relations of the hydrodynamic modes. The obtained speed and the attenuation of the sound modes are in agreement with the hydrodynamic predictions. On the contrary, we surprisingly find disagreement in the case of the diffusive mode; its diffusion constant extracted from the quasi-normal mode data does not agree with the expectations from hydrodynamics. We confirm our numerical results using analytic tools in the decoupling limit and we comment on some possible reasons behind the disagreement. Finally, we extend the analysis of the collective longitudinal modes beyond the hydrodynamic limit by displaying the dynamics of the higher quasi-normal modes at large frequencies and momenta.


title: A framework for the extraction of Deep Neural Networks by leveraging public data

abstract: Machine learning models trained on confidential datasets are increasingly being deployed for profit. Machine Learning as a Service (MLaaS) has made such models easily accessible to end-users. Prior work has developed model extraction attacks, in which an adversary extracts an approximation of MLaaS models by making black-box queries to it. However, none of these works is able to satisfy all the three essential criteria for practical model extraction: (1) the ability to work on deep learning models, (2) the non-requirement of domain knowledge and (3) the ability to work with a limited query budget. We design a model extraction framework that makes use of active learning and large public datasets to satisfy them. We demonstrate that it is possible to use this framework to steal deep classifiers trained on a variety of datasets from image and text domains. By querying a model via black-box access for its top prediction, our framework improves performance on an average over a uniform noise baseline by 4.70x for image tasks and 2.11x for text tasks respectively, while using only 30% (30,000 samples) of the public dataset at its disposal.


title: Two stage cluster for resource optimization with Apache Mesos

abstract: As resource estimation for jobs is difficult, users often overestimate their requirements. Both commercial clouds and academic campus clusters suffer from low resource utilization and long wait times as the resource estimates for jobs, provided by users, is inaccurate. We present an approach to statistically estimate the actual resource requirement of a job in a Little cluster before the run in a Big cluster. The initial estimation on the little cluster gives us a view of how much actual resources a job requires. This initial estimate allows us to accurately allocate resources for the pending jobs in the queue and thereby improve throughput and resource utilization. In our experiments, we determined resource utilization estimates with an average accuracy of 90% for memory and 94% for CPU, while we make better utilization of memory by an average of 22% and CPU by 53%, compared to the default job submission methods on Apache Aurora and Apache Mesos.


title: From Static to Cosmological Solutions of N=2 Supergravity

abstract: We obtain cosmological solutions with Kasner-like asymptotics in N=2 gauged and ungauged supergravity by maximal analytic continuation of planar versions of non-extremal black hole solutions. Initially, we construct static solutions with planar symmetry by solving the time-reduced field equations. Upon lifting back to four dimensions, the resulting static regions are incomplete and bounded by a curvature singularity on one side and a Killing horizon on the other. Analytic continuation reveals the existence of dynamic patches in the past and future, with Kasner-like asymptotics. For the ungauged STU-model, our solutions contain previously known solutions with the same conformal diagram as a subset. We find explicit lifts to five, six, ten and eleven dimensions which show that in the extremal limit, the underlying brane configuration is the same as for STU black holes. The extremal limit of the six-dimensional lift is shown to be BPS for special choices of the integration constants. We argue that there is a universal correspondence between spherically symmetric black hole solutions and planar cosmological solutions which can be illustrated using the Reissner-Nordstr\"om solution of Einstein-Maxwell theory.


title: Predicting quantum many-body dynamics with transferable neural networks

abstract: Machine learning (ML) architectures such as convolutional neural networks (CNNs) have garnered considerable recent attention in the study of quantum many-body systems. However, advanced ML approaches such as transfer learning have seldom been applied to such contexts. Here we demonstrate that a simple recurrent unit (SRU) based efficient and transferable sequence learning framework is capable of learning and accurately predicting the time evolution of one-dimensional (1D) Ising model with simultaneous transverse and parallel magnetic fields, as quantitatively corroborated by relative entropy measurements and magnetization between the predicted and exact state distributions. At a cost of constant computational complexity, a larger many-body state evolution was predicted in an autoregressive way from just one initial state, without any guidance or knowledge of any Hamiltonian. Our work paves the way for future applications of advanced ML methods in quantum many-body dynamics only with knowledge from a smaller system.

categories: cond-mat.stat-mech cond-mat.str-el physics.comp-ph quant-ph


title: Offline state estimation for hybrid systems via nonsmooth variable projection

abstract: A hybrid dynamical system switches between dynamic regimes at time- or state-triggered events. We propose an offline algorithm that simultaneously estimates discrete and continuous components of a hybrid system's state. We formulate state estimation as a continuous optimization problem by relaxing the discrete component and use a robust loss function to accommodate large changes in the continuous component during switching events. Subsequently, we develop a novel nonsmooth variable projection algorithm with Gauss-Newton updates to solve the state estimation problem and prove the algorithm's global convergence to stationary points. We demonstrate the effectiveness of our approach on simple piecewise-linear and -nonlinear mechanical systems undergoing intermittent impact.