title: Fiber bundle model under heterogeneous loading

abstract: The present work deals with the behavior of fiber bundle model under heterogeneous loading condition. The model is explored both in the mean-field limit as well as with local stress concentration. In the mean field limit, the failure abruptness decreases with increasing order k of heterogeneous loading. In this limit, a brittle to quasi-brittle transition is observed at a particular strength of disorder which changes with k. On the other hand, the model is hardly affected by such heterogeneity in the limit where local stress concentration plays a crucial role. The continuous limit of the heterogeneous loading is also studied and discussed in this paper. Some of the important results related to fiber bundle model are reviewed and their responses to our new scheme of heterogeneous loading are studied in details. Our findings are universal with respect to the nature of the threshold distribution adopted to assign strength to an individual fiber.


title: Data-driven Design: A Case for Maximalist Game Design

abstract: Maximalism in art refers to drawing on and combining multiple different sources for art creation, embracing the resulting collisions and heterogeneity. This paper discusses the use of maximalism in game design and particularly in data games, which are games that are generated partly based on open data. Using Data Adventures, a series of generators that create adventure games from data sources such as Wikipedia and OpenStreetMap, as a lens we explore several tradeoffs and issues in maximalist game design. This includes the tension between transformation and fidelity, between decorative and functional content, and legal and ethical issues resulting from this type of generativity. This paper sketches out the design space of maximalist data-driven games, a design space that is mostly unexplored.


title: Annealing glasses by cyclic shear deformation

abstract: A major challenge in simulating glassy systems is the ability to generate configurations that may be found in equilibrium at sufficiently low temperatures, in order to probe static and dynamic behaviour close to the glass transition. A variety of approaches have recently explored ways of surmounting this obstacle. Here, we explore the possibility of employing mechanical agitation, in the form of cyclic shear deformation, to generate low energy configurations in a model glass former. We perform shear deformation simulations over a range of temperatures, shear rates and strain amplitudes. We find that shear deformation induces faster relaxation towards low energy configurations, or overaging, in simulations at sufficiently low temperatures, consistently with previous results for athermal shear. However, for temperatures at which simulations can be run till a steady state is reached with or without shear deformation, we find that the inclusion of shear deformation does not result in any speed up of the relaxation towards low energy configurations. Although we find the configurations from shear simulations to have properties indistinguishable from an equilibrium ensemble, the cyclic shear procedure does not guarantee that we generate an equilibrium ensemble at a desired temperature. In order to ensure equilibrium sampling, we develop a hybrid Monte Carlo algorithm that employs cyclic shear as a trial generation step, and has acceptance probabilities that depend not only on the change in internal energy but also on heat dissipated (equivalently, work done). We show that such an algorithm indeed generates an equilibrium ensemble.


title: Lagrangian subspaces, delta-matroids and four-term relations

abstract: Finite order invariants (Vassiliev invariants) of knots are expressed in terms of weight systems, that is, functions on chord diagrams satisfying the four-term relations. Weight systems have graph analogues, so-called $4$-invariants of graphs, i.e. functions on graphs that satisfy the four-term relations for graphs. Each $4$-invariant determines a weight system. The notion of weight system is naturally generalized for the case of embedded graphs with an arbitrary number of vertices. Such embedded graphs correspond to links; to each component of a link there corresponds a vertex of an embedded graph. Recently, two approaches have been suggested to extend the notion of $4$-invariants of graphs to the case of combinatorial structures corresponding to embedded graphs with an arbitrary number of vertices. The first approach is due to V.~Kleptsyn and E.~Smirnov, who considered functions on Lagrangian subspaces in a $2n$-dimensional space over $\mathbb{F}_2$ endowed with a standard symplectic form and introduced four-term relations for them. On the other hand, the second approach, the one due to Zhukov and Lando, suggests four-term relations for functions on binary delta-matroids. In this paper, we prove that the two approaches are equivalent.


title: Snakes and ghosts in a parity-time-symmetric chain of dimers

abstract: We consider linearly coupled discrete nonlinear Schr\"odinger equations with gain and loss terms and with a cubic-quintic nonlinearity. The system models a parity-time ($\cal{PT}$)-symmetric coupler composed by a chain of dimers. Particularly we study site-centered and bond-centered spatially-localized solutions and present that each solution has a symmetric and antisymmetric configuration between the arms. When a parameter is varied, the resulting bifurcation diagrams for the existence of standing localized solutions have a snaking behaviour. The critical gain/loss coefficient above which the $\cal{PT}-$symmetry is broken corresponds to the condition when bifurcation diagrams of symmetric and antisymmetric states merge. Past the symmetry breaking, the system no longer has time-independent states. Nevertheless, equilibrium solutions can be analytically continued by defining a dual equation that leads to so-called ghost states associated with growth or decay, that are also identified and examined here. We show that ghost localized states also exhibit snaking bifurcation diagrams. We analyse the width of the snaking region and provide asymptotic approximations in the limit of strong and weak coupling where good agreement is obtained.


title: Self-representations of the Moebius group

abstract: Contrary to the finite-dimensional case, the Moebius group admits interesting self-representations when infinite-dimensional. We construct and classify all these self-representations. The proofs are obtained in the equivalent setting of isometries of Lobachevsky spaces and use kernels of hyperbolic type, in analogy to the classical concepts of kernels of positive and negative type.


title: A voting scheme with post-quantum security based on physical laws

abstract: Traditional cryptography is under huge threat along of the evolution of quantum information and computing. In this paper, we propose a new post-quantum voting scheme based on physical laws by using encrypted no-key protocol to transmit message in the channel, which ensures the post-quantum security. Unlike lattice-based and multivariate-based electronic voting schemes, whose security is based on the computational problems assumption that has not been solved by effective quantum algorithms until now, the security of the voting scheme based on the physical laws is depended on inherent limitations of quantum computers and not influenced by the evolution of new quantum algorithms. In detail, we also rigorously demonstrate that the scheme achieves the post-quantum security and all properties necessary for voting scheme such as the completeness, robustness, privacy, eligibility, unreusability, fairness, and verifiability.


title: Generalised Lebesgue Stable Flux Reconstruction

abstract: A unique set of correction functions for Flux Reconstruction is presented, with there derivation stemming from proving the existence of energy stability in the Lebesgue norm. The set is shown to be incredibly arbitrary with the only union to existing correction function sets being show to be for DG. Von Neumann analysis of both advection and coupled advection-diffusion is used to show that once coupled to a temporal integration method, good CFL performance can be achieved and the correction function may have better dispersion and dissipation for application to implicit LES. Lastly, the turbulent Taylor-Green vortex test case is then used to show that correction functions can be found that improve the accuracy of the scheme when compared to the error levels of Discontinuous Galerkin.


title: How to Simulate It in Isabelle: Towards Formal Proof for Secure Multi-Party Computation

abstract: In cryptography, secure Multi-Party Computation (MPC) protocols allow participants to compute a function jointly while keeping their inputs private. Recent breakthroughs are bringing MPC into practice, solving fundamental challenges for secure distributed computation. Just as with classic protocols for encryption and key exchange, precise guarantees are needed for MPC designs and implementations; any flaw will give attackers a chance to break privacy or correctness. In this paper we present the first (as far as we know) formalisation of some MPC security proofs. These proofs provide probabilistic guarantees in the computational model of security, but have a different character to machine proofs and proof tools implemented so far --- MPC proofs use a \emph{simulation} approach, in which security is established by showing indistinguishability between execution traces in the actual protocol execution and an ideal world where security is guaranteed by definition. We show that existing machinery for reasoning about probabilistic programs adapted to this setting, paving the way to precisely check a new class of cryptography arguments. We implement our proofs using the CryptHOL framework inside Isabelle/HOL.


title: Microlocal analysis of Doppler Synthetic Aperture Radar

abstract: We study the existence and suppression of artifacts for a Doppler-based Synthetic Aperture Radar (DSAR) system. The idealized air- or space-borne system transmits a continuous wave at a fixed frequency and a co-located receiver measures the resulting scattered waves; a windowed Fourier transform then converts the raw data into a function of two variables: slow time and frequency. Under simplifying assumptions, we analyze the linearized forward scattering map and the feasibility of inverting it via filtered backprojection, using techniques of microlocal analysis which robustly describe how sharp features in the target appear in the data. For DSAR with a straight flight path, there is, as with conventional SAR, a left-right ambiguity artifact in the DSAR image, which can be avoided via beam forming to the left or right. For a circular flight path, the artifact has a more complicated structure, but filtering out echoes coming from straight ahead or behind the transceiver, as well as those outside a critical range, allows one to obtain an artifact-free image. Initially derived under a start-stop approximation widely used in range-based SAR, we show that some of these results are robust and hold under a more realistic approximation.


title: Full phase diagram of active Brownian disks: from melting to motility-induced phase separation

abstract: We establish the complete phase diagram of self-propelled hard disks in two spatial dimensions from the analysis of the equation of state and the statistics of local order parameters. The equilibrium melting scenario is maintained at small activities, with coexistence between active liquid and hexatic order, followed by a proper hexatic phase and a further transition to an active solid. As activity increases, the emergence of hexatic and solid order is shifted towards higher densities. Above a critical activity and for a certain range of packing fractions, the system undergoes MIPS and demixes into low and high density phases; the latter can be either disordered (liquid) or ordered (hexatic or solid) depending on activity.


title: An Integrated View on the Future of Logistics and Information Technology

abstract: In this position paper, we present our vision on the future of the logistics business domain and the use of information technology (IT) in this domain. The vision is based on extensive experience with Dutch and European logistics in various contexts and from various perspectives. We expect that the vision also holds for logistics outside Europe. We build our vision in a number of steps. First, we make an inventory of the most important trends in the logistics domain - we call these mega-trends. Next, we do the same for the information technology domain, restricted to technologies that have relevance for logistics. Then, we introduce logistics meta-concepts that we use to describe our vision and relate them to business engineering. We use these three ingredients to analyze leading concepts that we currently observe in the logistics domain. Next, we consolidate all elements into a model that represents our vision of the integrated future of logistics and IT. We elaborate on the role of data platforms and open standards in this integrated vision.


