title: Clingcon: The Next Generation

abstract: We present the third generation of the constraint answer set system clingcon, combining Answer Set Programming (ASP) with finite domain constraint processing (CP). While its predecessors rely on a black-box approach to hybrid solving by integrating the CP solver gecode, the new clingcon system pursues a lazy approach using dedicated constraint propagators to extend propagation in the underlying ASP solver clasp. No extension is needed for parsing and grounding clingcon's hybrid modeling language since both can be accommodated by the new generic theory handling capabilities of the ASP grounder gringo. As a whole, clingcon 3 is thus an extension of the ASP system clingo 5, which itself relies on the grounder gringo and the solver clasp. The new approach of clingcon offers a seamless integration of CP propagation into ASP solving that benefits from the whole spectrum of clasp's reasoning modes, including for instance multi-shot solving and advanced optimization techniques. This is accomplished by a lazy approach that unfolds the representation of constraints and adds it to that of the logic program only when needed. Although the unfolding is usually dictated by the constraint propagators during solving, it can already be partially (or even totally) done during preprocessing. Moreover, clingcon's constraint preprocessing and propagation incorporate several well established CP techniques that greatly improve its performance. We demonstrate this via an extensive empirical evaluation contrasting, first, the various techniques in the context of CSP solving and, second, the new clingcon system with other hybrid ASP systems. Under consideration in Theory and Practice of Logic Programming (TPLP)


title: Device Independent Quantum Private Query with Finite Number of Entangled Qubits

abstract: In a recent work by Maitra et al. (Phys. Rev. A, 2017), it was shown that the existing Quantum Private Query (QPQ) protocols fail to maintain the database security if the entangled states shared between Alice and Bob are not of a certain form. So it is necessary to certify the states a priori. In this regard, the local CHSH test was proposed. However, the proposed scheme works perfectly for the asymptotic case when we have infinite number of qubits. In this brief report, we upgrade the protocol for finite number of qubits and connect the sample size to the success probability of CHSH test. We also perform a rigorous security analysis of the proposed protocol.


title: Correlation induced electron-hole asymmetry in quasi-2D iridates

abstract: We determine the motion of a charge (hole or electron) added to the Mott insulating, antiferromagnetic (AF) ground-state of quasi-2D iridates such as Ba 2 IrO 4 or Sr 2 IrO 4 . We show that correlation effects, calculated within the self-consistent Born approximation, render the hole and electron case very different. An added electron forms a spin-polaron, which closely resembles the well-known cuprates, but the situation of a removed electron is far more complex. Many-body 5d 4 configurations form which can be singlet and triplets of total angular momentum J and strongly affect the hole motion between AF sublattices. This not only has important ramifications for the interpretation of (inverse-)photoemission experiments of quasi-2D iridates but also demonstrates that the correlation physics in electron- and hole-doped iridates is fundamentally different.


title: Computing Invariants of the Weil representation

abstract: We propose an algorithm for computing bases and dimensions of spaces of invariants of Weil representations of $\mathrm{SL}_2(\mathbb{Z})$ associated to finite quadratic modules. We prove that these spaces are defined over $\mathbb{Z}$, and that their dimension remains stable if we replace the base field by suitable finite prime fields.


title: Boardman--Vogt tensor products of absolutely free operads

abstract: We establish a combinatorial model for the Boardman--Vogt tensor product of several absolutely free operads, that is free symmetric operads that are also free as $\mathbb{S}$-modules. Our results imply that such a tensor product is always a free $\mathbb{S}$-module, in contrast with the results of Kock and Bremner--Madariaga on hidden commutativity for the Boardman--Vogt tensor square of the operad of non-unital associative algebras.


title: Blurred Complex Exponentiation

abstract: It is shown that the complex field equipped with the "approximate exponential map", defined up to ambiguity from a small group, is quasiminimal: every automorphism-invariant subset of the field is countable or co-countable. If the ambiguity is taken to be from a subfield analogous to a field of constants then the resulting "blurred exponential field" is isomorphic to the result of an equivalent blurring of Zilber's exponential field, and to a suitable reduct of a differentially closed field. These results are progress towards Zilber's conjecture that the complex exponential field itself is quasiminimal. A key ingredient in the proofs is to prove the analogue of the exponential-algebraic closedness property using the density of the group governing the ambiguity with respect to the complex topology.


title: Electromagnetic modes from Stoner enhancement

abstract: Systems with substantial spin fluctuations, can internally dress the polarization function by ladder diagram of Stoner (spin-flip) excitations. This process can drastically modify the electromagnetic response. As a case study we provide detailed analysis of the corrections to the non-local optical conductivity of both doped and undoped graphene. While the resummation of ladder diagram of Stoner excitations does not affect the TE mode in doped graphene, it allows for a new undampled TM mode in undoped graphene. This is the sole effect of corrections arising from ladder diagrams and is dominated by Stoner excitations along the ladder rung which goes away by turning off the source of spin-flip interactions. This can be considered as a direct probe of the spin fluctuations.


title: Topological responses from chiral anomaly in multi-Weyl semimetals

abstract: Multi-Weyl semimetals are a kind of topological phase of matter with discrete Weyl nodes characterized by multiple monopole charges, in which the chiral anomaly, the anomalous nonconservation of an axial current, occurs in the presence of electric and magnetic fields. Electronic transport properties related to the chiral anomaly in the presence of both electromagnetic fields and axial electromagnetic fields in multi-Weyl semimetals are systematically studied. It has been found that the anomalous Hall conductivity has a modification linear in the axial vector potential from inhomogeneous strains. The axial electric field leads to an axial Hall current that is proportional to the distance of Weyl nodes in momentum space. This axial current may generate chirality accumulation of Weyl fermions through delicately engineering the axial electromagnetic fields even in the absence of external electromagnetic fields. Therefore, this work provides a nonmagnetic mechanism of generation of chirality accumulation in Weyl semimetals and might shed new light on the application of Weyl semimetals in the emerging field of valleytronics.


title: Incentivizing Reliable Demand Response with Customers' Uncertainties and Capacity Planning

abstract: One of the major issues with the integration of renewable energy sources into the power grid is the increased uncertainty and variability that they bring. If this uncertainty is not sufficiently addressed, it will limit the further penetration of renewables into the grid and even result in blackouts. Compared to energy storage, Demand Response (DR) has advantages to provide reserves to the load serving entities (LSEs) in a cost-effective and environmentally friendly way. DR programs work by changing customers' loads when the power grid experiences a contingency such as a mismatch between supply and demand. Uncertainties from both the customer-side and LSE-side make designing algorithms for DR a major challenge. This paper makes the following main contributions: (i) We propose DR control policies based on the optimal structures of the offline solution. (ii) A distributed algorithm is developed for implementing the control policies without efficiency loss. (iii) We further offer an enhanced policy design by allowing flexibilities into the commitment level. (iv) We perform real world trace based numerical simulations which demonstrate that the proposed algorithms can achieve near optimal social cost. Details can be found in our extended version.


title: Relativistic Newtonian Dynamics

abstract: Planck's formula and General Relativity indicate that potential energy influences spacetime. Using Einstein's Equivalence Principle and an extension of his Chock Hypothesis, an explicit description of this influence is derived. We present a new relativity model by incorporating the influence of the potential energy on spacetime in Newton's dynamics for motion under a central force. This model extends the model used by Friedman and Steiner to obtain the exact precession of Mercury without curving spacetime. We also present a solution of this model for a hydrogen-like atom, which explains the reason for a probabilistic description.


title: Exponential Ergodicity of the Bouncy Particle Sampler

abstract: Non-reversible Markov chain Monte Carlo schemes based on piecewise deterministic Markov processes have been recently introduced in applied probability, automatic control, physics and statistics. Although these algorithms demonstrate experimentally good performance and are accordingly increasingly used in a wide range of applications, geometric ergodicity results for such schemes have only been established so far under very restrictive assumptions. We give here verifiable conditions on the target distribution under which the Bouncy Particle Sampler algorithm introduced in \cite{P_dW_12} is geometrically ergodic. This holds whenever the target satisfies a curvature condition and has tails decaying at least as fast as an exponential and at most as fast as a Gaussian distribution. This allows us to provide a central limit theorem for the associated ergodic averages. When the target has tails thinner than a Gaussian distribution, we propose an original modification of this scheme that is geometrically ergodic. For thick-tailed target distributions, such as $t$-distributions, we extend the idea pioneered in \cite{J_G_12} in a random walk Metropolis context. We apply a change of variable to obtain a transformed target satisfying the tail conditions for geometric ergodicity. By sampling the transformed target using the Bouncy Particle Sampler and mapping back the Markov process to the original parameterization, we obtain a geometrically ergodic algorithm.


title: Numerical Assessment and Optimization of Discrete-Variable Time-Frequency Quantum Key Distribution

abstract: The discrete variables (DV) time-frequency (TF) quantum key distribution (QKD) protocol is a BB84 like protocol, which utilizes time and frequency as complementary bases. As orthogonal modulations, pulse position modulation (PPM) and frequency shift keying (FSK) are capable of transmitting several bits per symbol, i.e. per photon. However, unlike traditional binary polarization shift keying, PPM and FSK do not allow perfectly complementary bases. So information is not completely deleted when the wrong-basis filters are applied. Since a general security proof does not yet exist, we numerically assess DV-TF-QKD. We show that the secret key rate increases with a higher number of symbols per basis. Further we identify the optimal pulse relations in the two bases in terms of key rate and resistance against eavesdropping attacks.


title: Schwarz-Christoffel: piliero en rivero (a pillar on a river)

abstract: La transformoj de Schwarz-Christoffel mapas, konforme, la superan kompleksan duon-ebenon al regiono limigita per rektaj segmentoj. Cxi tie ni priskribas kiel konvene kunigi mapon de la suba duon-ebeno al mapo de la supera duon-ebeno. Ni emfazas la bezonon de klara difino de angulo de kompleksa nombro, por tiu kunigo. Ni diskutas kelkajn ekzemplojn kaj donas interesan aplikon pri movado de fluido. ------- Schwarz-Christoffel transformations map, conformally, the complex upper half plane into a region bounded by right segments. Here we describe how to couple conveniently a map of the lower half plane to the map of the upper half plane. We emphasize the need of a clear definition of angle of a complex, to that coupling. We discuss some examples and give an interesting application for motion of fluid.