title: Density estimates for the solutions of backward stochastic differential equations driven by Gaussian processes

abstract: The aim of this paper is twofold. Firstly, we derive upper and lower non-Gaussian bounds for the densities of the marginal laws of the solutions to backward stochastic differential equations (BSDEs) driven by fractional Brownian motions. Our arguments consist of utilising a relationship between fractional BSDEs and quasilinear partial differential equations of mixed type, together with the profound Nourdin-Viens formula. In the linear case, upper and lower Gaussian bounds for the densities and the tail probabilities of solutions are obtained with simple arguments by their explicit expressions in terms of the quasi-conditional expectation. Secondly, we are concerned with Gaussian estimates for the densities of a BSDE driven by a Gaussian process in the manner that the solution can be established via an auxiliary BSDE driven by a Brownian motion. Using the transfer theorem we succeed in deriving Gaussian estimates for the solutions.


title: Sequential Attacks on Agents for Long-Term Adversarial Goals

abstract: Reinforcement learning (RL) has advanced greatly in the past few years with the employment of effective deep neural networks (DNNs) on the policy networks. With the great effectiveness came serious vulnerability issues with DNNs that small adversarial perturbations on the input can change the output of the network. Several works have pointed out that learned agents with a DNN policy network can be manipulated against achieving the original task through a sequence of small perturbations on the input states. In this paper, we demonstrate furthermore that it is also possible to impose an arbitrary adversarial reward on the victim policy network through a sequence of attacks. Our method involves the latest adversarial attack technique, Adversarial Transformer Network (ATN), that learns to generate the attack and is easy to integrate into the policy network. As a result of our attack, the victim agent is misguided to optimise for the adversarial reward over time. Our results expose serious security threats for RL applications in safety-critical systems including drones, medical analysis, and self-driving cars.


title: Correlated Gaussian Approach to Anisotropic Resonantly Interacting Few-Body Systems

abstract: Quantum mechanical few-body systems in reduced dimensionalities can exhibit many interesting properties such as scale-invariance and universality. Analytical descriptions are often available for integer dimensionality, however, numerical approaches are necessary for addressing dimensional transitions. The Fully-Correlated Gaussian method provides a variational description of the few-body real-space wavefunction. By placing the particles in a harmonic trap, the system can be described at various degrees of anisotropy by squeezing the confinement. Through this approach, configurations of two and three identical bosons as well as heteronuclear (Cs-Cs-Li and K-K-Rb) systems are described during a continuous deformation from three to one dimension. We find that the changes in binding energies between integer dimensional cases exhibit a universal behavior akin to that seen in avoided crossings or Zeldovich rearrangement.


title: Asymptotics for the Expected Maximum of Random Walks and L\'evy Flights with a Constant Drift

abstract: In this paper, we study the large $n$ asymptotics of the expected maximum of an $n$-step random walk/L\'evy flight (characterized by a L\'evy index $1<\mu\leq 2$) on a line, in the presence of a constant drift $c$. For $0<\mu\leq 1$, the expected maximum is infinite, even for finite values of $n$. For $1<\mu\leq 2$, we obtain all the non-vanishing terms in the asymptotic expansion of the expected maximum for large $n$. For $c<0$ and $\mu =2$, the expected maximum approaches a non-trivial constant as $n$ gets large, while for $1<\mu < 2$, it grows as a power law $\sim n^{2-\mu}$. For $c>0$, the asymptotic expansion of the expected maximum is simply related to the one for $c<0$ by adding to the latter the linear drift term $cn$, making the leading term grow linearly for large $n$, as expected. Finally, we derive a scaling form interpolating smoothly between the cases $c=0$ and $c\ne 0$. These results are borne out by numerical simulations in excellent agreement with our analytical predictions.


title: New results on integrability of the Kahan-Hirota-Kimura discretizations

abstract: R. Hirota and K. Kimura discovered integrable discretizations of the Euler and the Lagrange tops, given by birational maps. Their method is a specialization to the integrable context of a general discretization scheme introduced by W. Kahan and applicable to any vector field with a quadratic dependence on phase variables. We report several novel observations regarding integrability of the Kahan-Hirota-Kimura discretization. For several of the most complicated cases for which integrability is known (Clebsch system, Kirchhoff system, and Lagrange top), - we give nice compact formulas for some of the more complicated integrals of motion and for the density of the invariant measure, and - we establish the existence of higher order Wronskian Hirota-Kimura bases, generating the full set of integrals of motion. While the first set of results admits nice algebraic proofs, the second one relies on computer algebra.


title: Abstract representations of events arise from mental errors in learning and memory

abstract: Humans are adept at uncovering abstract associations in the world around them, yet the underlying mechanisms remain poorly understood. Intuitively, learning the higher-order structure of statistical relationships should involve complex mental processes. Here we propose an alternative perspective: that higher-order associations instead arise from natural errors in learning and memory. Combining ideas from information theory and reinforcement learning, we derive a maximum entropy (or minimum complexity) model of people's internal representations of the transitions between stimuli. Importantly, our model (i) affords a concise analytic form, (ii) qualitatively explains the effects of transition network structure on human expectations, and (iii) quantitatively predicts human reaction times in probabilistic sequential motor tasks. Together, these results suggest that mental errors influence our abstract representations of the world in significant and predictable ways, with direct implications for the study and design of optimally learnable information sources.


title: Linking interstellar and cometary O$_2$: a deep search for $^{16}$O$^{18}$O in the solar-type protostar IRAS 16293--2422

abstract: Recent measurements carried out at comet 67P/C-G with the ${\it Rosetta}$ probe revealed that molecular oxygen, O$_2$, is the fourth most abundant molecule in comets. Models show that O$_2$ is likely of primordial nature, coming from the interstellar cloud from which our Solar System was formed. However, gaseous O$_2$ is an elusive molecule in the interstellar medium with only one detection towards quiescent molecular clouds, in the $\rho$ Oph A core. We perform a deep search for molecular oxygen, through the $2_1 - 0_1$ rotational transition at 234 GHz of its $^{16}$O$^{18}$O isotopologue, towards the warm compact gas surrounding the nearby Class 0 protostar IRAS 16293--2422 B with the ALMA interferometer. The targeted $^{16}$O$^{18}$O transition is surrounded by two brighter transitions at $\pm 1$ km s$^{-1}$ relative to the expected $^{16}$O$^{18}$O transition frequency. After subtraction of these two transitions, residual emission at a 3$\sigma$ level remains, but with a velocity offset of $0.3 - 0.5$ km s$^{-1}$ relative to the source velocity, rendering the detection "tentative". We derive the O$_2$ column density for two excitation temperatures $T_{\rm ex}$ of 125 and 300 K, as indicated by other molecules, in order to compare the O$_2$ abundance between IRAS16293 and comet 67P/C-G. Assuming that $^{16}$O$^{18}$O is not detected and using methanol CH$_3$OH as a reference species, we obtain a [O$_2$]/[CH$_3$OH] abundance ratio lower than $2-5$, depending on the assumed $T_{\rm ex}$, a three to four times lower abundance than the [O$_2$]/[CH$_3$OH] ratio of $5-15$ found in comet 67P/C-G. Such a low O$_2$ abundance could be explained by the lower temperature of the dense cloud precursor of IRAS16293 with respect to the one at the origin of our Solar System that prevented an efficient formation of O$_2$ in interstellar ices.


title: Elastic potentials as yield surfaces for homogeneous materials

abstract: This paper proposes that elastic potentials, which may be rigorously formulated using the negative Gibbs free energy or the complementary strain energy density, should be used as the basis for the plastic part of elasto-plastic constitutive models. Thus, the yield surface may be assumed as an elastic potential surface for a specific level of critical complementary strain energy density. Here, rate-independent homogenous continuous materials under isothermal conditions are considered. Visualization of elastic potentials using principal stresses is presented. The proposed approach improves the total strain energy criterion because: (1) the elastic potential does not have to be centred at the current stress state and, consequently, is able to reproduce a tension-compression asymmetry; (2) the corresponding correlation between the Poisson's ratio and the shape of the yield surface is found for soils and metallic glasses; (3) non-linear elasticity is considered, which notably increases the flexibility and capabilities of the proposed approach. Ultimately, and similarly to hyperelasticity, the proposed framework for deriving (associated) yield surfaces may be considered just as a classifying criterion and a possible approach to formulate yield surfaces. Finally, if an associated flow rule is also assumed, the elastic potential, yield and plastic potential surfaces coincide.


title: Self-consistent temperature dependence of quasiparticle bands in monolayer FeSe on SrTiO$_3$

abstract: We study the temperature evolution of the quasiparticle bands of the FeSe monolayer on the SrTiO$_3$ (STO) substrate from 10 to 300 K by applying the anisotropic, multiband and full-bandwidth Eliashberg theory. To achieve this, we extend this theory by self-consistently coupling the chemical potential to the full set of Eliashberg equations. In this way, the electron filling can accurately be kept at a constant level at any temperature. Solving the coupled equations self-consistently, and with focus on the interfacial electron-phonon coupling, we compute a nearly constant Fermi surface with respect to temperature and predict a non-trivial temperature evolution of the global chemical potential. This evolution includes a total shift of 5 meV when increasing temperature from 10 to 300 K and a hump-like dependence followed by a kink at the critical temperature T$_c$. We argue that the latter behavior indicates that superconductivity in FeSe/SrTiO$_3$ is near to the BCS-BEC crossover regime. Calculating the temperature dependent Angle Resolved Photoemission Spectroscopy (ARPES) spectra, we suggest a new route to determine the energy scale of the interfacial phonon mode by measuring the energy position of second-order replica bands. Further, we re-examine the often used symmetrization procedure applied to such ARPES curves and demonstrate substantial asymmetric deviations. Lastly, our results reveal important aspects for the experimental determination of the momentum anisotropy of the superconducting gap.


title: Invariant Representation of Mathematical Expressions