title: Search for the Dimuon Decay of the Higgs Boson in $pp$ Collisions at $\sqrt{s}$ = 13 TeV with the ATLAS Detector

abstract: A search for the dimuon decay of the Higgs boson was performed using data corresponding to an integrated luminosity of 36.1 fb$^{-1}$ collected with the ATLAS detector in $pp$ collisions at $\sqrt{s}=13$ TeV at the Large Hadron Collider. No significant excess is observed above the expected background. The observed (expected) upper limit on the cross section times branching ratio is 3.0 (3.1) times the Standard Model prediction at the 95% confidence level for a Higgs boson mass of 125 GeV. When combined with the $pp$ collision data at $\sqrt{s}=7$ TeV and $\sqrt{s}=8$ TeV, the observed (expected) upper limit is 2.8 (2.9) times the Standard Model prediction.


title: Cloud-based Fault Detection and Classification for Oil & Gas Industry

abstract: Oil & Gas industry relies on automated, mission-critical equipment and complex systems built upon their interaction and cooperation. To assure continuous operation and avoid any supervision, architects embed Distributed Control Systems (DCS), a.k.a. Supervisory Control and Data Acquisition (SCADA) systems, on top of their equipment to generate data, monitor state and make critical online & offline decisions. In this paper, we propose a new Lambda architecture for oil & gas industry for unified data and analytical processing on data received from DCS, discuss cloud integration issues and share our experiences with the implementation of sensor fault-detection and classification modules inside the proposed architecture.


title: spBayesSurv: Fitting Bayesian Spatial Survival Models Using R

abstract: Spatial survival analysis has received a great deal of attention over the last 20 years due to the important role that geographical information can play in predicting survival. This paper provides an introduction to a set of programs for implementing some Bayesian spatial survival models in R using the package spBayesSurv. The function survregbayes includes the three most commonly-used semiparametric models: proportional hazards, proportional odds, and accelerated failure time. All manner of censored survival times are simultaneously accommodated including uncensored, interval censored, current-status, left and right censored, and mixtures of these. Left-truncated data are also accommodated. Time-dependent covariates are allowed under the piecewise constant assumption. Both georeferenced and areally observed spatial locations are handled via frailties. Model fit is assessed with conditional Cox-Snell residual plots, and model choice is carried out via the log pseudo marginal likelihood, the deviance information criterion and the Watanabe-Akaike information criterion. The accelerated failure time frailty model with a covariate-dependent baseline is included in the function frailtyGAFT. In addition, the package also provides two marginal survival models: proportional hazards and linear dependent Dirichlet process mixture, where the spatial dependence is modeled via spatial copulas. Note that the package can also handle non-spatial data using non-spatial versions of aforementioned models.


title: Provably Safe and Robust Drone Routing via Sequential Path Planning: A Case Study in San Francisco and the Bay Area

abstract: Provably safe and scalable multi-vehicle path planning is an important and urgent problem due to the expected increase of automation in civilian airspace in the near future. Hamilton-Jacobi (HJ) reachability is an ideal tool for analyzing such safety-critical systems and has been successfully applied to several small-scale problems. However, a direct application of HJ reachability to large scale systems is often intractable because of its exponentially-scaling computation complexity with respect to system dimension, also known as the "curse of dimensionality". To overcome this problem, the sequential path planning (SPP) method, which assigns strict priorities to vehicles, was previously proposed; SPP allows multi-vehicle path planning to be done with a linearly-scaling computation complexity. In this work, we demonstrate the potential of SPP algorithm for large-scale systems. In particular, we simulate large-scale multi-vehicle systems in two different urban environments, a city environment and a multi-city environment, and use the SPP algorithm for trajectory planning. SPP is able to efficiently design collision-free trajectories in both environments despite the presence of disturbances in vehicles' dynamics. To ensure a safe transition of vehicles to their destinations, our method automatically allocates space-time reservations to vehicles while accounting for the magnitude of disturbances such as wind in a provably safe way. Our simulation results show an intuitive multi-lane structure in airspace, where the number of lanes and the distance between the lanes depend on the size of disturbances and other problem parameters.


title: The Stability Spectrum for Elliptic Solutions to the Sine-Gordon Equation

abstract: We present an analysis of the stability spectrum for all stationary periodic solutions to the sine-Gordon equation. An analytical expression for the spectrum is given. From this expression, various quantitative and qualitative results about the spectrum are derived. Specifically, the solution parameter space is shown to be split into regions of distinct qualitative behavior of the spectrum, in one of which the solutions are stable. Additional results on the stability of solutions with respect to perturbations of an integer multiple of the solution period are given.


title: Complexity and Inapproximability Results for Parallel Task Scheduling and Strip Packing

abstract: We study the Parallel Task Scheduling problem $Pm|size_j|C_{\max}$ with a constant number of machines. This problem is known to be strongly NP-complete for each $m \geq 5$, while it is solvable in pseudo-polynomial time for each $m \leq 3$. We give a positive answer to the long-standing open question whether this problem is strongly $NP$-complete for $m=4$. As a second result, we improve the lower bound of $\frac{12}{11}$ for approximating pseudo-polynomial Strip Packing to $\frac{5}{4}$. Since the best known approximation algorithm for this problem has a ratio of $\frac{4}{3} + \varepsilon$, this result narrows the gap between approximation ratio and inapproximability result by a significant step. Both results are proven by a reduction from the strongly $NP$-complete problem 3-Partition.


title: Magnetic field in IRC+10216 and other C-Rich Evolved Stars

abstract: During the transition from the Asymptotic Giant Branch (AGB) to Planetary Nebulae (PN), the circumstellar geometry and morphology change dramatically. Another characteristic of this transition is the high mass loss rate, that can be partially explained by radiation pressure and a combination of various factors like the stellar pulsation, the dust grain condensation and opacity in the upper atmosphere. The magnetic field can also be one of the main ingredients that shapes the stellar upper atmosphere and envelope. Our main goal is to investigate for the first time the spatial distribution of the magnetic field in the envelope of IRC+10216. More generally we intend to determine the magnetic field strength in the circumstellar envelope (CSE) of C-rich evolved stars, compare this field with previous studies for O-rich stars, and constrain the variation of the magnetic field with r the distance to the star's center. We use spectropolarimetric observations of the Stokes V parameter, collected with Xpol on the IRAM-30m radiotelescope, observing the Zeeman effect in seven hyperfine components of the CN J = 1-0 line. We use Crutcher's method to estimate the magnetic field. For C-rich evolved stars, we derive a magnetic field strength (B) between 1.6 and 14.2 mG while B is estimated to be 6 mG for the proto-PN (PPN) AFGL618, and an upper value of 8 mG is found for the PN NGC7027. These results are consistent with a decrease of B as 1/r in the environment of AGB objects, i.e., with the presence of a toroidal field. But this is not the case for PPN and PN stars. Our map of IRC+10216 suggests that the magnetic field is not homogeneously strong throughout or aligned with the envelope and that the morphology of the CN emission might have changed with time.


title: How to answer a small batch of RMQs or LCA queries in practice

abstract: In the Range Minimum Query (RMQ) problem, we are given an array $A$ of $n$ numbers and we are asked to answer queries of the following type: for indices $i$ and $j$ between $0$ and $n-1$, query $\text{RMQ}_A(i,j)$ returns the index of a minimum element in the subarray $A[i..j]$. Answering a small batch of RMQs is a core computational task in many real-world applications, in particular due to the connection with the Lowest Common Ancestor (LCA) problem. With small batch, we mean that the number $q$ of queries is $o(n)$ and we have them all at hand. It is therefore not relevant to build an $\Omega(n)$-sized data structure or spend $\Omega(n)$ time to build a more succinct one. It is well-known, among practitioners and elsewhere, that these data structures for online querying carry high constants in their pre-processing and querying time. We would thus like to answer this batch efficiently in practice. With efficiently in practice, we mean that we (ultimately) want to spend $n + \mathcal{O}(q)$ time and $\mathcal{O}(q)$ space. We write $n$ to stress that the number of operations per entry of $A$ should be a very small constant. Here we show how existing algorithms can be easily modified to satisfy these conditions. The presented experimental results highlight the practicality of this new scheme. The most significant improvement obtained is for answering a small batch of LCA queries. A library implementation of the presented algorithms is made available.


title: Distributed-Memory Breadth-First Search on Massive Graphs

abstract: This chapter studies the problem of traversing large graphs using the breadth-first search order on distributed-memory supercomputers. We consider both the traditional level-synchronous top-down algorithm as well as the recently discovered direction optimizing algorithm. We analyze the performance and scalability trade-offs in using different local data structures such as CSR and DCSC, enabling in-node multithreading, and graph decompositions such as 1D and 2D decomposition.


title: Learning ReLUs via Gradient Descent

abstract: In this paper we study the problem of learning Rectified Linear Units (ReLUs) which are functions of the form $max(0,<w,x>)$ with $w$ denoting the weight vector. We study this problem in the high-dimensional regime where the number of observations are fewer than the dimension of the weight vector. We assume that the weight vector belongs to some closed set (convex or nonconvex) which captures known side-information about its structure. We focus on the realizable model where the inputs are chosen i.i.d.~from a Gaussian distribution and the labels are generated according to a planted weight vector. We show that projected gradient descent, when initialization at 0, converges at a linear rate to the planted model with a number of samples that is optimal up to numerical constants. Our results on the dynamics of convergence of these very shallow neural nets may provide some insights towards understanding the dynamics of deeper architectures.


title: A short note on "Group theoretic approach to rationally extended shape invariant potentials" [Annals of Physics 359, 46 (2015)]

abstract: It is proved the equivalence of the compatibility condition of [A. Ramos, J. Phys. A 44 (2011) 342001, Phys. Lett. A 376 (2012) 3499] with a condition found in [Yadav et al., Ann. Phys. 359 (2015) 46]. The link of Shape Invariance with the existence of a Potential Algebra is reinforced for the rationally extended Shape Invariant potentials. Some examples on X1 and Xl Jacobi and Laguerre cases are given.