abstract: While there exist many methods in machine learning for comparison of letter string data, most are better equipped to handle strings that represent natural language, and their performance will not hold up when presented with strings that correspond to mathematical expressions. Based on the graphical representation of the expression tree, here we propose a simple method for encoding such expressions that is only sensitive to their structural properties, and invariant to the specifics which can vary between two seemingly different, but semantically similar mathematical expressions.


title: Unusual magnetotransport in holmium monoantimonide

abstract: We report the magnetotransport properties of HoSb, a semimetal with antiferromagnetic ground state. HoSb shows extremely large magnetoresistance (XMR) and Shubnikov-de Haas (SdH) oscillation at low temperature and high magnetic field. Different from previous reports in other rare earth monopnictides, kinks in $\rho(B)$ and $\rho_{xy}(B)$ curves and the field dependent resistivity plateau are observed in HoSb, which result from the magnetic phase transitions. The fast Fourier transform analysis of the SdH oscillation reveals the split of Fermi surfaces induced by the nonsymmetric spin-orbit interaction. The Berry phase extracted from SdH oscillation indicates the possible nontrivial electronic structure of HoSb in the presence of magnetic field. The Hall measurements suggest that the XMR originates from the electron-hole compensation and high mobility.


title: Free energy of a folded semiflexible polymer confined to a nanochannel of various geometries

abstract: Monte Carlo simulations are used to study the conformational properties of a folded semiflexible polymer confined to a long channel. We measure the variation in the conformational free energy with respect to the end-to-end distance of the polymer, and from these functions we extract the free energy of the hairpin fold, as well as the entropic force arising from interactions between the portions of the polymer that overlap along the channel. We consider the scaling of the free energies with respect to varying the persistence length of the polymer, as well as the channel dimensions for confinement in cylindrical, rectangular and triangular channels. We focus on polymer behaviour in both the classic Odijk and back folded Odijk regimes. We find the scaling of the entropic force to be close to that predicted from a scaling argument that treats interactions between deflection segments at the second virial level. In addition, the measured hairpin fold free energy is consistent with that obtained directly from a recent theoretical calculation for cylindrical channels. It is also consistent with values determined from measurements of the global persistence length of a polymer in the backfolded Odijk regime in recent simulation studies.


title: A faster hafnian formula for complex matrices and its benchmarking on a supercomputer

abstract: We introduce new and simple algorithms for the calculation of the number of perfect matchings of complex weighted, undirected graphs with and without loops. Our compact formulas for the hafnian and loop hafnian of $n \times n $ complex matrices run in $O(n^3 2^{n/2})$ time, are embarrassingly parallelizable and, to the best of our knowledge, are the fastest exact algorithms to compute these quantities. Despite our highly optimized algorithm, numerical benchmarks on the Titan supercomputer with matrices up to size $56 \times 56$ indicate that one would require the 288000 CPUs of this machine for about a month and a half to compute the hafnian of a $100 \times 100$ matrix.


title: Experimental and theoretical study of deuteron-proton elastic scattering for proton kinetic energies between $T_p = 882.2\;\textrm{MeV}$ and $T_p = 918.3\;\textrm{MeV}$

abstract: New precise unpolarised differential cross sections of deuteron-proton elastic scattering have been measured at 16 different deuteron beam momenta between $p_d = 3120.17\;\textrm{MeV}/c$ and $p_d =3204.16\;\textrm{MeV}/c$ at the COoler SYnchrotron COSY of the Forschungszentrum J\"ulich. The data, which were taken using the magnetic spectrometer ANKE, cover the equivalent range in proton kinetic energies from $T_p = 882.2\;\textrm{MeV}$ to $T_p = 918.3\;\textrm{MeV}$. The experimental results are analysed theoretically using the Glauber diffraction model with accurate nucleon-nucleon input. The theoretical cross section at $T_p = 900\;\textrm{MeV}$ agrees very well with the experimental one at low momentum transfers $|t| <0.2\;(\textrm{GeV}/c)^2$.


title: On coincidence results for summing multilinear operators: interpolation, $\ell_1$-spaces and cotype

abstract: Grothendieck's theorem asserts that every continuous linear operator from $\ell_1$ to $\ell_2$ is absolutely $(1,1)$-summing. This kind of result is commonly called coincidence result. In this paper we investigate coincidence results in the multilinear setting, showing how the cotype of the spaces involved affect such results. The special role played by $\ell_1$ spaces is also investigated with relation to interpolation of tensor products. In particular, an open problem on the interpolation of $m$ injective tensor products is solved.


title: Multi-Label Transfer Learning for Multi-Relational Semantic Similarity

abstract: Multi-relational semantic similarity datasets define the semantic relations between two short texts in multiple ways, e.g., similarity, relatedness, and so on. Yet, all the systems to date designed to capture such relations target one relation at a time. We propose a multi-label transfer learning approach based on LSTM to make predictions for several relations simultaneously and aggregate the losses to update the parameters. This multi-label regression approach jointly learns the information provided by the multiple relations, rather than treating them as separate tasks. Not only does this approach outperform the single-task approach and the traditional multi-task learning approach, but it also achieves state-of-the-art performance on all but one relation of the Human Activity Phrase dataset.


title: Improving Machine-based Entity Resolution with Limited Human Effort: A Risk Perspective

abstract: Pure machine-based solutions usually struggle in the challenging classification tasks such as entity resolution (ER). To alleviate this problem, a recent trend is to involve the human in the resolution process, most notably the crowdsourcing approach. However, it remains very challenging to effectively improve machine-based entity resolution with limited human effort. In this paper, we investigate the problem of human and machine cooperation for ER from a risk perspective. We propose to select the machine-labeled instances at high risk of being mislabeled for manual verification. For this task, we present a risk model that takes into consideration the human-labeled instances as well as the output of machine resolution. Finally, we evaluate the performance of the proposed risk model on real data. Our experiments demonstrate that it can pick up the mislabeled instances with considerably higher accuracy than the existing alternatives. Provided with the same amount of human cost budget, it can also achieve better resolution quality than the state-of-the-art approach based on active learning.


title: Practical Study of Deterministic Regular Expressions from Large-scale XML and Schema Data

abstract: Regular expressions are a fundamental concept in computer science and widely used in various applications. In this paper we focused on deterministic regular expressions (DREs). Considering that researchers didn't have large datasets as evidence before, we first harvested a large corpus of real data from the Web then conducted a practical study to investigate the usage of DREs. One feature of our work is that the data set is sufficiently large compared with previous work, which is obtained using several data collection strategies we proposed. The results show more than 98\% of expressions in Relax NG are DRE, and more than 56\% of expressions from RegExLib are DRE, while both Relax NG and RegExLib do not have the determinism constraint. These observations indicate that DREs are commonly used in practice. The results also show further study of subclasses of DREs is necessary. As far as we know, we are the first to analyze the determinism and the subclasses of DREs of Relax NG and RegExLib, and give these results. Furthermore, we give some discussions and applications of the data set. We obtain a DRE data set from the original data, which will be useful in practice and it has value in its own right. We find current research in new subclasses of DREs is insufficient, therefore it is necessary to do further study. We also analyze the referencing relationships among XSDs and define SchemaRank, which can be used in XML Schema design.


title: Eshelby description of highly viscous flow -- half model, half theory

abstract: A recent description of the highly viscous flow ascribes it to irreversible thermally activated Eshelby transitions, which transform a region of the undercooled liquid to a different structure with a different elastic misfit to the viscoelastic surroundings. The description is extended to include reversible Eshelby transitions, with the Kohlrausch exponent $\beta$ as a free parameter. The model answers several open questions in the field.


title: The long-term impact of ranking algorithms in growing networks