title: Cavity optomechanics with surface acoustic waves

abstract: We report a development of an electro-optomechanical system based on a surface acoustic wave (SAW), where a piezoelectric material with a large optoelastic susceptibility is used for the coupling of both a radio wave and optical light to the SAW. In the optical domain, we exploit a tensorial nature of the optoelastic effect to show a polarization dependence of the photon-SAW interaction. We discuss the construction of two-dimensional SAW focusing circuits for the coupling enhancement and the optical cavity enhanced photon-phonon scattering. We estimate an optomechanical coupling rate $g_0$ of the system and discuss the future direction for the improvement of the coupling strength.


title: BslA-stabilised emulsion droplets with designed microstructure

abstract: Emulsions are a central component of many modern formulations in food, pharmaceuticals, agrichemicals and personal care products. The droplets in these formulations are limited to being spherical as a consequence of the interfacial tension between the dispersed phase and continuous phase. The ability to control emulsion droplet morphology and stabilise non-spherical droplets would enable the modification of emulsion properties such as stability, substrate binding, delivery rate and rheology. One way of controlling droplet microstructure is to apply an elastic film around the droplet to prevent it from relaxing into a sphere. We have previously shown that BslA, an interfacial protein produced by the bacterial genus Bacillus, forms an elastic film when exposed to an oil- or air-water interface. Here, we highlight BslA's ability to stabilise anisotropic emulsion droplets. First, we show that BslA is capable of arresting dynamic emulsification processes leading to emulsions with variable morphologies depending on the conditions and emulsification technique applied. We then show that frozen emulsion droplets can be manipulated to induce partial coalescence. The structure of the partially coalesced droplets is retained after melting, but only when there is sufficient free BslA in the continuous phase. That the fidelity of replication can be tuned by adjusting the amount of free BslA in solution suggests that freezing BslA-stabilised droplets disrupts the BslA film. Finally, we utilise BslA's ability to preserve emulsion droplet structural integrity throughout the melting process to design emulsion droplets with a chosen shape and size.


title: Calculating the Fourier Coefficients of Jacobi--Eisenstein series

abstract: In this text we generalize the classical Jacobi Eisenstein series as they were discussed by Eichler and Zagier to arbitrary lattices. We use two different methods to derive the general Fourier expansion. The last two sections give formulas in the case where the lattice is an even unimodular lattice or $L$ is of the type $NA_{1}$.


title: A note on identities in plactic monoids and monoids of upper-triangular tropical matrices

abstract: This paper uses the combinatorics of Young tableaux to prove the plactic monoid of infinite rank does not satisfy a non-trivial identity, by showing that the plactic monoid of rank $n$ cannot satisfy a non-trivial identity of length less than or equal to $n$. A new identity is then proven to hold for the monoid of $n \times n$ upper-triangular tropical matrices. Finally, a straightforward embedding is exhibited of the plactic monoid of rank $3$ into the direct product of two copies of the monoid of $3\times 3$ upper-triangular tropical matrices, giving a new proof that the plactic monoid of rank $3$ satisfies a non-trivial identity.


title: Generation of orbital angular momentum through twisted Variable retarders

abstract: Polarized light passing through twisted special wave plates show entangled state of both SAM and OAM. The variable circular and linear retarders (VCR and VLR) are studied here from the view point of quantum processing of entangled states. Interestingly the geometric phase in association with twist dependent gain of OAM has been discussed here. As an application of VLR, the origin of gradual flattened shape of wave fronts through successive array of antennas (QHQ) has been explained through new physical approach of the concurrence of entangled states.


title: Decidability problems in automaton semigroups

abstract: We consider decidability problems in self-similar semigroups, and in particular in semigroups of automatic transformations of $X^*$. We describe algorithms answering the word problem, and bound its complexity under some additional assumptions. We give a partial algorithm that decides in a group generated by an automaton, given $x,y$, whether an Engel identity ($[\cdots[[x,y],y],\dots,y]=1$ for a long enough commutator sequence) is satisfied. This algorithm succeeds, importantly, in proving that Grigorchuk's $2$-group is not Engel. We consider next the problem of recognizing Engel elements, namely elements $y$ such that the map $x\mapsto[x,y]$ attracts to $\{1\}$. Although this problem seems intractable in general, we prove that it is decidable for Grigorchuk's group: Engel elements are precisely those of order at most $2$. We include, in the text, a large number of open problems. Our computations were implemented using the package "Fr" within the computer algebra system "Gap".


title: Certain Fractional Kinetic Equations Involving Generalized k-Bessel Function

abstract: We develop a new and further generalized form of the fractional kinetic equation involving generalized k-Bessel function. The manifold generality of the generalized k-Bessel function is discussed in terms of the solution of the fractional kinetic equation in the present paper. The results obtained here are quite general in nature and capable of yielding a very large number of known and (presumably) new results.


title: Concussion classification via deep learning using whole-brain white matter fiber strains

abstract: Developing an accurate and reliable injury predictor is central to the biomechanical studies of traumatic brain injury. State-of-the-art efforts continue to rely on empirical, scalar metrics based on kinematics or model-estimated tissue responses explicitly pre-defined in a specific brain region of interest. They could suffer from loss of information. A single training dataset has also been used to evaluate performance but without cross-validation. In this study, we developed a deep learning approach for concussion classification using implicit features of the entire voxel-wise white matter fiber strains. Using reconstructed American National Football League (NFL) injury cases, leave-one-out cross-validation was employed to objectively compare injury prediction performances against two baseline machine learning classifiers (support vector machine (SVM) and random forest (RF)) and four scalar metrics via univariate logistic regression (Brain Injury Criterion (BrIC), cumulative strain damage measure of the whole brain (CSDM-WB) and the corpus callosum (CSDM-CC), and peak fiber strain in the CC). Feature-based deep learning and machine learning classifiers consistently outperformed all scalar injury metrics across all performance categories in cross-validation (e.g., average accuracy of 0.844 vs. 0.746, and average area under the receiver operating curve (AUC) of 0.873 vs. 0.769, respectively, based on the testing dataset). Nevertheless, deep learning achieved the best cross-validation accuracy, sensitivity, and AUC (e.g., accuracy of 0.862 vs. 0.828 and 0.842 for SVM and RF, respectively). These findings demonstrate the superior performances of deep learning in concussion prediction, and suggest its promise for future applications in biomechanical investigations of traumatic brain injury.


title: Simple non-extensive sparsification of the hierarchical matrices

abstract: In this paper, we consider the matrices approximated in H2 format. The direct solution, as well as the preconditioning, of systems with such matrices is a challenging problem. We propose a non-extensive sparse factorization of the H2 matrix that allows to substitute the direct H2 solution with the solution of the system with an equivalent sparse matrix of the same size. The sparse factorization is constructed out of parameters of the H2 matrix. In the numerical experiments, we show the consistency of this approach in comparison to the other approximate block low-rank hierarchical solvers, such as HODLR, H2Lib and IFMM.


title: Anisotropic multiple bounce models

abstract: We analyze the Galileon ghost condensate implementation of a bouncing cosmological model in the presence of a non negligible anisotropic stress. We exhibit its structure, which we find to be far richer than previously thought. In particular, even restricting attention to a single set of underlying microscopic parameters, we obtain, numerically, many qualitatively different regimes: depending on the initial conditions on the scalar field leading the dynamics of the universe, the contraction phase can evolve directly towards a singularity, avoid it by bouncing once, or even bounce many times before settling into an ever-expanding phase. We clarify the behavior of the anisotropies in these various situations.


title: Parametric Imaging of FDG-PET Data Using Physiology and Iterative Regularization: Application to the Hepatic and Renal Systems

abstract: The present paper proposes a novel computational method for parametric imaging of nuclear medicine data. The mathematical procedure is general enough to work for compartmental models of diverse complexity and is effective in the determination of the parametric maps of all kinetic parameters governing tracer flow. We consider applications to [18F]-fluorodeoxyglucose Positron Emission Tomography (FDG-PET) data and analyze the two-compartment catenary model describing the standard FDG metabolization by an homogeneous tissue, e.g. the liver, and the three-compartment non-catenary model representing the renal physiology. The proposed imaging method starts from the reconstructed FDG-PET images of tracer concentration and preliminarily applies image processing algorithms for noise reduction and image segmentation processes for selecting the region enclosing the organ of physiologic interest. The optimization scheme solves pixelwise the non-linear inverse problem of determining the kinetic parameters from dynamic concentration data through a Gauss-Newton iterative algorithm with a penalty term accounting for the ill-posedness of the problem. We tested our imaging approach on FDG-PET data of murine models obtained by means of a dedicated microPET system, and we analyzed different PET slices containing axial sections of the liver and axial sections of the kidneys. The reconstructed parametric images proved to be reliable and qualitatively effective in the description of the local FDG metabolism with respect to the different physiologies.


title: From an Action Principle for Action-dependent Lagrangians toward non-conservative Gravity: accelerating Universe without dark energy

abstract: In the present work, we propose an Action Principle for Action-dependent Lagrangians by generalizing the Herglotz variational problem for several independent variables. This Action Principle enables us to formulate Lagrangian densities for non-conservative fields. In special, from a Lagrangian depending linearly on the Action, we obtain a generalized Einstein's field equations for a non-conservative gravity and analyze some consequences of their solutions to cosmology and gravitational waves. We show that the non-conservative part of the field equations depends on a constant cosmological four-vector. Depending on this four-vector, the theory displays damped/amplified gravitational waves and an accelerating Universe without dark energy.


title: Obtaining the Current-Flux Relations of the Saturated PMSM by Signal Injection

abstract: This paper proposes a method based on signal injection to obtain the saturated current-flux relations of a PMSM from locked-rotor experiments. With respect to the classical method based on time integration, it has the main advantage of being completely independent of the stator resistance; moreover, it is less sensitive to voltage biases due to the power inverter, as the injected signal may be fairly large.


title: Integrating a Global Induction Mechanism into a Sequent Calculus