abstract: When we search online for content, we are constantly exposed to rankings. For example, web search results are presented as a ranking, and online bookstores often show us lists of best-selling books. While popularity-based ranking algorithms (like Google's PageRank) have been extensively studied in previous works, we still lack a clear understanding of their potential systemic consequences. In this work, we fill this gap by introducing a new model of network growth that allows us to compare the properties of the networks generated under the influence of different ranking algorithms. We show that by correcting for the omnipresent age bias of popularity-based ranking algorithms, the resulting networks exhibit a significantly larger agreement between the nodes' inherent quality and their long-term popularity, and a less concentrated popularity distribution. To further promote popularity diversity, we introduce and validate a perturbation of the original rankings where a small number of randomly-selected nodes are promoted to the top of the ranking. Our findings move the first steps toward a model-based understanding of the long-term impact of popularity-based ranking algorithms, and could be used as an informative tool for the design of improved information filtering tools.


title: Robust Gyroscope-Aided Camera Self-Calibration

abstract: Camera calibration for estimating the intrinsic parameters and lens distortion is a prerequisite for various monocular vision applications including feature tracking and video stabilization. This application paper proposes a model for estimating the parameters on the fly by fusing gyroscope and camera data, both readily available in modern day smartphones. The model is based on joint estimation of visual feature positions, camera parameters, and the camera pose, the movement of which is assumed to follow the movement predicted by the gyroscope. Our model assumes the camera movement to be free, but continuous and differentiable, and individual features are assumed to stay stationary. The estimation is performed online using an extended Kalman filter, and it is shown to outperform existing methods in robustness and insensitivity to initialization. We demonstrate the method using simulated data and empirical data from an iPad.


title: Efficacy of regularized multi-task learning based on SVM models

abstract: This paper investigates the efficacy of a regularized multi-task learning (MTL) framework based on SVM (M-SVM) to answer whether MTL always provides reliable results and how MTL outperforms independent learning. We first find that M-SVM is Bayes risk consistent in the limit of large sample size. This implies that despite the task dissimilarities, M-SVM always produces a reliable decision rule for each task in terms of misclassification error when the data size is large enough. Furthermore, we find that the task-interaction vanishes as the data size goes to infinity, and the convergence rates of M-SVM and its single-task counterpart have the same upper bound. The former suggests that M-SVM cannot improve the limit classifier's performance; based on the latter, we conjecture that the optimal convergence rate is not improved when the task number is fixed. As a novel insight of MTL, our theoretical and experimental results achieved an excellent agreement that the benefit of the MTL methods lies in the improvement of the pre-convergence-rate factor (PCR, to be denoted in Section III) rather than the convergence rate. Moreover, this improvement of PCR factors is more significant when the data size is small.


title: Improved bounds for the regularity of powers of edge ideals of graphs

abstract: Let $G$ be a graph with edge ideal $I(G)$. We recall the notions of $\min-match_{\{K_2, C_5\}}(G)$ and $\ind-match_{\{K_2, C_5\}}(G)$ from \cite{sy}. We show that $${\rm reg}(I(G)^s)\leq 2s+\min-match_{\{K_2, C_5\}}(G)-1,$$for all $s\geq 1$, which implies that$${\rm reg}(I(G)^s)\leq 2s+\min-match(G)-1.$$Moreover, we show that$${\rm reg}(I(G)^s)\geq 2s+\ind-match_{\{K_2, C_5\}}(G)-2,$$and if $\ind-match_{\{K_2, C_5\}}(G)$ is an odd integer, then$${\rm reg}(I(G)^s)\geq 2s+\ind-match_{\{K_2, C_5\}}(G)-1.$$Furthermore, it is shown that$${\rm reg}(I(G)^s)\leq 2s+\ord-match(G)-1,$$where $\ord-match(G)$ denotes the ordered matching number of $G$. Finally, we construct infinitely many connected graphs which satisfy the following strict inequalities:$$2s+\ind-match(G)-1 < {\rm reg}(I(G)^s)< 2s+{\rm cochord}(G)-1.$$This gives a positive answer to a question asked in \cite{jns}.


title: Fog-supported delay-constrained energy-saving live migration of VMs over MultiPath TCP/IP 5G connections

abstract: The incoming era of the Fifth-Generation Fog Computing-supported Radio Access Networks (shortly, 5G FOGRANs) aims at exploiting computing/networking resource virtualization, in order to augment the limited resources of wireless devices through the seamless live migration of Virtual Machines (VMs) towards nearby Fog data centers. For this purpose, the bandwidths of the multiple Wireless Network Interface Cards (WNICs) of the wireless devices may be aggregated under the control of the emerging MultiPathTCP (MPTCP) protocol. However, due to fading and mobility-induced phenomena, the energy consumptions of current state-of-the-art VM migration techniques may still offset their expected benefits. Motivated by these considerations, in this paper, we analytically characterize, implement in software and numerically test the optimal minimum-energy Settable-Complexity Bandwidth Manager (SCBM) for the live migration of VMs over 5G FOGRAN MPTCP connections. The key features of the proposed SCBM are that: (i) its implementation complexity is settable on-line on the basis of the target energy consumption-vs.-implementation complexity tradeoff; (ii) it minimizes the network energy consumed by the wireless device for sustaining the migration process under hard constraints on the tolerated migration times and downtimes; and, (iii) by leveraging a suitably designed adaptive mechanism, it is capable to quickly react to (possibly, unpredicted) fading and/or mobility-induced abrupt changes of the wireless environment without requiring forecasting. The actual effectiveness of the proposed SCBM is supported by extensive energy-vs.-delay performance comparisons, that cover: (i) a number of heterogeneous 3G/4G/WiFi FOGRAN scenarios; (ii) synthetic and real-world workloads; and, (iii) MPTCP and SinglePathTCP (SPTCP) wireless connections.


title: Accurate pedestrian localization in overhead depth images via Height-Augmented HOG

abstract: We tackle the challenge of reliably and automatically localizing pedestrians in real-life conditions through overhead depth imaging at unprecedented high-density conditions. Leveraging upon a combination of Histogram of Oriented Gradients-like feature descriptors, neural networks, data augmentation and custom data annotation strategies, this work contributes a robust and scalable machine learning-based localization algorithm, which delivers near-human localization performance in real-time, even with local pedestrian density of about 3 ped/m2, a case in which most state-of-the art algorithms degrade significantly in performance.


title: Cyberattack Detection using Deep Generative Models with Variational Inference

abstract: Recent years have witnessed a rise in the frequency and intensity of cyberattacks targeted at critical infrastructure systems. This study designs a versatile, data-driven cyberattack detection platform for infrastructure systems cybersecurity, with a special demonstration in water sector. A deep generative model with variational inference autonomously learns normal system behavior and detects attacks as they occur. The model can process the natural data in its raw form and automatically discover and learn its representations, hence augmenting system knowledge discovery and reducing the need for laborious human engineering and domain expertise. The proposed model is applied to a simulated cyberattack detection problem involving a drinking water distribution system subject to programmable logic controller hacks, malicious actuator activation, and deception attacks. The model is only provided with observations of the system, such as pump pressure and tank water level reads, and is blind to the internal structures and workings of the water distribution system. The simulated attacks are manifested in the model's generated reproduction probability plot, indicating its ability to discern the attacks. There is, however, need for improvements in reducing false alarms, especially by optimizing detection thresholds. Altogether, the results indicate ability of the model in distinguishing attacks and their repercussions from normal system operation in water distribution systems, and the promise it holds for cyberattack detection in other domains.


title: On the Origins of Memes by Means of Fringe Web Communities

abstract: Internet memes are increasingly used to sway and manipulate public opinion. This prompts the need to study their propagation, evolution, and influence across the Web. In this paper, we detect and measure the propagation of memes across multiple Web communities, using a processing pipeline based on perceptual hashing and clustering techniques, and a dataset of 160M images from 2.6B posts gathered from Twitter, Reddit, 4chan's Politically Incorrect board (/pol/), and Gab, over the course of 13 months. We group the images posted on fringe Web communities (/pol/, Gab, and The_Donald subreddit) into clusters, annotate them using meme metadata obtained from Know Your Meme, and also map images from mainstream communities (Twitter and Reddit) to the clusters. Our analysis provides an assessment of the popularity and diversity of memes in the context of each community, showing, e.g., that racist memes are extremely common in fringe Web communities. We also find a substantial number of politics-related memes on both mainstream and fringe Web communities, supporting media reports that memes might be used to enhance or harm politicians. Finally, we use Hawkes processes to model the interplay between Web communities and quantify their reciprocal influence, finding that /pol/ substantially influences the meme ecosystem with the number of memes it produces, while \td has a higher success rate in pushing them to other communities.


title: Anomalous heat flow in 8-$Pmmn$ borophene with tilted Dirac cones

abstract: We analytically establish an anomalous transverse flow of heat in 8-\textit{Pmmn} borophene, one of the several two-dimensional (2D) allotropes of Boron (B). The dispersion of this allotrope contains a pair of anisotropic and tilted Dirac cones which are gapped by placing the 2D \textit{B} sheet under an intense circularly-polarized illumination. A gap in the Dirac dispersion leads to a finite Berry curvature and connected anomalous Hall effects. In the case of thermoelectrics, this manifests as a heat current perpendicular to the temperature gradient - the thermal Hall effect. A quantitative calculation of the attendant thermal Hall conductivity reveals dependence on the intrinsic anisotropy and tilt of the Dirac cone. Further, by estimating the longitudinal thermal conductivity using the Weidemann-Franz law, we also outline steps to compute the thermal Hall angle that gauges the generation efficiency of such transverse heat processes. Finally, we touch upon the idea of thermal rectification wherein the direction of flow of the anomalous heat reverses through a simple switch of the polarization of incident light and is of interest in thermal logic circuits.


title: Scaling provable adversarial defenses

abstract: Recent work has developed methods for learning deep network classifiers that are provably robust to norm-bounded adversarial perturbation; however, these methods are currently only possible for relatively small feedforward networks. In this paper, in an effort to scale these approaches to substantially larger models, we extend previous work in three main directions. First, we present a technique for extending these training procedures to much more general networks, with skip connections (such as ResNets) and general nonlinearities; the approach is fully modular, and can be implemented automatically (analogous to automatic differentiation). Second, in the specific case of $\ell_\infty$ adversarial perturbations and networks with ReLU nonlinearities, we adopt a nonlinear random projection for training, which scales linearly in the number of hidden units (previous approaches scaled quadratically). Third, we show how to further improve robust error through cascade models. On both MNIST and CIFAR data sets, we train classifiers that improve substantially on the state of the art in provable robust adversarial error bounds: from 5.8% to 3.1% on MNIST (with $\ell_\infty$ perturbations of $\epsilon=0.1$), and from 80% to 36.4% on CIFAR (with $\ell_\infty$ perturbations of $\epsilon=2/255$). Code for all experiments in the paper is available at https://github.com/locuslab/convex_adversarial/.


title: Rotating Wave Solutions to Lattice Dynamical Systems II: Persistence Results

abstract: This work comes as the second part in a series of investigations into the dynamics of rotating waves as solutions to lattice dynamical systems. Such nonlinear waves as solutions to mathematical equations are of great interest throughout the physical sciences due to their association with many electrophysiological pathologies and this investigation aims to further the understanding of rotating waves from a mathematical perspective. Here we focus on so-called Lambda-Omega differential equations, a well-studied generalization of the celebrated Ginzburg-Landau equation, to show that there exists an interval of sufficiently small coupling values for which a rotating wave solution persists. This result is achieved using a wide range of functional analytic tools, primarily in an effort to apply a non-standard Implicit Function Theorem. This work initiates subsequent studies into the dynamics and bifurcations of rotating waves away from the reaction-diffusion equation setting to differential equations for which traditional symmetry based centre manifold reductions cannot be applied.


title: Available energy fluxes drive a transition in the diversity, stability, and functional structure of microbial communities

abstract: A fundamental goal of microbial ecology is to understand what determines the diversity, stability, and structure of microbial ecosystems. The microbial context poses special conceptual challenges because of the strong mutual influences between the microbes and their chemical environment through the consumption and production of metabolites. By analyzing a generalized consumer resource model that explicitly includes cross-feeding, stochastic colonization, and thermodynamics, we show that complex microbial communities generically exhibit a transition as a function of available energy fluxes from a "resource-limited" regime where community structure and stability is shaped by energetic and metabolic considerations to a diverse regime where the dominant force shaping microbial communities is the overlap between species' consumption preferences. These two regimes have distinct species abundance patterns, different functional profiles, and respond differently to environmental perturbations. Our model reproduces large-scale ecological patterns observed across multiple experimental settings such as nestedness and differential beta diversity patterns along energy gradients. We discuss the experimental implications of our results and possible connections with disorder-induced phase transitions in statistical physics.


title: Spin-orbit torque induced dipole skyrmion motion at room temperature

abstract: We demonstrate deterministic control of dipole-field-stabilized skyrmions by means of spin-orbit torques arising from heavy transition-metal seed layers. Experiments are performed on amorphous Fe/Gd multilayers that are patterned into wires and exhibit stripe domains and dipole skyrmions at room temperature. We show that while the domain walls and skyrmions are achiral on average due to lack of Dzyaloshinskii-Moriya interactions, the N\'eel-like closure domain walls at each surface are chiral and can couple to spin-orbit torques. The current-induced domain evolutions are reported for different magnetic phases, including disordered stripe domains, coexisting stripes and dipole skyrmions and a closed packed dipole skyrmion lattice. The magnetic textures exhibit motion under current excitations with a current density ~10^8 A/m2. By comparing the motion resulting from magnetic spin textures in Fe/Gd films with different heavy transition-metal interfaces, we confirm spin currents can be used to manipulate achiral dipole skyrmions via spin-orbit torques.


title: Incremental Natural Language Processing: Challenges, Strategies, and Evaluation

abstract: Incrementality is ubiquitous in human-human interaction and beneficial for human-computer interaction. It has been a topic of research in different parts of the NLP community, mostly with focus on the specific topic at hand even though incremental systems have to deal with similar challenges regardless of domain. In this survey, I consolidate and categorize the approaches, identifying similarities and differences in the computation and data, and show trade-offs that have to be considered. A focus lies on evaluating incremental systems because the standard metrics often fail to capture the incremental properties of a system and coming up with a suitable evaluation scheme is non-trivial.


title: Skyrmions and antiskyrmions in quasi-two-dimensional magnets

abstract: A stable skyrmion, representing the smallest realizable magnetic texture, could be an ideal element for ultra-dense magnetic memories. Here, we review recent progress in the field of skyrmionics, which is concerned with studies of tiny whirls of magnetic configurations for novel memory and logic applications, with a particular emphasis on antiskyrmions. Magnetic antiskyrmions represent analogs of skyrmions with opposite topological charge. Just like skyrmions, antiskyrmions can be stabilized by the Dzyaloshinskii-Moriya interaction, as has been demonstrated in a recent experiment. Here, we emphasize differences between skyrmions and antiskyrmions, e.g., in the context of the topological Hall effect, skyrmion Hall effect, as well as nucleation and stability. Recent progress suggests that anitskyrmions can be potentially useful for many device applications. Antiskyrmions offer advantages over skyrmions as they can be driven without the Hall-like motion, offer increased stability due to dipolar interactions, and can be realized above room temperature.


title: Absolute densities in exoplanetary systems: photodynamical modelling of Kepler-138

abstract: In favourable conditions, the density of transiting planets in multiple systems can be determined from photometry data alone. Dynamical information can be extracted from light curves, providing modelling is done self-consistently, i.e. using a photodynamical model, which simulates the individual photometric observations instead of the more generally used transit times. We apply this methodology to the Kepler-138 planetary system. The derived planetary bulk densities are a factor of 2 more precise than previous determinations, and we find a discrepancy in the stellar bulk density with respect to a previous study. This leads, in turn, to a discrepancy in the determination of masses and radii of the star and the planets. In particular, we find that interior planet, Kepler-138b, has a size in between Mars and the Earth. Given our mass and density estimates, we characterize the planetary interiors using a generalized Bayesian inference model. This model allows us to quantify for interior degeneracy and calculate confidence regions of interior parameters such as thicknesses of the core, the mantle, and ocean and gas layers. We find that Kepler-138b and Kepler-138d have significantly thick volatile layers and that the gas layer of Kepler-138b is likely enriched. On the other hand, Kepler-138c can be purely rocky.


title: Whole Brain Susceptibility Mapping Using Harmonic Incompatibility Removal

abstract: Quantitative susceptibility mapping (QSM) aims to visualize the three dimensional susceptibility distribution by solving the field-to-source inverse problem using the phase data in magnetic resonance signal. However, the inverse problem is ill-posed since the Fourier transform of integral kernel has zeroes in the frequency domain. Although numerous regularization based models have been proposed to overcome this problem, the incompatibility in the field data has not received enough attention, which leads to deterioration of the recovery. In this paper, we show that the data acquisition process of QSM inherently generates a harmonic incompatibility in the measured local field. Based on such discovery, we propose a novel regularization based susceptibility reconstruction model with an additional sparsity based regularization term on the harmonic incompatibility. Numerical experiments show that the proposed method achieves better performance than the existing approaches.


title: Evolution and wave-like properties of the average solar supergranule

abstract: Solar supergranulation presents us with many mysteries. For example, previous studies in spectral space found that supergranulation has wave-like properties. Here we study, in real space, the wave-like evolution of the average supergranule over a range of spatial scales (from 10 to 80 Mm). We complement this by characterizing the evolution of the associated network magnetic field. We use one year of data from the Helioseismic and Magnetic Imager (HMI) to measure horizontal near-surface flows near the solar equator by applying time-distance helioseismology on Dopplergrams and granulation tracking on intensity images. The average supergranule outflow (or inflow) is constructed by averaging over 10000 individual outflows (or inflows). The contemporaneous evolution of the magnetic field is studied with HMI line-of-sight observations. We confirm and extend previous measurements of the supergranular wave dispersion relation to angular wavenumbers in the range 50<kR<270. We find a plateau for kR>120. In real space, larger supergranules undergo oscillations with longer periods and lifetimes than smaller cells. We find excellent agreement between TD and LCT and obtain wave properties that are independent of the tracking rate. The observed network magnetic field follows the oscillations of the supergranular flows with a six-hour time lag. This behavior can be explained by computing the motions of corks carried by the supergranular flows. Signatures of supergranular waves in surface horizontal flows near the solar equator can be observed in real space. These oscillatory flows control the evolution of the network magnetic field, in particular they explain the recently discovered east-west anisotropy of the magnetic field around the average supergranule. Background flow measurements that we obtain from Doppler frequency shifts do not favor shallow models of supergranulation.


title: Characterization of 3-punctured spheres in non-hyperbolic link exteriors

abstract: In this paper, we characterize non-hyperbolic 3-component links in the 3-sphere whose exteriors contain essential 3-punctured spheres with non-integral boundary slopes. We also show the existence of embeddings of some multibranched surfaces in the 3-sphere which satisfy some homological conditions to be embedded in the 3-sphere.


title: Tensor networks as conformal transformations

abstract: Tensor networks are often used to accurately represent ground states of quantum spin chains. Two popular choices of such tensor network representations can be seen to implement linear maps that correspond, respectively, to euclidean time evolution and to global scale transformations. In this paper, by exploiting the local structure of the tensor networks, we explain how to also implement local or non-uniform versions of both euclidean time evolution and scale transformations. We demonstrate our proposal with a critical quantum spin chain on a finite circle, where the low energy physics is described by a conformal field theory (CFT), and where non-uniform euclidean time evolution and local scale transformations are conformal transformations acting on the Hilbert space of the CFT. We numerically show, for the critical quantum Ising chain, that the proposed tensor networks indeed transform the low energy states of the periodic spin chain in the same way as the corresponding conformal transformations do in the CFT.


title: On the quantification and efficient propagation of imprecise probabilities with copula dependence

abstract: This paper addresses the problem of quantification and propagation of uncertainties associated with dependence modeling when data for characterizing probability models are limited. Practically, the system inputs are often assumed to be mutually independent or correlated by a multivariate Gaussian distribution. However, this subjective assumption may introduce bias in the response estimate if the real dependence structure deviates from this assumption. In this work, we overcome this limitation by introducing a flexible copula dependence model to capture complex dependencies. A hierarchical Bayesian multimodel approach is proposed to quantify uncertainty in dependence model-form and model parameters that result from small data sets. This approach begins by identifying, through Bayesian multimodel inference, a set of candidate marginal models and their corresponding model probabilities, and then estimating the uncertainty in the copula-based dependence structure, which is conditional on the marginals and their parameters. The overall uncertainties integrating marginals and copulas are probabilistically represented by an ensemble of multivariate candidate densities. A novel importance sampling reweighting approach is proposed to efficiently propagate the overall uncertainties through a computational model. Through an example studying the influence of constituent properties on the out-of-plane properties of transversely isotropic E- glass fiber composites, we show that the composite property with copula-based dependence model converges to the true estimate as data set size increases, while an independence or arbitrary Gaussian correlation assumption leads to a biased estimate.


title: Fully Automated Organ Segmentation in Male Pelvic CT Images

abstract: Accurate segmentation of prostate and surrounding organs at risk is important for prostate cancer radiotherapy treatment planning. We present a fully automated workflow for male pelvic CT image segmentation using deep learning. The architecture consists of a 2D localization network followed by a 3D segmentation network for volumetric segmentation of prostate, bladder, rectum, and femoral heads. We used a multi-channel 2D U-Net followed by a 3D U-Net with encoding arm modified with aggregated residual networks, known as ResNeXt. The models were trained and tested on a pelvic CT image dataset comprising 136 patients. Test results show that 3D U-Net based segmentation achieves mean (SD) Dice coefficient values of 90 (2.0)% ,96 (3.0)%, 95 (1.3)%, 95 (1.5)%, and 84 (3.7)% for prostate, left femoral head, right femoral head, bladder, and rectum, respectively, using the proposed fully automated segmentation method.


title: Numerical Simulation of 2.5-Set of Iterated Ito Stochastic Integrals of Multiplicities 1 to 5 From the Taylor-Ito Expansion

abstract: The article is devoted to the construction of effective procedures of the mean-square approximation of iterated Ito stochastic integrals of multiplicities 1 to 5 from the Taylor-Ito expansion based on multiple Fourier-Legendre series. The results of the article can be applied to the implementation of numerical methods with the orders of strong convergence 1.5, 2.0, and 2.5 for Ito stochastic differential equations with multidimensional non-commutative noise.


title: Fusion Graph Convolutional Networks

abstract: Semi-supervised node classification in attributed graphs, i.e., graphs with node features, involves learning to classify unlabeled nodes given a partially labeled graph. Label predictions are made by jointly modeling the node and its' neighborhood features. State-of-the-art models for node classification on such attributed graphs use differentiable recursive functions that enable aggregation and filtering of neighborhood information from multiple hops. In this work, we analyze the representation capacity of these models to regulate information from multiple hops independently. From our analysis, we conclude that these models despite being powerful, have limited representation capacity to capture multi-hop neighborhood information effectively. Further, we also propose a mathematically motivated, yet simple extension to existing graph convolutional networks (GCNs) which has improved representation capacity. We extensively evaluate the proposed model, F-GCN on eight popular datasets from different domains. F-GCN outperforms the state-of-the-art models for semi-supervised learning on six datasets while being extremely competitive on the other two.


title: Analysis of Fast Structured Dictionary Learning

abstract: Sparsity-based models and techniques have been exploited in many signal processing and imaging applications. Data-driven methods based on dictionary and sparsifying transform learning enable learning rich image features from data, and can outperform analytical models. In particular, alternating optimization algorithms have been popular for learning such models. In this work, we focus on alternating minimization for a specific structured unitary sparsifying operator learning problem, and provide a convergence analysis. While the algorithm converges to the critical points of the problem generally, our analysis establishes under mild assumptions, the local linear convergence of the algorithm to the underlying sparsifying model of the data. Analysis and numerical simulations show that our assumptions hold for standard probabilistic data models. In practice, the algorithm is robust to initialization.


title: Canonical decomposition of dissipative linear relations

abstract: On the basis of Sz. Nagy-Foia\c{s}-Langer and von Neumann-Wold decompositions, two decompositions for dissipative linear relations are given and they are realized by transforming invariant subspaces for contractions, by means of the Z transform. These decompositions permit the separation of the selfadjoint and completely nonselfadjoint parts of a dissipative relation.


title: Convection-Diffusion-Reaction equation with similarity solutions

abstract: We consider similarity solutions of the generalized convection-diffusion-reaction equation with both space- and time-dependent convection, diffusion and reaction terms. By introducing the similarity variable, the reaction-diffusion equation is reduced to an ordinary differential equation. Matching the resulting ordinary differential equation with known exactly solvable equations, one can obtain corresponding exactly solvable convection-diffusion-reaction systems. Some representative examples of exactly solvable systems are presented. We also describe how an equivalent convection-diffusion-reaction system can be constructed which admits the same similarity solution of another convection-diffusion-reaction system.

categories: math-ph cond-mat.stat-mech math.MP nlin.SI


title: $\boldsymbol{\eta}$-$\boldsymbol{^4{\rm He}}$ interaction from the $\boldsymbol{d d \to \eta ^4{\rm He}}$ reaction near threshold

abstract: We analyze the data on the total cross sections for the $dd \to \eta{}^4{\rm He}$ reaction close to threshold and look for possible $\eta ^4 {\rm He}$ bound states. We develop a framework in which the $\eta ^4{\rm He}$ optical potential is the key ingredient, rather than parameterizing the scattering matrix, as is usually done. The strength of this potential, together with some production parameters, are fitted to the available experimental data. The relationship of the scattering matrix to the optical potential is established using the Bethe-Salpeter equation and the $\eta ^4{\rm He}$ loop function incorporates the range of the interaction given by the experimental $^4 {\rm He}$ density. However, when we look for poles of the scattering matrix, we get poles in the bound region, poles in the positive energy region or no poles at all. If we further restrict the results with constraints from a theoretical model with all its uncertainties the bound states are not allowed. However, we find a bump structure in $|T|^2$ of the $\eta ^4{\rm He} \to \eta ^4{\rm He}$ amplitude below threshold for the remaining solutions.


title: Probing BSM physics with electron-proton colliders

abstract: In this talk I will illustrate with two examples (Higgsino dark matter and Exotic Higgs decays) how electron-proton colliders present unique opportunities to probe BSM scenarios where proton-proton colliders fall short due to the experimental difficulties in reconstructing the signal due to the large hadronic backgrounds. The leit-motiv of these examples are long-lived particles (LLPs), which have received recently a lot of attention from both the experimental and theoretical communities. We find that the proposed $e^-p$ colliders can be competitive against their more energetic $pp$ incarnations for lifetimes between a millimeter and a micron, depending on the physics scenario under consideration.


title: A further study on the opioid epidemic dynamical model with random perturbation

abstract: In this paper, we consider an opioid epidemic dynamical model with random perturbation that typically describes the interplay between regular prescription use, addictive use, and the process of rehabilitation from addiction and vice-versa. In particular, we provide two-sided bounds on the solution of the transition density function for the Fokker-Planck equation that corresponds to the opioid epidemic dynamical model, when a random perturbation enters only through the dynamics of the susceptible group in the compartmental model. Here, the proof for such bounds basically relies on the interpretation of the solution for the transition density function as the value function of a certain optimal stochastic control problem. Finally, as a possible interesting development in this direction, we also provide an estimate for the attainable exit probability with which the solution for the randomly perturbed opioid epidemic dynamical model exits from a given bounded open domain during a certain time interval. Note that such qualitative information on the first exit-time as well as two-sided bounds on the transition density function are useful for developing effective and fact-informed intervention strategies that primarily aim at curbing opioid epidemics or assisting in interpreting outcome results from opioid-related policies.


title: Sharp Gagliardo--Nirenberg trace inequalities via mass transportion method and their affine versions

abstract: Exploiting the mass transportation method, we prove a dual principle which implies directly the sharp Gagliardo-Nirenberg trace inequalities which was recently proved by Bolley et al. [BCFGG17]. Moreover, we determine all optimal functions for these obtained sharp Gagliardo-Nirenberg trace inequalities. This settles a question left open in [BCFGG17]. Finally, we use the sharp Gagliardo--Nirenberg trace inequality to establish their affine versions (i.e., the sharp affine Gagliardo-Nirenberg trace inequalities) which generalize a recent result of De N\'apoli et al. [DeNapoli]. It was shown that the affine versions are stronger and imply the sharp Gagliardo-Nirenberg trace inequalities. We also determine all extremal functions for the sharp affine Gagliardo--Nirenberg trace inequalities.


title: Effect of molar volume on the interaction between mobile ions in mixed alkali oxyfluoro vanadate glasses: An Electrical modulus analysis

abstract: Electrical modulus analysis of the frequency dependent conductivity data over the range from 100 Hz to 10 MHz and at temperature range of 140 oC to 300 oC were carried out on the mixed alkali vanadate glass samples having lithium and rubidium as alkali elements. The analysis of the data is done using Kohlrausch-Williams-Watts (KWW) equation which describes the relaxation behavior of the mobile species. We have used the Bergman equation (R. Bergman, J. Apl. Phys. 88 (2000) 1356.) for fitting the imaginary part of the electrical modulus. The stretching parameter beta derived from this fit shows a nonlinear variation with respect to alkali content which is attributed to mixed alkali effect. The variations of beta with respect to alkali element concentration is analyzed on the basis of alkali ion distance and molar volume. It is found that the coupling between the mobile ions is better at 50 mol percentage of the alkali mixture when compared to single alkali concentrations. It is observed that coupling between the ions are weak in case of all Rubidium glass than all Lithium or Lithium-Rubidium mixture, even though the alkali concentration is on the higher (30 mol percentage) side. The contributions from fast and slow types of relaxation mechanisms were determined. It again shows that at low concentrations of Rubidium ions, there exists a good coupling between alkali ions and contribute to a macroscopic relaxation time responsible for the stretching, whereas at high concentrations of Rubidium ions the relaxing sites decouple and relax with a microscopic relaxation time. A scaling of modulus spectra with respect to frequency shows that stretching parameter beta is slightly dependent on temperature.


title: Groups of automorphisms of p-adic integers and the problem of the existence of fully homomorphic ciphers

abstract: In this paper, we study groups of automorphisms of algebraic systems over a set of $p$-adic integers with different sets of arithmetic and coordinate-wise logical operations and congruence relations modulo $p^k,$ $k\ge 1.$ The main result of this paper is the description of groups of automorphisms of $p$-adic integers with one or two arithmetic or coordinate-wise logical operations on $p$-adic integers. To describe groups of automorphisms, we use the apparatus of the $p$-adic analysis and $p$-adic dynamical systems. The motive for the study of groups of automorphism of algebraic systems over $p$-adic integers is the question of the existence of a fully homomorphic encryption in a given family of ciphers. The relationship between these problems is based on the possibility of constructing a "continuous" $p$-adic model for some families of ciphers (in this context, these ciphers can be considered as "discrete" systems). As a consequence, we can apply the "continuous" methods of $p$-adic analysis to solve the "discrete" problem of the existence of fully homomorphic ciphers.


title: Arithmetic of rational points and zero-cycles on products of Kummer varieties and K3 surfaces

abstract: Let $k$ be a number field. In the spirit of a result by Yongqi Liang, we relate the arithmetic of rational points over finite extensions of $k$ to that of zero-cycles over $k$ for Kummer varieties over $k$. For example, for any Kummer variety $X$ over $k$, we show that if the Brauer-Manin obstruction is the only obstruction to the Hasse principle for rational points on $X$ over all finite extensions of $k$, then the ($2$-primary) Brauer-Manin obstruction is the only obstruction to the Hasse principle for zero-cycles of any given odd degree on $X$ over $k$. We also obtain similar results for products of Kummer varieties, K3 surfaces and rationally connected varieties.


title: Classifying Eyes-Free Mobile Authentication Techniques

abstract: Mobile device users avoiding observational attacks and coping with situational impairments may employ techniques for eyes-free mobile unlock authentication, where a user enters his/her passcode without looking at the device. This study supplies an initial description of user accu- racy in performing this authentication behavior with PIN and pattern passcodes, with varying lengths and visual characteristics. Additionally, we inquire if tactile-only feedback can provide assistive spatialization, finding that orientation cues prior to unlocking do not help. Measure- ments of edit distance and dynamic time warping accuracy were collected, using a within-group, randomized study of 26 participants. 1,021 passcode entry gestures were collected and classified, identifying six user strategies for using the pre-entry tactile feedback, and ten codes for types of events and errors that occurred during entry. We found that users who focused on orienting themselves to position the first digit of the passcode using the tactile feedback performed better in the task. These results could be applied to better define eyes-free behavior in further research, and to design better and more secure methods for eyes-free authentication.


title: Evolution of Contractions between Non-Compact Manifolds

abstract: Let $N$ be a complete manifold with bounded geometry, such that $\sec_N\le -\sigma < 0$ for some positive constant $\sigma$. We investigate the mean curvature flow of the graphs of smooth length-decreasing maps $f:\mathbb{R}^m\to N$. In this case, the solution exists for all times and the evolving submanifold stays the graph of a length-decreasing map $f_t$. We further prove uniform decay estimates for all derivatives of order $\ge 2$ of $f_t$ along the flow.


title: Diffusion of large particles through small pores: from entropic to enthalpic transport

abstract: We present an implicit statistical model for the steric effect on the potential of mean force (PMF) of a molecule diffusing through a flexible nanochannel of varying size. The average cross sectional area profile of the channel and the average minimal projection area of the molecule are the two major quantities determining the steric part of the PMF barrier for the translocation of the particle in the case of a small rigid particle and a large rigid channel. In this case, the description is reduced to the Fick-Jacobs model and the PMF is completely entropic. However, the flexibility of channel's cross section and that of molecule's size play crucial role when a large molecule goes through a narrow channel. The PMF profile changes its statictical nature and becomes enthalpic. We treat the flexibility in terms of the equilibrium fluctuations of the pore and of the molecule, independently. For the case of gaussian fluctuations, we derived simple analytical expressions for the steric barrier.


title: Decoding Algorithms for Hypergraph Subsystem Codes and Generalized Subsystem Surface Codes

abstract: Topological subsystem codes can combine the advantages of both topological codes and subsystem codes. Suchara et al. proposed a framework based on hypergraphs for construction of such codes. They also studied the performance of some subsystem codes. Later Bravyi et al. proposed a subsystem surface code. Building upon these works, we propose efficient decoding algorithms for large classes of subsystem codes on hypergraphs and surfaces. We also propose a construction of the subsystem surface codes that includes the code proposed by Bravyi et al. Our simulations for the subsystem code on the square octagon lattice resulted in a noise threshold of 1.75%. This is comparable to previous result of 2% by Bombin et al. who used a different algorithm.


title: Gevrey smoothing effect for the spatially inhomogeneous Boltzmann equations without cut-off

abstract: In this article we study the Gevrey regularization effect for the spatially inhomogeneous Boltzmann equation without angular cutoff. This equation is partially elliptic in the velocity direction and degenerates in the spatial variable. We consider the nonlinear Cauchy problem for the fluctuation around the Maxwellian distribution and prove that any solution with mild regularity will become smooth in Gevrey class at positive time, with Gevrey index depending on the angular singularity. Our proof relies on the symbolic calculus for the collision operator and the global subelliptic estimate for the Cauchy problem of linearized Boltzmann operator.


title: The transmission problem on a three-dimensional wedge

abstract: We consider the transmission problem for the Laplace equation on an infinite three-dimensional wedge, determining the complex parameters for which the problem is well-posed, and characterizing the infinite multiplicity nature of the spectrum. This is carried out in two formulations leading to rather different spectral pictures. One formulation is in terms of square integrable boundary data, the other is in terms of finite energy solutions. We use the layer potential method, which requires the harmonic analysis of a non-commutative non-unimodular group associated with the wedge.


title: Interaction-induced time-symmetry breaking in driven quantum oscillators

abstract: We study parametrically driven quantum oscillators and show that, even for weak coupling between the oscillators, they can exhibit various many-body states with broken time-translation symmetry. In the quantum-coherent regime, the symmetry breaking occurs via a nonequilibrium quantum phase transition. For dissipative oscillators, the main effect of the weak coupling is to make the switching rate of an oscillator between its period-2 states dependent on the states of other oscillators. This allows mapping the oscillators onto a system of coupled spins. Away from the bifurcation parameter values where the period-2 states emerge, the stationary state corresponds to having a microscopic current in the spin system, in the presence of disorder. In the vicinity of the bifurcation point or for identical oscillators, the stationary state can be mapped on that of the Ising model with an effective temperature $\propto \hbar$, for low temperature. Closer to the bifurcation point the coupling can not be considered weak and the system maps onto coupled overdamped Brownian particles performing quantum diffusion in a potential landscape.


title: Second-harmonic current-phase relation in Josephson junctions with ferromagnetic barriers

abstract: We report the observation of a current-phase relation dominated by the second Josephson harmonic in superconductor-ferromagnet-superconductor junctions. The exotic current-phase relation is realized in the vicinity of a temperature-controlled 0-to-$\pi$ junction transition, at which the first Josephson harmonic vanishes. Direct current-phase relation measurements, as well as Josephson interferometry, non-vanishing supercurrent and half-integer Shapiro steps at the 0-$\pi$ transition self-consistently point to an intrinsic second harmonic term, making it possible to rule out common alternative origins of half-periodic behavior. While surprising for diffusive multimode junctions, the large second harmonic is in agreement with theory predictions for thin ferromagnetic interlayers.


title: Long-time predictive modeling of nonlinear dynamical systems using neural networks

abstract: We study the use of feedforward neural networks (FNN) to develop models of nonlinear dynamical systems from data. Emphasis is placed on predictions at long times, with limited data availability. Inspired by global stability analysis, and the observation of the strong correlation between the local error and the maximum singular value of the Jacobian of the ANN, we introduce Jacobian regularization in the loss function. This regularization suppresses the sensitivity of the prediction to the local error and is shown to improve accuracy and robustness. Comparison between the proposed approach and sparse polynomial regression is presented in numerical examples ranging from simple ODE systems to nonlinear PDE systems including vortex shedding behind a cylinder, and instability-driven buoyant mixing flow. Furthermore, limitations of feedforward neural networks are highlighted, especially when the training data does not include a low dimensional attractor. Strategies of data augmentation are presented as remedies to address these issues to a certain extent.


title: Truncated Gauss hypergeometric series and its application in digamma function

abstract: In the last decades, the theory of digamma function has been developed with a high impact of interest by many authors. Here, we established some interesting results for digamma function, and also we have computed the values of digamma function for positive integers, using the concept of hypergeometric series. An attempt has been made to present some summation theorems for Clausen's hypergeometric function. Results presented here are potentially useful in the further study of digamma function.


title: Channel Gating Neural Networks

abstract: This paper introduces channel gating, a dynamic, fine-grained, and hardware-efficient pruning scheme to reduce the computation cost for convolutional neural networks (CNNs). Channel gating identifies regions in the features that contribute less to the classification result, and skips the computation on a subset of the input channels for these ineffective regions. Unlike static network pruning, channel gating optimizes CNN inference at run-time by exploiting input-specific characteristics, which allows substantially reducing the compute cost with almost no accuracy loss. We experimentally show that applying channel gating in state-of-the-art networks achieves 2.7-8.0$\times$ reduction in floating-point operations (FLOPs) and 2.0-4.4$\times$ reduction in off-chip memory accesses with a minimal accuracy loss on CIFAR-10. Combining our method with knowledge distillation reduces the compute cost of ResNet-18 by 2.6$\times$ without accuracy drop on ImageNet. We further demonstrate that channel gating can be realized in hardware efficiently. Our approach exhibits sparsity patterns that are well-suited to dense systolic arrays with minimal additional hardware. We have designed an accelerator for channel gating networks, which can be implemented using either FPGAs or ASICs. Running a quantized ResNet-18 model for ImageNet, our accelerator achieves an encouraging speedup of 2.4$\times$ on average, with a theoretical FLOP reduction of 2.8$\times$.


title: Modified Einstein's gravity to probe the sub- and super-Chandrasekhar limiting mass white dwarfs: a new perspective to unify under- and over-luminous type Ia supernovae

abstract: Type Ia supernovae (SNeIa), used as one of the standard candles in astrophysics, are believed to form when the mass of the white dwarf approaches Chandrasekhar mass limit. However, observations in last few decades detected some peculiar SNeIa, which are predicted to be originating from white dwarfs of mass much less than the Chandrasekhar mass limit or much higher than it. Although the unification of these two sub-classes of SNeIa was attempted earlier by our group, in this work, we, for the first time, explain this phenomenon in terms of just one property of the white dwarf which is its central density. Thereby we do not vary the fundamental parameters of the underlying gravity model in the contrary to the earlier attempt. We effectively consider higher order corrections to the Starobinsky-$f(R)$ gravity model to reveal the unification. We show that the limiting mass of a white dwarf is $\sim M_\odot$ for central density $\rho_c \sim 1.4\times10^8$ g/cc, while it is $\sim 2.8M_\odot$ for $\rho_c \sim1.6\times 10^{10}$ g/cc under the same model parameters. We further confirm that these models are viable with respect to the solar system test. This perhaps enlightens very strongly the long standing puzzle lying with the predicted variation of progenitor mass in SNeIa.


title: The stellar population and initial mass function of NGC 1399 with MUSE

abstract: We present spatially resolved measurements of the stellar initial mass function (IMF) in NGC 1399, the largest elliptical galaxy in the Fornax Cluster. Using data from the Multi Unit Spectroscopic Explorer (MUSE) and updated state-of-the-art stellar population synthesis models from Conroy et. al 2018, we use full spectral fitting to measure the low-mass IMF, as well as a number of individual elemental abundances, as a function of radius in this object. We find that the IMF in NGC 1399 is heavier than the Milky Way in its centre and remains radially constant at a super-salpeter slope out to 0.7 R$_{e}$. At radii larger than this, the IMF slope decreases to become marginally consistent with a Milky Way IMF just beyond R$_{e}$. The inferred central V-band M/L ratio is in excellent agreement with the previously reported dynamical M/L measurement from Houghton et. al 2006. The measured radial form of the M/L ratio may be evidence for a two-phase formation in this object, with the central regions forming differently to the outskirts. We also report measurements of a spatially resolved filament of ionised gas extending 4 arcseconds (404 pc at $D_{\mathrm{L}}=21.1$ Mpc) from the centre of NGC 1399, with very narrow equivalent width and low velocity dispersion ($65\pm14$ \kms). The location of the emission, combined with an analysis of the emission line ratios, leads us to conclude that NGC 1399's AGN is the source of ionising radiation.


title: Drag force and superfluidity in the supersolid stripe phase of a spin-orbit-coupled Bose-Einstein condensate

abstract: The phase diagram of a spin-orbit-coupled two-component Bose gas includes a supersolid stripe phase, which is featuring density modulations along the direction of the spin-orbit coupling. This phase has been recently found experimentally [J.~Li \textit{et al.}, Nature (London) \textbf{543}, 91 (2017)]. In the present work we characterize the superfluid behavior of the stripe phase by calculating the drag force acting on a moving impurity. Because of the gapless band structure of the excitation spectrum, the Landau critical velocity vanishes if the motion is not strictly parallel to the stripes, and energy dissipation takes place at any speed. Moreover, due to the spin-orbit coupling, the drag force can develop a component perpendicular to the velocity of the impurity. Finally, by estimating the time over which the energy dissipation occurs, we find that for slow impurities the effects of friction are negligible on a time scale up to several seconds, which is comparable with the duration of a typical experiment.


title: Resummed transverse momentum distribution of pseudo-scalar Higgs boson at NNLO$_A$+NNLL

abstract: In this article we have studied the transverse momentum distribution of the pseudo-scalar Higgs boson at the Large Hadron Collider (LHC). The small $\pt$ region which provides the bulk of the cross section is not accessible to fixed order perturbation theory due to the presence of large logarithms in the series. Using the universal infrared behaviour of the QCD we resum these large logarithms up to next-to-next-to-leading logarithmic (NNLL) accuracy. We observe a significant reduction in theoretical uncertainties due to the unphysical scales at NNLL level compared to the previous order. We present the $p_T$ distribution matched to NNLO$_A$+NNLL, valid for the whole $p_T$ region and provide a detailed phenomenological study in the context of both 14 TeV and 13 TeV LHC using different choices of masses, scales and parton distribution functions which will be useful for the search of such particle at the LHC in near future.


title: Phase-space geometric Sagnac interferometer for rotation sensing

abstract: Quantum information processing with geometric features of quantum states may provide promising noise-resilient schemes for quantum metrology. In this work, we theoretically explore phase-space geometric Sagnac interferometers with trapped atomic clocks for rotation sensing, which could be intrinsically robust to certain decoherence noises and reach high precision. With the wave guide provided by sweeping ring-traps, we give criteria under which the well-known Sagnac phase is a pure or unconventional geometric phase with respect to the phase space. Furthermore, corresponding schemes for geometric Sagnac interferometers with designed sweeping angular velocity and interrogation time are presented, and the experimental feasibility is also discussed. Such geometric Sagnac interferometers are capable of saturating the ultimate precision limit given by the quantum Cram\'er-Rao bound.


title: The integer quantum Hall plateau transition is a current algebra after all

abstract: The scaling behavior near the transition between plateaus of the Integer Quantum Hall Effect (IQHE) has traditionally been interpreted on the basis of a two-parameter renormalization group (RG) flow conjectured from Pruisken's non-linear sigma model. Yet, the conformal field theory (CFT) describing the critical point remained elusive, and only fragments of a quantitative analytical understanding existed up to now. In the present paper we carry out a detailed analysis of the current-current correlation function for the conductivity tensor, initially in the Chalker-Coddington network model for the IQHE plateau transition and then in its exact reformulation as a supersymmetric vertex model. We develop a heuristic argument for the continuum limit of the non-local conductivity response function at criticality and thus identify a non-Abelian current algebra at level n = 4. Based on precise lattice expressions for the CFT primary fields we predict the multifractal scaling exponents of critical wavefunctions to be q(1-q)/4. The Lagrangian of the RG fixed-point theory for r retarded and r advanced replicas is proposed to be the GL(r|r)_4 Wess-Zumino-Witten model deformed by a truly marginal perturbation. The latter emerges from the non-linear sigma model by a natural scenario of spontaneous symmetry breaking.


title: Renormalization of Sparse Disorder in the Ising Model

abstract: We consider the renormalization of quenched bond disorder in the Ising model in the limit that it is sparse -- highly localized and vanishing in the thermodynamic limit. We begin in 1D with arbitrary disorder assigned to a finite number of bonds and study how the system renormalizes, finding non-trivial fixed point structure for any given bond with a separatrix at zero bond strength, equivalent to inserting a break in the chain. Either side of this critical line, renormalization group (RG) trajectories flow towards one of two attractors on which the disordered bonds settle onto ferromagnetic or anti-ferromagnetic (AF) couplings of equal and opposite magnitude. Bonds that settle on an AF attractor are equivalent to inserting a twist in the chain at the location of the bond, implying a multi-kink ground state solution. Qualitatively different behavior emerges at the RG step when bonds start to coalesce, with the chain `untwisting' whenever two AF bonds coalesce. Our findings generalize to higher dimensions for codimension one defects that are sparse from the perspective of the orthogonal complement lattice. In 2D, the $\mathbb Z_2$ symmetry of the model has an IR manifestation where one can construct field strengths and Wilson loops (which characterize frustration) from fundamental plaquette variables. In the non-sparse limit where the disorder parameter is drawn from an arbitrary but homogeneously assigned probability distribution function, we recover previously found fixed distributions as special cases, but find only the trivial paramagnetic distribution to be an attractor. For non-homogeneously assigned disorder that is sufficiently dilute however, we find the Edwards-Anderson model with equal probability $\pm J$ bonds to also be an IR attractor.


title: Phase-dependent chiral transport and effective non-Hermitian dynamics in a bosonic Kitaev-Majorana chain

abstract: We study a 1D chain of non-interacting bosonic cavities which are subject to nearest-neighbour parametric driving. With a suitable choice of drive phases, this model is strongly analogous to the celebrated Kitaev chain model of a 1D p-wave superconductor. The system exhibits phase-dependent chirality: photons propagate and are amplified in a direction that is determined by the phase of the initial drive or excitation. Further, we find a drastic sensitivity to boundary conditions: for a range of parameters, the boundary-less system has only delocalized, dynamically unstable modes, while a finite open chain is described by localized, dynamically stable modes. While our model is described by a Hermitian Hamiltonian, we show that it has a surprising connection to non-Hermitian asymmetric-hopping models.


title: The wave equation near flat Friedmann-Lema\^itre-Robertson-Walker and Kasner Big Bang singularities

abstract: We consider the wave equation, $\square_g\psi=0$, in fixed flat Friedmann-Lema\^itre-Robertson-Walker and Kasner spacetimes with topology $\mathbb{R}_+\times\mathbb{T}^3$. We obtain generic blow up results for solutions to the wave equation towards the Big Bang singularity in both backgrounds. In particular, we characterize open sets of initial data prescribed at a spacelike hypersurface close to the singularity, which give rise to solutions that blow up in an open set of the Big Bang hypersurface $\{t=0\}$. The initial data sets are characterized by the condition that the Neumann data should dominate, in an appropriate $L^2$-sense, up to two spatial derivatives of the Dirichlet data. For these initial configurations, the $L^2(\mathbb{T}^3)$ norms of the solutions blow up towards the Big Bang hypersurfaces of FLRW and Kasner with inverse polynomial and logarithmic rates respectively. Our method is based on deriving suitably weighted energy estimates in physical space. No symmetries of solutions are assumed.

categories: gr-qc astro-ph.CO math-ph math.AP math.MP


title: The Complexity of Splitting Necklaces and Bisecting Ham Sandwiches

abstract: We resolve the computational complexity of two problems known as NECKLACE-SPLITTING and DISCRETE HAM SANDWICH, showing that they are PPA-complete. For NECKLACE SPLITTING, this result is specific to the important special case in which two thieves share the necklace. We do this via a PPA-completeness result for an approximate version of the CONSENSUS-HALVING problem, strengthening our recent result that the problem is PPA-complete for inverse-exponential precision. At the heart of our construction is a smooth embedding of the high-dimensional M\"obius strip in the CONSENSUS-HALVING problem. These results settle the status of PPA as a class that captures the complexity of "natural" problems whose definitions do not incorporate a circuit.


title: Atomic Scale Interfacial Transport at an Extended Evaporating Meniscus

abstract: Recent developments in fabrication techniques enabled the production of nano- and angstrom-scale conduits. While scientists are able to conduct experimental studies to demonstrate extreme evaporation rates from these capillaries, theoretical modeling of evaporation from a few nanometers or sub-nanometer meniscus interfaces, where adsorbed film, transition film and intrinsic region are intertwined, is absent in the literature. Using the computational setup constructed to identify the detailed profile of a nano-scale evaporating interface, we discovered the existence of lateral momentum transport within and associated net evaporation from adsorbed liquid layers, which are long believed to be at the equilibrium established between equal rates of evaporation and condensation. Contribution of evaporation from the adsorbed layer increases the effective evaporation area, reducing the excessively estimated evaporation flux values. This work takes the first step towards a comprehensive understanding of atomic/molecular scale interfacial transport at extended evaporating menisci. The modeling strategy used in this study opens an opportunity for computational experimentation of steady-state evaporation and condensation at liquid/vapor interfaces located in capillary nano-conduits.

categories: cond-mat.soft physics.atm-clus physics.chem-ph physics.flu-dyn


title: A Quantum Extension of the Semiclassical Theory of Electrical Susceptibility

abstract: It is shown here how the semiclassical theory of electrical susceptibility can be extended to the case in which both radiation and matter are quantized. This is done specifically for the cases of linear and second order susceptibilities. The expressions derived allow to determine a set of conditions for the validity of the semiclassical approximation and predict interesting new phenomena such as photon number dependent susceptibility.