abstract: Most interesting proofs in mathematics contain an inductive argument which requires an extension of the LK-calculus to formalize. The most commonly used calculi for induction contain a separate rule or axiom which reduces the valid proof theoretic properties of the calculus. To the best of our knowledge, there are no such calculi which allow cut-elimination to a normal form with the subformula property, i.e. every formula occurring in the proof is a subformula of the end sequent. Proof schemata are a variant of LK-proofs able to simulate induction by linking proofs together. There exists a schematic normal form which has comparable proof theoretic behaviour to normal forms with the subformula property. However, a calculus for the construction of proof schemata does not exist. In this paper, we introduce a calculus for proof schemata and prove soundness and completeness with respect to a fragment of the inductive arguments formalizable in Peano arithmetic.


title: On the generation of the quarks through spontaneous symmetry breaking

abstract: In this paper we present the state of the art about the quarks: group SU(3), Lie algebra, the electric charge and mass. The quarks masses are generated in the same way as the lepton masses. It is constructed a term in the Lagrangian that couples the Higgs doublet to the fermion fields.


title: Towards a Principled Integration of Multi-Camera Re-Identification and Tracking through Optimal Bayes Filters

abstract: With the rise of end-to-end learning through deep learning, person detectors and re-identification (ReID) models have recently become very strong. Multi-camera multi-target (MCMT) tracking has not fully gone through this transformation yet. We intend to take another step in this direction by presenting a theoretically principled way of integrating ReID with tracking formulated as an optimal Bayes filter. This conveniently side-steps the need for data-association and opens up a direct path from full images to the core of the tracker. While the results are still sub-par, we believe that this new, tight integration opens many interesting research opportunities and leads the way towards full end-to-end tracking from raw pixels.


title: Induced subgraphs of graphs with large chromatic number. X. Holes of specific residue

abstract: A large body of research in graph theory concerns the induced subgraphs of graphs with large chromatic number, and especially which induced cycles must occur. In this paper, we unify and substantially extend results from a number of previous papers, showing that, for every positive integer k, every graph with large chromatic number contains either a large complete subgraph or induced cycles of all lengths modulo k. As an application, we prove two conjectures of Kalai and Meshulam from the 1990's connecting the chromatic number of a graph with the homology of its independence complex.


title: Vector spaces and Grassmann graphs over residue class rings

abstract: Let $\mathbb{Z}_{p^s}$ be the residue class ring of integers modulo $p^s$, where $p$ is a prime number and $s$ is a positive integer. Using matrix representation and the inner rank of a matrix, we study the intersection, join, dimension formula and dual subspaces on vector subspaces of $\mathbb{Z}^n_{p^s}$. Based on these results, we investigate the Grassmann graph $G_{p^s}(n,m)$ over $\mathbb{Z}_{p^s}$. $G_{p^s}(n,m)$ is a connected vertex-transitive graph, and we determine its valency, clique number and maximum cliques. Finally, we characterize the automorphisms of $G_{p^s}(n,m)$.


title: Vector Bundles over Multipullback Quantum Complex Projective Spaces

abstract: We work on the classification of isomorphism classes of finitely generated projective modules over the C*-algebras $C\left( \mathbb{P}^{n}\left( \mathcal{T}\right) \right) $ and $C\left( \mathbb{S}_{H}^{2n+1}\right) $ of the quantum complex projective spaces $\mathbb{P}^{n}\left( \mathcal{T} \right) $ and the quantum spheres $\mathbb{S}_{H}^{2n+1}$, and the quantum line bundles $L_{k}$ over $\mathbb{P}^{n}\left( \mathcal{T}\right) $, studied by Hajac and collaborators. Motivated by the groupoid approach of Curto, Muhly, and Renault to the study of C*-algebraic structure, we analyze $C\left( \mathbb{P}^{n}\left( \mathcal{T}\right) \right) $, $C\left( \mathbb{S}_{H}^{2n+1}\right) $, and $L_{k}$ in the context of groupoid C*-algebras, and then apply Rieffel's stable rank results to show that all finitely generated projective modules over $C\left( \mathbb{S}_{H} ^{2n+1}\right) $ of rank higher than $\left\lfloor \frac{n}{2}\right\rfloor +3$ are free modules. Furthermore, besides identifying a large portion of the positive cone of the $K_{0}$-group of $C\left( \mathbb{P}^{n}\left( \mathcal{T}\right) \right) $, we also explicitly identify $L_{k}$ with concrete representative elementary projections over $C\left( \mathbb{P} ^{n}\left( \mathcal{T}\right) \right) $.


title: Molecular Generation with Recurrent Neural Networks (RNNs)

abstract: The potential number of drug like small molecules is estimated to be between 10^23 and 10^60 while current databases of known compounds are orders of magnitude smaller with approximately 10^8 compounds. This discrepancy has led to an interest in generating virtual libraries using hand crafted chemical rules and fragment based methods to cover a larger area of chemical space and generate chemical libraries for use in in silico drug discovery endeavors. Here it is explored to what extent a recurrent neural network with long short term memory cells can figure out sensible chemical rules and generate synthesizable molecules by being trained on existing compounds encoded as SMILES. The networks can to a high extent generate novel, but chemically sensible molecules. The properties of the molecules are tuned by training on two different datasets consisting of fragment like molecules and drug like molecules. The produced molecules and the training databases have very similar distributions of molar weight, predicted logP, number of hydrogen bond acceptors and donors, number of rotatable bonds and topological polar surface area when compared to their respective training sets. The compounds are for the most cases synthesizable as assessed with SA score and Wiley ChemPlanner.


title: Voronoi chords in flat cosmology

abstract: In this paper we present formulae for chord length distribution in the framework of Poissonian Voronoi Tessellation (PVT) and non Poissonian Voronoi Tessellation (NPVT). The introduction of the scale parameter in the obtained distributions allows us to model the chord for cosmic voids. A graphical comparison between cosmic voids visible on two catalogs of galaxies, 2dFGRS and VIPERS, and theoretical random chords is reported.


title: Degree of Quantumness in Quantum Synchronization

abstract: We introduce the concept of degree of quantumness in quantum synchronization, a measure of the quantum nature of synchronization in quantum systems. Following techniques from quantum information, we propose the number of non-commuting observables that synchronize as a measure of quantumness. This figure of merit is compatible with already existing synchronization measurements, and it captures different physical properties. We illustrate it in a quantum system consisting of two weakly interacting cavity-qubit systems, which are coupled via the exchange of bosonic excitations between the cavities. Moreover, we study the synchronization of the expectation values of the Pauli operators and we propose a feasible superconducting circuit setup. Finally, we discuss the degree of quantumness in the synchronization between two quantum van der Pol oscillators.


title: Direct Observation of Transverse and Vortex Metastable Magnetic Domains observed in Cylindrical Nanowires

abstract: We present experimental evidence of metastable magnetic domains in cylindrical CoNi nanowires. Transverse (perpendicular) domains have been previously observed only in flat nanostrips. Here they are found together with more conventional vortex domains along the same cylindrical nanowire, denoting a bistable system with similar free energies. The surface and the inner magnetization distribution in both types of domains are analyzed by Photo-Emission Electron Microscopy (PEEM) with X-ray magnetic circular dichroism (XMCD) contrast, and hysteresis loop in individual nanowires are measured by Magneto-optical Kerr effect. These experimental data are understood and compared with complementary micromagnetic simulations. The transverse domain states are potentially more important for sensing and recording applications than commonly observed vortex domains since they create larger surface stray fields.


title: Rate-Memory Trade-off for the Two-User Broadcast Caching Network with Correlated Sources

abstract: This paper studies the fundamental limits of caching in a network with two receivers and two files generated by a two-component discrete memoryless source with arbitrary joint distribution. Each receiver is equipped with a cache of equal capacity, and the requested files are delivered over a shared error-free broadcast link. First, a lower bound on the optimal peak rate-memory trade-off is provided. Then, in order to leverage the correlation among the library files to alleviate the load over the shared link, a two-step correlation-aware cache-aided coded multicast (CACM) scheme is proposed. The first step uses Gray-Wyner source coding to represent the library via one common and two private descriptions, such that a second correlation-unaware multiple-request CACM step can exploit the additional coded multicast opportunities that arise. It is shown that the rate achieved by the proposed two-step scheme matches the lower bound for a significant memory regime and it is within half of the conditional entropy for all other memory values.


title: An Efficient LQR Design for Discrete-Time Linear Periodic System Based on a Novel Lifting Method

abstract: This paper proposes a novel lifting method which converts the standard discrete-time linear periodic system to an augmented linear time-invariant system. The linear quadratic optimal control is then based on the solution of the discrete-time algebraic Riccati equation associated with the augmented linear time-invariant model. An efficient algorithm for solving the Riccati equation is derived by using the special structure of the augmented linear time-invariant system. It is shown that the proposed method is very efficient compared to the ones that use algorithms for discrete-time periodic algebraic Riccati equation. The efficiency and effectiveness of the proposed algorithm is demonstrated by the simulation test for the design problem of spacecraft attitude control using magnetic torques.


title: The Perlick system type I: from the algebra of symmetries to the geometry of the trajectories

abstract: In this paper, we investigate the main algebraic properties of the maximally superintegrable system known as "Perlick system type I". All possible values of the relevant parameters, $K$ and $\beta$, are considered. In particular, depending on the sign of the parameter $K$ entering in the metrics, the motion will take place on compact or non compact Riemannian manifolds. To perform our analysis we follow a classical variant of the so called factorization method. Accordingly, we derive the full set of constants of motion and construct their Poisson algebra. As it is expected for maximally superintegrable systems, the algebraic structure will actually shed light also on the geometric features of the trajectories, that will be depicted for different values of the initial data and of the parameters. Especially, the crucial role played by the rational parameter $\beta$ will be seen "in action".


title: One-parameter scaling theory for DNA extension in a nanochannel

abstract: Experiments measuring DNA extension in nanochannels are at odds with even the most basic predictions of current scaling arguments for the conformations of confined semiflexible polymers such as DNA. We show that a theory based on a weakly self-avoiding, one-dimensional "telegraph" process collapses experimental data and simulation results onto a single master curve throughout the experimentally relevant region of parameter space and explains the mechanisms at play.


title: Proposal to use Humans to switch settings in a Bell experiment

abstract: In this paper I discuss how we might go about about performing a Bell experiment in which humans are used to decide the settings at each end. To get a sufficiently high rate of switching at both ends, I suggest an experiment over a distance of about 100km with 100 people at each end wearing EEG headsets, with the signals from these headsets being used to switch the settings. The radical possibility we wish to investigate is that, when humans are used to decide the settings (rather than various types of random number generators), we might then expect to see a violation of Quantum Theory in agreement with the relevant Bell inequality. Such a result, while very unlikely, would be tremendously significant for our understanding of the world (and I will discuss some interpretations). Possible radical implications aside, performing an experiment like this would push the development of new technologies. The biggest problem would be to get sufficiently high rates wherein there has been a human induced switch at each end before a signal as to the new value of the setting could be communicated to the other end and, at the same time, a photon pair is detected. It looks like an experiment like this, while challenging, is just about feasible with current technologies.


title: On birth of discrete Lorenz attractors under bifurcations of 3D maps with nontransversal heteroclinic cycles

abstract: Lorenz attractors are important objects in the modern theory of chaos. The reason from one side is that they are met in various natural applications (fluid dynamics, mechanics, laser dynamics, etc.). At the same time, Lorenz attractors are robust, in the sense that they are generally not destroyed by small perturbations (autonomous, non-autonomous, stochastic). This allows us to be sure that the observed in the experiment object is exactly the chaotic attractor, rather than a long-time periodic orbit. Discrete-time analogs of the Lorenz attractor possess even more complicated structure -- they allow homoclinic tangencies of invariant manifolds within the attractor. Thus, discrete Lorenz attractors belong to the class of wild chaotic attractors. These attractors can be born in codimension-three local and certain global (homoclinic and heteroclinic) bifurcations. While various homoclinic bifurcations leading to such attractors were studied, for heteroclinic cycles only cases when at least one of the fixed points is saddle-focus were considered to date. In the present paper the case of a heteroclinic cycle consisting of saddle fixed points with a quadratic tangency of invariant manifolds, is considered. It is shown that in order to have a three-dimensional chaos such as the discrete Lorenz attractors, one needs to avoid the existence of lower-dimensional global invariant manifolds. Thus, it is assumed that either the quadratic tangency or the transversal heteroclinic orbit is non-simple. The main result of the paper is the proof that the original system is the limiting point in the space of dynamical systems of a sequence of domains in which the diffeomorphism possesses discrete Lorenz attractors.


title: Constraining the general reheating phase in the $\alpha$-attractor inflationary cosmology

abstract: In this paper we constrain some aspects of the general postinflationary phase in the context of superconformal $\alpha$-attractor models of inflation. In particular, we provide constraints on the duration of the reheating process, $N_{reh}$, and on the reheating temperature, $T_{reh}$, simulating possible and future results given by the next-generation of cosmological missions. Moreover, we stress what kinds of equation-of-state parameter, $w_{reh}$, are favored for different scenarios. The analysis does not depend on the details of the reheating phase and it is performed assuming different measurements of the tensor-to-scalar ratio $r$.


title: Finite-parameter feedback control for stabilizing the complex Ginzburg-Landau equation

abstract: In this paper, we prove the exponential stabilization of solutions for complex Ginzburg-Landau equations using finite-parameter feedback control algorithms, which employ finitely many volume elements, Fourier modes or nodal observables (controllers). We also propose a feedback control for steering solutions of the Ginzburg-Landau equation to a desired solution of the non-controlled system. In this latter problem, the feedback controller also involves the measurement of the solution to the non-controlled system.


title: Photocurrents in gyrotropic Weyl semimetals

abstract: We present results of a theoretical study of photocurrents in the Weyl semimetals belonging to the gyrotropic symmetry classes. We show that, in weakly gyrotropic symmetry classes C$_{nv}$ ($n = 3,4,6$), the circular photocurrent transverse to the incidence direction appears only with account, in the electron effective Hamiltonian, for both linear and quadratic or cubic in quasi-momentum spin-dependent terms as well as a spin-independent term resulting in the tilt of the cone dispersion. A polarization-independent magneto-induced photocurrent is predicted which is also allowed in gyrotropic systems only. For crystals of the C$_{2v}$ symmetry, we consider a microscopic mechanism of the photocurrent in a quantized magnetic field which is generated under direct optical transitions between the ground and the first excited magnetic subbands. It is shown that this current becomes nonzero with allowance for anisotropic tilt of the dispersion cones.


title: Measuring geometric frustration in twisted inextensible filament bundles

abstract: We investigate with experiments and novel mapping the structure of a hexagonally ordered filament bundle that is held near its ends and progressively twisted around its central axis. The filaments are free to slide relative to each other and are further held under tension-free boundary conditions. Measuring the bundle packing with micro x-ray imaging, we find that the filaments develop the helical rotation $\Omega$ imposed at the boundaries. We then show that the observed structure is consistent with a mapping of the filament positions to disks packed on a dual non-Euclidean surface with a Gaussian curvature which increases with twist. We further demonstrate that the mean inter-filament distance is minimal on the surface which can be approximated by a hemisphere with an effective curvature $K_{eff} = 3\Omega^2$. Examining the packing on the dual surface, we analyze the geometric frustration of packing in twisted bundles and find the core to remain relatively hexagonally ordered with inter-filament strains growing from the bundle center, driving the formation of defects at the exterior of highly twisted bundles.


title: On the discrepancy of powers of random variables

abstract: Let $(d_n)$ be a sequence of positive numbers and let $(X_n)$ be a sequence of positive independent random variables. We provide an upper bound for the deviation between the distribution of the mantissaes of $(X_n^{d_n})$ and the Benford's law. If $d_n$ goes to infinity at a rate at most polynomial, this deviation converges a.s. to 0 as $N$ goes to infinity.


title: Sprinkler: Maximizing Resource Utilization in Many-Chip Solid State Disks

abstract: Resource utilization is one of the emerging problems in many-chip SSDs. In this paper, we propose Sprinkler, a novel device-level SSD controller, which targets maximizing resource utilization and achieving high performance without additional NAND flash chips. Specifically, Sprinkler relaxes parallelism dependency by scheduling I/O requests based on internal resource layout rather than the order imposed by the device-level queue. In addition, Sprinkler improves flash-level parallelism and reduces the number of transactions (i.e., improves transactional-locality) by over-committing flash memory requests to specific resources. Our extensive experimental evaluation using a cycle-accurate large-scale SSD simulation framework shows that a many-chip SSD equipped with our Sprinkler provides at least 56.6% shorter latency and 1.8 ~ 2.2 times better throughput than the state-of-the-art SSD controllers. Further, it improves overall resource utilization by 68.8% under different I/O request patterns and provides, on average, 80.2% more flash-level parallelism by reducing half of the flash memory requests at runtime.


title: Information Retrieval and Criticality in Parity-Time-Symmetric Systems

abstract: By investigating information flow between a general parity-time (PT) -symmetric non-Hermitian system and an environment, we find that the complete information retrieval from the environment can be achieved in the PT-unbroken phase, whereas no information can be retrieved in the PT-broken phase. The PT-transition point thus marks the reversible-irreversible criticality of information flow, around which many physical quantities such as the recurrence time and the distinguishability between quantum states exhibit power-law behavior. Moreover, by embedding a PT-symmetric system into a larger Hilbert space so that the entire system obeys unitary dynamics, we reveal that behind the information retrieval lies a hidden entangled partner protected by PT symmetry. Possible experimental situations are also discussed.

categories: quant-ph cond-mat.stat-mech math-ph math.MP physics.optics


title: The study of two barred galaxies with curious kinematical features

abstract: We performed long-slit spectral observations of two SB-type galaxies: NGC 5347, UGC 1344. They were previously suspected as the galaxies with unusually low mass-to-light ratios (on the ground of mass estimates from the Hi linewidths), which are in conflict with their observed colours. The observations were conducted at the Russian 6-m telescope. The aim of the study was to clarify the kinematics and structure, as well as the properties of stellar populations of the galaxies. The results of observations disproved the peculiarly low mass-to-light ratios of both galaxies. The most probable reasons of underestimation of their masses are discussed. We tried to reproduce the main observed features of kinematical profiles of the galaxies in the N-body simulations of barred galaxies. We found that both galaxies possess central components of different structure. Indeed, the age and velocity dispersion of stellar population in NGC 5347 are low in its innermost part in comparison to that of the bulge or a bar, which agrees with the presence of nuclear kinematically decoupled disc. It probably was formed due to the bar which supplied the inner region with gas. The kinematical profiles of the second galaxy UGC 1344 give evidences in favour of the central peanut-shaped bulge. In spite of the different luminosities of the two galaxies, they possess nearly equal (close to solar) central stellar abundance and the flattening of the stellar metallicity gradient in the bar regions. However, in the less luminous NGC 5347 the mean stellar age is younger than that in UGC 1344.


title: Forecasting using incomplete models

abstract: We consider the task of forecasting an infinite sequence of future observations based on some number of past observations, where the probability measure generating the observations is "suspected" to satisfy one or more of a set of incomplete models, i.e. convex sets in the space of probability measures. This setting is in some sense intermediate between the realizable setting where the probability measure comes from some known set of probability measures (which can be addressed using e.g. Bayesian inference) and the unrealizable setting where the probability measure is completely arbitrary. We demonstrate a method of forecasting which guarantees that, whenever the true probability measure satisfies an incomplete model in a given countable set, the forecast converges to the same incomplete model in the (appropriately normalized) Kantorovich-Rubinstein metric. This is analogous to merging of opinions for Bayesian inference, except that convergence in the Kantorovich-Rubinstein metric is weaker than convergence in total variation.


title: Connectedness of the Balmer spectra of right bounded derived categories

abstract: By virtue of Balmer's celebrated theorem, the classification of thick tensor ideals of a tensor triangulated category $\T$ is equivalent to the topological structure of its Balmer spectrum $\spc \T$. Motivated by this theorem, we discuss connectedness and noetherianity of the Balmer spectrum of a right bounded derived category of finitely generated modules over a commutative ring.


title: On optimal representatives of finite coloured linear orders

abstract: Two structures A and B are n-equivalent if player II has a winning strategy in the n-move Ehrenfeucht-Fraisse game on A and B. We extend earlier results about n-equivalence for finite coloured linear orders, describing an algorithm for reducing to canonical form under 2-equivalence, and concentrating on the cases of 2 and 3 moves.


title: Topology-dependent rationality and quantal response equilibria in structured populations

abstract: Given that the assumption of perfect rationality is rarely met in the real world, we explore a graded notion of rationality in socioecological systems of networked actors. We parametrize an actors' rationality via their place in a social network and quantify system rationality via the average Jensen-Shannon divergence between the games Nash and logit quantal response equilibria. Previous work has argued that scale-free topologies maximize a system's overall rationality in this setup. Here we show that while, for certain games, it is true that increasing degree heterogeneity of complex networks enhances rationality, rationality-optimal configurations are not scale-free. For the Prisoner's Dilemma and Stag Hunt games, we provide analytic arguments complemented by numerical optimization experiments to demonstrate that core-periphery networks composed of a few dominant hub nodes surrounded by a periphery of very low degree nodes give strikingly smaller overall deviations from rationality than scale-free networks. Similarly, for the Battle of the Sexes and the Matching Pennies games, we find that the optimal network structure is also a core-periphery graph but with a smaller difference in the average degrees of the core and the periphery. These results provide insight on the interplay between the topological structure of socioecological systems and their collective cognitive behavior, with potential applications to understanding wealth inequality and the structural features of the network of global corporate control.


title: Growth, Crystal Structure and Magnetic Characterization of Zn-Stabilized CePtIn4

abstract: The growth and characterization of CePtIn4, stabilized by 10% Zn substitution for In, is reported. The new material is orthorhombic, space group Cmcm (No. 63), with lattice parameters a = 4.51751(4) {\AA}, b = 16.7570(2) {\AA}, and c = 7.36682(8) {\AA}, and the refined crystal composition has 10% of Zn substituted for In, i.e. the crystals are CePt(In3.6Zn0.1)4. Crystals were grown using a self-flux method: only growths containing Zn yielded CePtIn4 crystals, while Ce3Pt4In13 crystals formed when Zn was not present. Anisotropic temperature-dependent magnetic susceptibilities for single crystals show that Zn-stabilized CePtIn4 orders magnetically at ~1.9 K. High-temperature Curie-Weiss fits indicate an effective moment of ~2.30 muB/ Ce and a directionally averaged Weiss-temperature of approximately - 9 K. Specific heat data shows a peak consistent with the ordering temperature seen in the magnetic susceptibility data. Zn-stabilized CePtIn4 is metallic and displays no superconducting transition down to 0.14 K.


title: Local approach to order continuity in Ces\`aro function spaces

abstract: The goal of this paper is to present a complete characterisation of points of order continuity in abstract Ces\`aro function spaces $CX$ for $X$ being a symmetric function space. Under some additional assumptions mentioned result takes the form $(CX)_a = C(X_a)$. We also find simple equivalent condition for this equality which in the case of $I=[0,1]$ comes to $X\neq L^\infty$. Furthermore, we prove that $X$ is order continuous if and only if $CX$ is, under assumption that the Ces\`aro operator is bounded on $X$. This result is applied to particular spaces, namely: Ces\`aro-Orlicz function spaces, Ces\`aro-Lorentz function spaces and Ces\`aro-Marcinkiewicz function spaces to get criteria for OC-points.


title: Diffusion in deterministic interacting lattice systems

abstract: We study reversible deterministic dynamics of classical charged particles on a lattice with hard-core interaction. It is rigorously shown that the system exhibits three types of transport phenomena, ranging from ballistic, through diffusive to insulating. By obtaining an exact expressions for the current time-autocorrelation function we are able to calculate the linear response transport coefficients, such as the diffusion constant and the Drude weight. Additionally, we calculate the long- time charge profile after an inhomogeneous quench and obtain diffusive profile with the Green-Kubo diffusion constant. Exact analytical results are corroborated by Monte-Carlo simulations.


title: White Paper on Nuclear Data Needs and Capabilities for Basic Science

abstract: The Workshop on Nuclear Data Needs and Capabilities for Basic Science was held at the University of Notre Dame on 10-11 August 2016. The purpose of this targeted workshop was to assemble and prioritize the needs of the nuclear physics research community for data sets, services and capabilities in areas including nuclear structure, nuclear reactions, nuclear astrophysics, fundamental interactions, neutrino physics and nuclear theory. An overview of nuclear data needs and capabilities identified at this meeting are summarized in the present document.


title: Characterization of minimal sequences associated with self-similar interval exchange maps

abstract: The construction of affine interval exchange maps with wandering intervals that are semi-conjugate with a given self-similar interval exchange map is strongly related with the existence of the so called minimal sequences associated with local potentials, which are certain elements of the substitution subshift arising from the given interval exchange map. In this article, under the condition called unique representation property, we characterize such minimal sequences for potentials coming from non-real eigenvalues of the substitution matrix. We also give conditions on the slopes of the affine extensions of a self-similar interval exchange map that determine whether it exhibits a wandering interval or not.


title: Strong Quantum Solutions in Conflicting Interest Bayesian Games

abstract: Quantum entanglement has been recently demonstrated as a useful resource in conflicting interest games of incomplete information between two players, Alice and Bob [Pappa et al., Phys. Rev. Lett. 114, 020401 (2015)]. General setting for such games is that of correlated strategies where the correlation between competing players is established through a trusted common adviser; however, players need not reveal their input to the adviser. So far, quantum advantage in such games has been revealed in a restricted sense. Given a quantum correlated equilibrium strategy, one of the players can still receive a higher than quantum average payoff with some classically-correlated equilibrium strategy. In this work, by considering a class of asymmetric Bayesian games, we show the existence of games with quantum correlated equilibrium where average payoff of both the players exceed respective individual maximum for each player over all classically-correlated equilibriums.


title: Equally spaced collinear points in Euclidean Ramsey theory

abstract: It is proved that for $k\geq 4$, if the points of $k$-dimensional Euclidean space are coloured in red and blue, then there are either two red points distance one apart or $k+3$ blue collinear points with distance one between any two consecutive points. This result is new for $4\leq k\leq 10$.


title: Single Image Action Recognition by Predicting Space-Time Saliency

abstract: We propose a novel approach based on deep Convolutional Neural Networks (CNN) to recognize human actions in still images by predicting the future motion, and detecting the shape and location of the salient parts of the image. We make the following major contributions to this important area of research: (i) We use the predicted future motion in the static image (Walker et al., 2015) as a means of compensating for the missing temporal information, while using the saliency map to represent the the spatial information in the form of location and shape of what is predicted as significant. (ii) We cast action classification in static images as a domain adaptation problem by transfer learning. We first map the input static image to a new domain that we refer to as the Predicted Optical Flow-Saliency Map domain (POF-SM), and then fine-tune the layers of a deep CNN model trained on classifying the ImageNet dataset to perform action classification in the POF-SM domain. (iii) We tested our method on the popular Willow dataset. But unlike existing methods, we also tested on a more realistic and challenging dataset of over 2M still images that we collected and labeled by taking random frames from the UCF-101 video dataset. We call our dataset the UCF Still Image dataset or UCFSI-101 in short. Our results outperform the state of the art.


title: Pseudo-Goldstone magnons in the frustrated S=3/2 Heisenberg helimagnet ZnCr2Se4 with a pyrochlore magnetic sublattice

abstract: Low-energy spin excitations in any long-range ordered magnetic system in the absence of magnetocrystalline anisotropy are gapless Goldstone modes emanating from the ordering wave vectors. In helimagnets, these modes hybridize into the so-called helimagnon excitations. Here we employ neutron spectroscopy supported by theoretical calculations to investigate the magnetic excitation spectrum of the isotropic Heisenberg helimagnet ZnCr2Se4 with a cubic spinel structure, in which spin-3/2 magnetic Cr3+ ions are arranged in a geometrically frustrated pyrochlore sublattice. Apart from the conventional Goldstone mode emanating from the (0 0 q) ordering vector, low-energy magnetic excitations in the single-domain proper-screw spiral phase show soft helimagnon modes with a small energy gap of ~0.17 meV, emerging from two orthogonal wave vectors (q 0 0) and (0 q 0) where no magnetic Bragg peaks are present. We term them pseudo-Goldstone magnons, as they appear gapless within linear spin-wave theory and only acquire a finite gap due to higher-order quantum-fluctuation corrections. Our results are likely universal for a broad class of symmetric helimagnets, opening up a new way of studying weak magnon-magnon interactions with accessible spectroscopic methods.


title: Kinematic Formula for Heterogeneous Gaussian Related Fields

abstract: We provide a generalization of the Gaussian Kinematic Formula (GKF) in Taylor(2006) for multivariate, heterogeneous Gaussian-related fields. The fields under consideration are non-Gaussian fields built out of smooth, independent Gaussian fields with heterogeneity in distribution amongst the individual building blocks. Our motivation comes from potential applications in the analysis of Cosmological Data (CMB). Specifically, future CMB experiments will be focusing on polarization data, typically modeled as isotropic vector-valued Gaussian related fields with independent, but non-identically distributed Gaussian building blocks; this necessitates such a generalization. Extending results of Taylor(2006) to these more general Gaussian relatives with distributional heterogeneity, we present a generalized Gaussian Kinematic Formula (GKF). The GKF in this paper decouples the expected Euler characteristic of excursion sets into Lipschitz Killing Curvatures (LKCs) of the underlying manifold and certain Gaussian Minkowski Functionals (GMFs). These GMFs arise from Gaussian volume expansions of ellipsoidal tubes as opposed to the usual tubes in the Euclidean volume of classical tube formulae. The GMFs form a main contribution of this work that identifies this tubular structure and a corresponding volume of tubes expansion in which the GMFs appear.


title: A general framework to diagonalize vector--scalar and axial-vector--pseudoscalar transitions in the effective meson Lagrangian

abstract: A new mathematical framework for the diagonalization of the nondiagonal vector--scalar and axial-vector--pseudoscalar mixing in the effective meson Lagrangian is described. This procedure has unexpected connections with the Hadamard product of $n\times n$ matrices describing the couplings, masses, and fields involved. The approach is shown to be much more efficient as compared with the standard methods employed previously. The difference is especially noticeable if the chiral symmetry is broken explicitly. The paper ends with an illustrative application to the chiral model with broken $SU(3)_L\times SU(3)_R$ symmetry.


title: Models of Bars I: Flattish Profiles for Early-Type Galaxies

abstract: We introduce a simple family of barred galaxy models with flat rotation curves. They are built by convolving the axisymmetric logarithmic model with a needle density. The density contours in the bar region are highly triaxial and elongated, but become spheroidal in the outer parts. The mass distribution differs markedly from the elliptical shape assumed in other analytical models, like Ferrers or Freeman bars. The surface density profile along the bar major axis is flattish, as befits models for bars in early-type galaxies (SB0, SBa). The two-dimensional orbital structure of the models is analysed with surfaces of section and characteristic diagrams and it reveals qualitatively new features. For some pattern speeds, additional Lagrange points can exist along the major axis, and give rise to off-centered, trapped orbits. When the bar is weak, the orbital structure is very simple, comprising just prograde, aligned $x_1$ orbits and retrograde anti-aligned $x_4$ orbits. As the bar strength increases, the $x_1$ family becomes unstable and vanishes, with propeller orbits dominating the characteristic diagram.


title: Time in dissipative tunneling: subtleties and applications

abstract: Characteristic features of tunneling times for dissipative tunneling of a particle through a rectangular barrier are studied within a semiclassical model involving dissipation in the form of a velocity dependent frictional force. The average dwell time and traversal time with dissipation are found to be less than those without dissipation. This counter-intuitive behaviour is reversed if one evaluates the physically relevant transmission dwell time. Apart from these observations, we find that the percentage of energy lost by the tunneling particle is higher for smaller energies. The above observations are tested and confirmed in a realistic case by applying the dissipation model to study the current-voltage data in a Al/Al$_2$O$_3$/Al solid state junction at various temperatures. The friction coefficient for Al$_2$O$_3$ as a function of temperature is presented. It is found to decrease with increasing temperature.


title: Rogue wave generation by inelastic quasi-soliton collisions in optical fibres

abstract: We demonstrate a simple cascade mechanism that drives the formation and emergence of rogue waves in the generalized non-linear Schr\"{o}dinger equation with third-order dispersion. This conceptually novel generation mechanism is based on inelastic collisions of quasi-solitons and is well described by a resonant-like scattering behaviour for the energy transfer in pair-wise quasi-soliton collisions. Our results demonstrate a threshold for rogue wave emergence and the existence of a period of reduced amplitudes - a "calm before the storm" - preceding the arrival of a rogue wave event. Comparing with ultra-long time window simulations of $3.865\times 10^{6}$ps we observe the statistics of rogue waves in optical fibres with an unprecedented level of detail and accuracy, unambiguously establishing the long-ranged character of the rogue wave power-distribution function over seven orders of magnitude.


title: Sequences of Consecutive Happy Numbers in Negative Bases

abstract: For $b\leq -2$ and $e \geq 2$, let $S_{e,b}:\mathbb{Z}\to\mathbb{Z}_{\geq 0}$ be the function taking an integer to the sum of the $e$-powers of the digits of its base $b$ expansion. An integer $a$ is a $b$-happy number if there exists $k\in\mathbb{Z}^+$ such that $S_{2,b}^k(a) = 1$. We prove that an integer is $-2$-happy if and only if it is congruent to 1 modulo 3 and that it is $-3$-happy if and only if it is odd. Defining a $d$-sequence to be an arithmetic sequence with constant difference $d$ and setting $d = \gcd(2,b - 1)$, we prove that if $b \leq -3$ odd or $b \in \{-4,-6,-8,-10\}$, there exist arbitrarily long finite sequences of $d$-consecutive $b$-happy numbers.


title: E-polynomials of $PGL(2,\mathbb{C})$-character varieties of surface groups

abstract: In this paper, we compute the E-polynomials of the $PGL(2,\mathbb{C})$-character varieties associated to surfaces of genus $g$ with one puncture, for any holonomy around it, and compare it with its Langlands dual case, $SL(2,\mathbb{C})$. The study is based on the stratification of the space of representations and on the analysis of the behaviour of the E-polynomial under fibrations.


title: Search for new phenomena with the MT2 variable in the all-hadronic final state produced in proton-proton collisions at sqrt(s) = 13 TeV

abstract: A search for new phenomena is performed using events with jets and significant transverse momentum imbalance, as inferred through the MT2 variable. The results are based on a sample of proton-proton collisions collected in 2016 at a center-of-mass energy of 13 TeV with the CMS detector and corresponding to an integrated luminosity of 35.9 inverse femtobarns. No excess event yield is observed above the predicted standard model background, and the results are interpreted as exclusion limits at 95% confidence level on the masses of predicted particles in a variety of simplified models of R-parity conserving supersymmetry. Depending on the details of the model, 95% confidence level lower limits on the gluino (light-flavor squark) masses are placed up to 2025 (1550) GeV. Mass limits as high as 1070 (1175) GeV are set on the masses of top (bottom) squarks. Information is provided to enable re-interpretation of these results, including model-independent limits on the number of non-standard model events for a set of simplified, inclusive search regions.


title: Iteratively-Reweighted Least-Squares Fitting of Support Vector Machines: A Majorization--Minimization Algorithm Approach

abstract: Support vector machines (SVMs) are an important tool in modern data analysis. Traditionally, support vector machines have been fitted via quadratic programming, either using purpose-built or off-the-shelf algorithms. We present an alternative approach to SVM fitting via the majorization--minimization (MM) paradigm. Algorithms that are derived via MM algorithm constructions can be shown to monotonically decrease their objectives at each iteration, as well as be globally convergent to stationary points. We demonstrate the construction of iteratively-reweighted least-squares (IRLS) algorithms, via the MM paradigm, for SVM risk minimization problems involving the hinge, least-square, squared-hinge, and logistic losses, and 1-norm, 2-norm, and elastic net penalizations. Successful implementations of our algorithms are presented via some numerical examples.


title: Stability of relativistic quantum electrodynamics in the Coulomb gauge

abstract: We show that relativistic quantum electrodynamics in the Coulomb gauge satisfies the following bound, which establishes stability: let $H(\Lambda,V)$ denote the Hamiltonian of $QED_{1+3}$ on the three-dimensional torus of volume $V$ and with ultraviolet cutoff $\Lambda$. Then there exists a constant $0<\mu(\Lambda,V)<\infty$ (the vacuum energy renormalization) such that the renormalized Hamiltonian is positive: $H_{ren}(\Lambda,V) \equiv H_{\Lambda,V}+\mu_{\Lambda, V}\cdot \mathbb{1} \ge 0 $.


title: Numerical Solution of the Simple Monge-Amp\`ere Equation with Non-convex Dirichlet Data on Non-convex Domains

abstract: The existence of a unique numerical solution of the semi-Lagrangian method for the simple Monge-Amp\`ere equation is known independently of the convexity of the domain or Dirichlet boundary data -- when the Monge-Amp\`ere equation is posed as Bellman problem. However, the convergence to the viscosity solution has only been proved on strictly convex domains. In this paper we provide numerical evidence that convergence of numerical solutions is observed more generally without convexity assumptions. We illustrate how in the limit multi-valued functions may be approximated to satisfy the Dirichlet conditions on the boundary as well as local convexity in the interior of the domain.


title: Exact short-time height distribution in 1D KPZ equation with Brownian initial condition

abstract: The early time regime of the Kardar-Parisi-Zhang (KPZ) equation in $1+1$ dimension, starting from a Brownian initial condition with a drift $w$, is studied using the exact Fredholm determinant representation. For large drift we recover the exact results for the droplet initial condition, whereas a vanishingly small drift describes the stationary KPZ case, recently studied by weak noise theory (WNT). We show that for short time $t$, the probability distribution $P(H,t)$ of the height $H$ at a given point takes the large deviation form $P(H,t) \sim \exp{\left(-\Phi(H)/\sqrt{t} \right)}$. We obtain the exact expressions for the rate function $\Phi(H)$ for $H<H_{c2}$. Our exact expression for $H_{c2}$ numerically coincides with the value at which WNT was found to exhibit a spontaneous reflection symmetry breaking. We propose two continuations for $H>H_{c2}$, which apparently correspond to the symmetric and asymmetric WNT solutions. The rate function $\Phi(H)$ is Gaussian in the center, while it has asymmetric tails, $|H|^{5/2}$ on the negative $H$ side and $H^{3/2}$ on the positive $H$ side.

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


title: Switching dynamics of the spin density wave in superconducting CeCoIn5

abstract: The ordering wave vector $\mathbf{Q}$ of a spin density wave (SDW), stabilized within the superconducting state of $\mathrm{CeCoIn_5}$ in a high magnetic field, has been shown to be hypersensitive to the direction of the field. $\mathbf{Q}$ can be switched from a nodal direction of the $d$-wave superconducting order parameter to a perpendicular node by rotating the in-plane magnetic field through the antinodal direction within a fraction of a degree. Here, we address the dynamics of the switching of $\mathbf{Q}$. We use a free energy functional based on the magnetization density, which describes the condensation of magnetic fluctuations of nodal quasiparticles, and show that the switching process includes closing of the SDW gap at one $\mathbf{Q}$ and then reopening the SDW gap at another $\mathbf{Q}$ perpendicular to the first one. The magnetic field couples to $\mathbf{Q}$ through the spin-orbit interaction. Our calculations show that the width of the hysteretic region of switching depends linearly on the deviation of magnetic field from the critical field associated with the SDW transition, consistent with our thermal conductivity measurements. The agreement between theory and experiment supports our scenario of the hypersensitivity of the $Q$ phase on the direction of magnetic field, as well as the magnon condensation as the origin of the SDW phase in $\mathrm{CeCoIn_5}$.


title: The Homogenous Study of Transiting Systems (HoSTS). II. The influence of the line list on stellar parameters

abstract: The use of high resolution, high signal-to-noise stellar spectra is essential in order to determine the most accurate and precise stellar atmospheric parameters via spectroscopy. This is particularly important for determining the fundamental parameters of exoplanets, which directly depend on the stellar properties. However, different techniques can be implemented when analysing these spectra which will influence the results. These include performing an abundance analysis relative to the solar values in order to negate uncertainties in atomic data, and fixing the surface gravity (log g) to an external value such as those from asteroseismology. The choice of lines used will also influence the results. In this paper, we investigate differential analysis and fixing log g for a set of FGK stars that already have accurate fundamental parameters known from external methods. We find that a differential line list gives slightly more accurate parameters compared to a laboratory line list, however the laboratory line list still gives robust parameters. We also find that fixing the log g does not improve the spectroscopic parameters. We investigate the effects of line selection on the stellar parameters and find that the choice of lines used can have a significant effect on the parameters. In particular, removal of certain low excitation potential lines can change the Teff by up to 50 K. For future HoSTS papers we will use the differential line list with a solar microturbulence value of 1 km/s, and we will not fix the log g to an external value.


title: Heating without heat: thermodynamics of passive energy filters between finite systems

abstract: Passive filters allowing the exchange of particles in a narrow band of energy are currently used in micro-refrigerators and energy transducers. In this letter, we analyze their thermal properties using linear irreversible thermodynamics and kinetic theory, and discuss a striking phenomenon: the possibility of increasing or decreasing simultaneously the temperatures of two systems without any supply of energy. This occurs when the filter induces a flow of particles whose energy is between the average energies of the two systems. Here we show that this selective transfer of particles does not need the action of any sort of Maxwell demon and can be carried out by passive filters without compromising the second law of thermodynamics. The phenomenon allows us to design cycles between two reservoirs at temperatures $T_1<T_2$ that are able to reach temperatures below $T_1$ or above $T_2$.


title: Inverse, forward and other dynamic computations computationally optimized with sparse matrix factorizations

abstract: We propose an algorithm to compute the dynamics of articulated rigid-bodies with different sensor distributions. Prior to the on-line computations, the proposed algorithm performs an off-line optimisation step to simplify the computational complexity of the underlying solution. This optimisation step consists in formulating the dynamic computations as a system of linear equations. The computational complexity of computing the associated solution is reduced by performing a permuted LU-factorisation with off-line optimised permutations. We apply our algorithm to solve classical dynamic problems: inverse and forward dynamics. The computational complexity of the proposed solution is compared to `gold standard' algorithms: recursive Newton-Euler and articulated body algorithm. It is shown that our algorithm reduces the number of floating point operations with respect to previous approaches. We also evaluate the numerical complexity of our algorithm by performing tests on dynamic computations for which no gold standard is available.


title: Witt rings of quadratically presentable fields

abstract: This paper introduces a novel approach to the axiomatic theory of quadratic forms. We work internally in a category of certain partially ordered sets, subject to additional conditions which amount to a strong form of local presentability. We call such partial orders presentable. It turns out that the classical notion of the Witt ring of symmetric bilinear forms over a field makes sense in the context of quadratically presentable fields, that is fields equipped with a presentable partial order inequationaly compatible with the algebraic operations. As an application, we show that Witt rings of symmetric bilinear forms over fields, of both characteristic 2 and not 2, are isomorphic to Witt rings of suitably built quadratically presentable fields, which therefore provide a uniform construction of Witt rings for all characteristics.


title: Universal geometric constraints during epithelial jamming

abstract: As an injury heals, an embryo develops, or a carcinoma spreads, epithelial cells systematically change their shape. In each of these processes cell shape is studied extensively, whereas variation of shape from cell-to-cell is dismissed most often as biological noise. But where do cell shape and variation of cell shape come from? Here we report that cell shape and shape variation are mutually constrained through a relationship that is purely geometrical. That relationship is shown to govern maturation of the pseudostratified bronchial epithelial layer cultured from both non-asthmatic and asthmatic donors as well as formation of the ventral furrow in the epithelial monolayer of the Drosophila embryo in vivo. Across these and other vastly different epithelial systems, cell shape variation collapses to a family of distributions that is common to all and potentially universal. That distribution, in turn, is accounted for quantitatively by a mechanistic theory of cell-cell interaction showing that cell shape becomes progressively less elongated and less variable as the layer becomes progressively more jammed. These findings thus uncover a connection between jamming and geometry that is generic -spanning jammed living and inert systems alike- and demonstrate that proximity of the cell layer to the jammed state is the principal determinant of the most primitive features of epithelial cell shape and shape variation.


title: Multiplex decomposition of non-Markovian dynamics and the hidden layer reconstruction problem

abstract: Elements composing complex systems usually interact in several different ways and as such the interaction architecture is well modelled by a multiplex network. However often this architecture is hidden, as one usually only has experimental access to an aggregated projection. A fundamental challenge is thus to determine whether the hidden underlying architecture of complex systems is better modelled as a single interaction layer or results from the aggregation and interplay of multiple layers. Here we show that using local information provided by a random walker navigating the aggregated network one can decide in a robust way if the underlying structure is a multiplex or not and, in the former case, to determine the most probable number of hidden layers. As a byproduct, we show that the mathematical formalism also provides a principled solution for the optimal decomposition and projection of complex, non-Markovian dynamics into a Markov switching combination of diffusive modes. We validate the proposed methodology with numerical simulations of both (i) random walks navigating hidden multiplex networks (thereby reconstructing the true hidden architecture) and (ii) Markovian and non-Markovian continuous stochastic processes (thereby reconstructing an effective multiplex decomposition where each layer accounts for a different diffusive mode). We also state and prove two existence theorems guaranteeing that an exact reconstruction of the dynamics in terms of these hidden jump-Markov models is always possible for arbitrary finite-order Markovian and fully non-Markovian processes. Finally, we showcase the applicability of the method to experimental recordings from (i) the mobility dynamics of human players in an online multiplayer game and (ii) the dynamics of RNA polymerases at the single-molecule level.


title: Monaural Audio Speaker Separation with Source Contrastive Estimation

abstract: We propose an algorithm to separate simultaneously speaking persons from each other, the "cocktail party problem", using a single microphone. Our approach involves a deep recurrent neural networks regression to a vector space that is descriptive of independent speakers. Such a vector space can embed empirically determined speaker characteristics and is optimized by distinguishing between speaker masks. We call this technique source-contrastive estimation. The methodology is inspired by negative sampling, which has seen success in natural language processing, where an embedding is learned by correlating and de-correlating a given input vector with output weights. Although the matrix determined by the output weights is dependent on a set of known speakers, we only use the input vectors during inference. Doing so will ensure that source separation is explicitly speaker-independent. Our approach is similar to recent deep neural network clustering and permutation-invariant training research; we use weighted spectral features and masks to augment individual speaker frequencies while filtering out other speakers. We avoid, however, the severe computational burden of other approaches with our technique. Furthermore, by training a vector space rather than combinations of different speakers or differences thereof, we avoid the so-called permutation problem during training. Our algorithm offers an intuitive, computationally efficient response to the cocktail party problem, and most importantly boasts better empirical performance than other current techniques.


title: Inductive limits in the operator system and related categories

abstract: We present a systematic development of inductive limits in the categories of ordered *-vector spaces, Archimedean order unit spaces, matrix ordered spaces, operator systems and operator C*-systems. We show that the inductive limit intertwines the operation of passing to the maximal operator system structure of an Archimedean order unit space, and that the same holds true for the minimal operator system structure if the connecting maps are complete order embeddings. We prove that the inductive limit commutes with the operation of taking the maximal tensor product with another operator system, and establish analogous results for injective functorial tensor products provided the connecting maps are complete order embeddings. We identify the inductive limit of quotient operator systems as a quotient of the inductive limit, in case the involved kernels are completely biproximinal. We describe the inductive limit of graph operator systems as operator systems of topological graphs, show that two such operator systems are completely order isomorphic if and only if their underlying graphs are isomorphic, identify the C*-envelope of such an operator system, and prove a version of Glimm's Theorem on the isomorphism of UHF algebras in the category of operator systems.


title: Precise predictions for V+jets dark matter backgrounds

abstract: High-energy jets recoiling against missing transverse energy (MET) are powerful probes of dark matter at the LHC. Searches based on large MET signatures require a precise control of the $Z(\nu\bar\nu)+$jet background in the signal region. This can be achieved by taking accurate data in control regions dominated by $Z(\ell^+\ell^-)+$jet, $W(\ell\nu)+$jet and $\gamma+$jet production, and extrapolating to the $Z(\nu\bar\nu)+$jet background by means of precise theoretical predictions. In this context, recent advances in perturbative calculations open the door to significant sensitivity improvements in dark matter searches. In this spirit, we present a combination of state-of-the art calculations for all relevant $V+$jets processes, including throughout NNLO QCD corrections and NLO electroweak corrections supplemented by Sudakov logarithms at two loops. Predictions at parton level are provided together with detailed recommendations for their usage in experimental analyses based on the reweighting of Monte Carlo samples. Particular attention is devoted to the estimate of theoretical uncertainties in the framework of dark matter searches, where subtle aspects such as correlations across different $V+$jet processes play a key role. The anticipated theoretical uncertainty in the $Z(\nu\bar\nu)+$jet background is at the few percent level up to the TeV range.


title: A Formal Characterization of the Local Search Topology of the Gap Heuristic

abstract: The pancake puzzle is a classic optimization problem that has become a standard benchmark for heuristic search algorithms. In this paper, we provide full proofs regarding the local search topology of the gap heuristic for the pancake puzzle. First, we show that in any non-goal state in which there is no move that will decrease the number of gaps, there is a move that will keep the number of gaps constant. We then classify any state in which the number of gaps cannot be decreased in a single action into two groups: those requiring 2 actions to decrease the number of gaps, and those which require 3 actions to decrease the number of gaps.