title: Space-borne Bose-Einstein condensation for precision interferometry

abstract: Space offers virtually unlimited free-fall in gravity. Bose-Einstein condensation (BEC) enables ineffable low kinetic energies corresponding to pico- or even femtokelvins. The combination of both features makes atom interferometers with unprecedented sensitivity for inertial forces possible and opens a new era for quantum gas experiments. On January 23, 2017, we created Bose-Einstein condensates in space on the sounding rocket mission MAIUS-1 and conducted 110 experiments central to matter-wave interferometry. In particular, we have explored laser cooling and trapping in the presence of large accelerations as experienced during launch, and have studied the evolution, manipulation and interferometry employing Bragg scattering of BECs during the six-minute space flight. In this letter, we focus on the phase transition and the collective dynamics of BECs, whose impact is magnified by the extended free-fall time. Our experiments demonstrate a high reproducibility of the manipulation of BECs on the atom chip reflecting the exquisite control features and the robustness of our experiment. These properties are crucial to novel protocols for creating quantum matter with designed collective excitations at the lowest kinetic energy scales close to femtokelvins.


title: Asymmetric Hopfield neural network and twisted tetrahedron equation

abstract: We generalize the approach of arXiv:1805.04138 for the case of the Hopfield neural network in the recall stage on a triangular lattice with isotropic weights. It appears that some properties of this model, in particular the probability of passing a trajectory in time dynamics, obeys the Gibbs distribution with a partition function having a vertex realization. Moreover the corresponding weight matrix satisfies the TTE - some deformation of the Zamolodchikov tetrahedron equation, the latter playing the role analogous to the Yang-Baxter equation in 3-dimensional statistical models.


title: Robot hazards: from safety to security

abstract: Robotics landscape is experiencing big changes. Robots are spreading and will soon be everywhere. Systems traditionally employed in industry are being replaced by collaborative robots, while more and more professional and consumer robots are introduced in people's daily activities. Robots are increasingly intertwined with other facets of IT and envisioned to get much more autonomy, interacting physically with humans. We claim that, following Personal Computers (PCs) and smartphones, robots are the next technological revolution and yet, robot security is being ignored by manufacturers. The present paper aims to alert about the need of dealing not only with safety but with robot security from the very beginning of the forthcoming technological era. We provide herein a document that reviews robot hazards and analyzes the consequences of not facing these issues. We advocate strongly for a security-first approach as a must to be implemented now.


title: Temperature constraints from inversions of synthetic solar optical, UV and radio spectra

abstract: High-resolution observations of the solar chromosphere at millimeter wavelengths are now possible with the Atacama Large Millimeter Array (ALMA), promising to tackle many open problems in solar physics. Observations from other ground and space-based telescopes will greatly benefit from coordinated endeavors with ALMA, yet the diagnostic potential of combined optical, ultraviolet and mm observations has remained mostly unassessed. In this paper we investigate whether mm-wavelengths could aid current inversion schemes to retrieve a more accurate representation of the temperature structure of the solar atmosphere. We performed several non-LTE inversion experiments of the emergent spectra from a snapshot of 3D radiation-MHD simulation. We included common line diagnostics such as CaII H, K, 8542 \AA$\,$ and MgII h and k, taking into account partial frequency redistribution effects, along with the continuum around 1.2 mm and 3 mm. We found that including the mm-continuum in inversions allows a more accurate inference of temperature as function of optical depth. The addition of ALMA bands to other diagnostics should improve the accuracy of the inferred chromospheric temperatures between $\log \tau\sim[-6,-4.5]$ where the CaII and MgII lines are weakly coupled to the local conditions. However, we found that simultaneous multi-atom, non-LTE inversions of optical and UV lines present equally strong constraints in the lower chromosphere and thus are not greatly improved by the 1.2 mm band. Nonetheless, the 3 mm band is still needed to better constrain the mid-upper chromosphere.


title: New Approaches for Almost-Sure Termination of Probabilistic Programs

abstract: We study the almost-sure termination problem for probabilistic programs. First, we show that supermartingales with lower bounds on conditional absolute difference provide a sound approach for the almost-sure termination problem. Moreover, using this approach we can obtain explicit optimal bounds on tail probabilities of non-termination within a given number of steps. Second, we present a new approach based on Central Limit Theorem for the almost-sure termination problem, and show that this approach can establish almost-sure termination of programs which none of the existing approaches can handle. Finally, we discuss algorithmic approaches for the two above methods that lead to automated analysis techniques for almost-sure termination of probabilistic programs.


title: VTracker: Impact of User Factors On Users' Intention to Adopt Dietary Intake Monitoring System with Auto Workout Tracker

abstract: Nowadays, Malaysian are so concerned about their body health. In respond to this, this study proposed a conceptual prototype called vTracker to assist its users to have a healthier body. vTracker is a web-based mobile application which helps users to self-monitor their dietary intakes and workout activities in a few simple steps. A research framework has been proposed using the Unified Theory of Acceptance and Use of Technology (UTAUT) model to understand the level of users' intention to adopt vTracker in Malaysia. Data was collected from 206 respondents in Malaysia using survey method. Based on the result of the analysis, it was found that respondents agree to subscribe to the system. It addition to that, it was found that the three factors have a positive impact on users' intention to adopt vTracker. These mentioned factors are performance effort expectancy (PEE), social influence (SI) and facilitating condition (FC). These significant factors are used for designing vTracker portal.


title: Solving the Steiner Tree Problem in graphs with Variable Neighborhood Descent

abstract: The Steiner Tree Problem (STP) in graphs is an important problem with various applications in many areas such as design of integrated circuits, evolution theory, networking, etc. In this paper, we propose an algorithm to solve the STP. The algorithm includes a reducer and a solver using Variable Neighborhood Descent (VND), interacting with each other during the search. New constructive heuristics and a vertex score system for intensification purpose are proposed. The algorithm is tested on a set of benchmarks which shows encouraging results.


title: Relativistic treatment of the energy shifts caused by static electromagnetic effects on free electrons

abstract: Magnetic effects on free electron systems have been studied extensively in the context of spin-to-orbital angular momentum conversion. Starting from the Dirac equation, we derive a fully relativistic expression for the energy of free electrons in the presence of a spatiotemporally constant, weak electromagnetic field. The expectation value of the maximum energy shift, which is completely independent of the electron spin-polarization coefficients, is computed perturbatively to first order. This effect is orders of magnitude larger than that predicted by the quantum mechanical Zeeman shift. We then show, in the non-relativistic limit, how to discriminate between achiral and completely polarized states and discuss possible mesoscopic and macroscopic manifestations of electron spin states across many orders of magnitude in the physical world.


title: Effects of a cloud of strings on the extended phase space of Einstein-Gauss-Bonnet AdS black holes

abstract: In this paper we study the thermodynamics of Einstein-Gauss-Bonnet (EGB)-AdS black holes minimally coupled to a cloud of strings in an extended phase space where the cosmological constant is treated as pressure of the black holes and its conjugate variable is the thermodynamical volume of the black holes. To investigate the analogy between EGB black holes surrounded by a cloud of strings and liquid-gas system we derive the analytical solutions of the critical points and probe the effects of a cloud of strings on $P-V$ criticality. There is obtained resemblance between "small black hole/large black hole" (SBH/LBH) phase transition and the liquid-gas phase transition. We see that impact of a cloud of strings can bring Van der Waals-like behavior, in absence of the Gauss-Bonnet (GB) counterpart. In the other words, in the EGB black hole with $\alpha \to 0$ and when it is surrounded by a cloud of strings the Hawking-Page phase transition would be disappeared and SBH/LBH phase transition recovers. Also there is not happened Joule-Thomson effect.


title: The Last Lost Charge And Phase Transition In Schwarzschild AdS Minimally Coupled to a Cloud of Strings

abstract: In this paper we study the Schwarzschild AdS black hole with a cloud of string background in an extended phase space and investigate a new phase transition related to the topological charge. By treating the topological charge as a new charge for black hole solution we study its thermodynamics in this new extended phase space. We treat by two approaches to study the phase transition behavior via both $T-S$ and $P-v$ criticality and we find the results confirm each other in a nice way. It is shown a cloud of strings affects the critical physical quantities and it could be observed an interesting Van der Waals-like phase transition in the extended thermodynamics. The swallow tail-like behavior is also observed in Free Energy-Temperature diagram. We observe in $a\to 0$ limit the small/large black hole phase transition reduces to the Hawking-Page phase transition as we expects. We can deduce that the impact of cloud of strings in Schwarzschild black hole can bring Van der Waals-like black hole phase transition.


title: A Tour Of The Student's E-Learning Puddle

abstract: E-learning has revolutionized our realm in more than just a listable number of ways. But it took a paradigm shift when it entered the threshold of the varsity system. With the prevailing spoon-feeding era, are the students really industry ready? We answer that by confirming a fact: web-based learning has become the oxygen of freshers in the IT Industry instead of the traditional learning done through graduation. Furthermore, are university enforced e-learning assessment systems a true representation of a student's proficiency? This paper is a peep into what web-based e-learning systems are to a student of today's world, by giving an overview of university-level e-learning in India deploying an example from SRM University's organizational framework. It assesses a key e-learning trend, the implementation of which bridges the gap between universities and the industry. It is proposed to provide constructive feedback to the e-learning community and shine some light on areas of scope for future developments.


title: Characteristics of Two-episode Emission Patterns in {\em Fermi} Long Gamma-Ray Bursts

abstract: Two-episode emission components separated by quiescent gaps in the prompt emission of gamma-ray bursts (GRBs) have been observed in the {\em Swift} era, but there is a lack of spectral information due to the narrow energy band of the {\em Swift}/Burst Alert Telescope. In this paper, a systematic analysis of the spectral and temporal properties of the prompt emission of 101 {\em Fermi}/Gamma-ray Burst Monitor detected long GRBs show the existence of two-episode emission components in the light curves, with quiescent times of up to hundreds of seconds. We focus on investigating the differences of those two emission episodes. We find that the light curves of the two emission components exhibit different behavior, e.g., a soft emission component that either precedes or follows the main prompt emission or that the intensity of the two emission episodes are comparable with each other. No statistically significant correlation in the duration of the two emission episodes can be claimed. We define a new parameter $\varepsilon$ as the ratio of the peak flux of the first and second emission episodes and find that a higher $\varepsilon$ corresponds to a larger fluence. The preferred spectral model in our analysis is a cutoff power-law model for most GRBs. The distribution of $E_p$ for episodes I and II range from tens of keV to 1000 keV with a lognormal fit and there are no significant differences between them. Moreover, we do not find significant relationships between $\varepsilon$ and $E_p$ for the two emission episodes. Those results suggest that these two-episode emission components likely share the same physical origin.


title: Improved Ingham-type result on $\mathbb R^d$ and on connected, simply connected nilpotent Lie Groups

abstract: In \cite{BRS} we have characterized the existance of a non zero function vanishing on an open set in terms of the decay of it's Fourier transform on the $d$-dimensional Euclidean space, the $d$-dimensional torus and on connected, simply connected two step nilpotent Lie groups. In this paper we improved these results on $\mathbb R^d$ and prove analogus results on connected, simply connected nilpotent Lie groups.


title: Schwinger effect impacting primordial magnetogenesis

abstract: We explore the enhancement of an electromagnetic field in an inflationary background with an anti-conductive plasma of scalar particles. The scalar particles are created by Schwinger effect in curved spacetime and backreact to the electromagnetic field. The possibility of a negative conductivity was recently put forward in the context of the renormalization of the Schwinger induced current in de Sitter spacetime. While a negative conductivity enhances the produced magnetic field, we find that it is too weak to seed the observed intergalactic magnetic field today. This results on pair creation in inflationary scenario is however important for primordial scenarios of magnetogenesis as the presence of a conductivity alters the spectral index of the magnetic field. This also shows on a specific example that backreaction can increase the electromagnetic field and not only suppress it.


title: Higher-order field theories: $\phi^6$, $\phi^8$ and beyond

abstract: The $\phi^4$ model has been the "workhorse" of the classical Ginzburg--Landau phenomenological theory of phase transitions and, furthermore, the foundation for a large amount of the now-classical developments in nonlinear science. However, the $\phi^4$ model, in its usual variant (symmetric double-well potential), can only possess two equilibria. Many complex physical systems possess more than two equilibria and, furthermore, the number of equilibria can change as a system parameter (e.g., the temperature in condensed matter physics) is varied. Thus, "higher-order field theories" come into play. This chapter discusses recent developments of higher-order field theories, specifically the $\phi^6$, $\phi^8$ models and beyond. We first establish their context in the Ginzburg--Landau theory of successive phase transitions, including a detailed discussion of the symmetric triple well $\phi^6$ potential and its properties. We also note connections between field theories in high-energy physics (e.g., "bag models" of quarks within hadrons) and parametric (deformed) $\phi^6$ models. We briefly mention a few salient points about even-higher-order field theories of the $\phi^8$, $\phi^{10}$, etc.\ varieties, including the existence of kinks with power-law tail asymptotics that give rise to long-range interactions. Finally, we conclude with a set of open problems in the context of higher-order scalar fields theories.

categories: hep-th cond-mat.mtrl-sci math-ph math.MP


title: Modelling top partner-vector resonance phenomenology

abstract: We have analysed the observable consequences of the interactions of spin-1 resonances coupled to the invariant fermionic currents that arise in an $SO(5)$ Composite Higgs set-up. The phenomenology entailed by such interactions is thoroughly analysed by studying heavy vector resonances production and decay modes in the viable resonance mass range. Additionally, the production of double and single-composite fermion final states has been scanned along the fermion mass scale. Such production is mediated by the SM gauge and Higgs interactions, and also by charged and neutral vector resonances. The coupling between the new fermions and vector resonances induces a sizeable effect in the production rates. We use the recent 13 TeV LHC searches for vector-like quarks to constrain our parameter space. Specifically, we explore the allowed regions by analysing the decays of a heavy vector-like quark in the $Wb$-channel. We conclude that generically the impact of the couplings between the spin-1 and spin-1/2 resonances will substantially reduce the permitted regions, leading us to test the sensitivity of the parametric dependence in the light of exotic matter interactions.


title: Variations on the Newcomb-Benford Law

abstract: The Newcomb-Benford Law, which is also called the first digit phenomenon, has applications in diverse phenomena ranging from social and computer networks, engineering systems, natural sciences, and accounting. In forensics, it has been used to determine intrusion in a computer server based on the measured expectations of first digits of time varying values of data, and to check whether the information in a data base has been tampered with. There are slight deviations from the law in certain natural data, as in fundamental physical constants, and here we propose a more general bin distribution of which the Newcomb-Benford Law is a special case so that it can be used to provide a better fit to such data, and also open the door to a mathematical examination of the origins of such deviations.


title: SMOGS: Social Network Metrics of Game Success

abstract: This paper develops metrics from a social network perspective that are directly translatable to the outcome of a basketball game. We extend a state-of-the-art multi-resolution stochastic process approach to modeling basketball by modeling passes between teammates as directed dynamic relational links on a network and introduce multiplicative latent factors to study higher-order patterns in players' interactions that distinguish a successful game from a loss. Parameters are estimated using a Markov chain Monte Carlo sampler. Results in simulation experiments suggest that the sampling scheme is effective in recovering the parameters. We then apply the model to the first high-resolution optical tracking dataset collected in college basketball games. The learned latent factors demonstrate significant differences between players' passing and receiving tendencies in a loss than those in a win. The model is applicable to team sports other than basketball, as well as other time-varying network observations.


title: Loop State-preparation-and-measurement tomography of a two-qubit system

abstract: We experimentally demonstrate that loop state-preparation-and-measurement (SPAM) tomography is capable of detecting correlated errors in a two-qubit system. We prepare photon pairs in a state that approximates a Werner state, which may or may not be entangled. By performing measurements with multiple different detector settings we are able to detect correlated errors between two single-qubit measurements performed in different locations. No assumptions are made concerning either the state preparations or the measurements, other than that the dimensions of the states and the positive-operator-valued measures describing the detectors are known. The only other needed information is experimentally measured expectation values, which are analyzed for self-consistency. This demonstrates that loop SPAM tomography is a useful technique for detecting errors that would degrade the performance of multiple-qubit quantum information processors.


title: Solving the 3x3 Real Symmetric Eigenproblem

abstract: We develop an algorithm solving the 3x3 real symmetric eigenproblem. This is a common problem and in certain applications it must be solved many thousands of times, see for example \cite{tripref} where each element in a finite element grid generates one. Because of this it is useful to have a tailored method that is easily coded and compact. Furthermore, the method described is fully compatible with development as a GPU based code that would allow the simultaneous solution of a large number of these small eigenproblems.


title: Phase Grouping of Larmor Electrons By a Synchronous Wave In Controlled Magnetrons

abstract: A simplified analytical model based on the charge drift approximation has been developed. It considers the resonant interaction of the synchronous wave with the flow of Larmor electrons in a magnetron. The model predicts stable coherent generation of the tube above and below the threshold of self-excitation. This occurs if the magnetron is driven by a sufficient resonant injected signal (up to -10 dB). The model substantiates precise stability, high efficiency and low noise at the range of the magnetron power control over 10 dB by variation of the magnetron current. The model and the verifying experiments with 2.45 GHz, 1 kW magnetrons are discussed.


title: Non-perturbative spinning black holes in dynamical Chern-Simons gravity

abstract: Spinning black holes in dynamical Einstein-Chern-Simons gravity are constructed by directly solving the field equations, without resorting to any perturbative expansion. This model is obtained by adding to the Einstein-Hilbert action a particular higher-curvature correction: the Pontryagin density, linearly coupled to a scalar field. The spinning black holes are stationary, axi-symmetric, asymptotically flat generalisations of the Kerr solution of Einstein's gravity, but they possess a non-trivial (odd-parity) scalar field. They are regular on and outside the horizon and satisfy a generalized Smarr relation. We discuss the deviations from Kerr at the level of the spin and mass distribution, the horizon angular velocity, the ergo-region and some basic properties of geodesic motion. For sufficiently small values of the Chern-Simons coupling our results match those previously obtained using a perturbative approach.


title: Coherent and incoherent production of vector mesons in ultraperipheral collisions of Xenon-ions within the QCD parton saturation approach

abstract: In this paper we analyse the exclusive vector meson photoproduction in the recent run using Xenon-ions at energy of 5.44 TeV performed by the Large Hadron Collider. We focus on the ultraperipheral collisions and provide theoretical predictions for coherent and incoherent cross sections within the color dipole approach and gluon saturation framework. The rapidity distribution is investigated in both cases and comparison to other approaches available at literature is done. We show that the expected yields are enough to perform reliable cross section measurements for light mesons as $\rho^0$ and $\phi$.


title: Circuit-based Modular Implementation of Quantum Ghost Imaging

abstract: Efforts on enhancing the ghost imaging speed and quality are intensified when the debate around the nature of ghost imaging (quantum vs. classical) is suspended for a while. Accordingly, most of the studies these years in the field fall into the improvement regarding these two targets by utilizing the different imaging mediums. Nevertheless, back to the raging debate occurred but with different focus, to overcome the inherent difficulties in the classical imaging domain, if we are able to utilize the superiority that quantum information science offers us, the ghost imaging experiment may be implemented more practically. In this study, a quantum circuit implementation of ghost imaging experiment is proposed, where the speckle patterns and phase mask are encoded by utilizing the quantum representation of images. To do this, we formulated several quantum models, i.e. quantum accumulator, quantum multiplier, and quantum divider. We believe this study will provide a new impetus to explore the implementation of ghost imaging using quantum computing resources.


title: A 5-Dimensional Tonnetz for Nearly Symmetric Hexachords

abstract: The standard 2-dimensional Tonnetz describes parsimonious voice-leading connections between major and minor triads as the 3-dimensional Tonnetz does for dominant seventh and half-diminished seventh chords. In this paper, I present a geometric model for a 5-dimensional Tonnetz for parsimonious voice-leading between nearly symmetric hexachords of the mystic-Wozzeck genus. Cartesian coordinates for points on this discretized grid, generalized coordinate collections for 5-simplices corresponding to mystic and Wozzeck chords, and the geometric nearest-neighbors of a selected chord are derived.


title: Formulations for designing robust networks. An application to wind power collection

abstract: We are interested in the design of survivable capacitated rooted Steiner networks. Given a graph G = (V, E), capacity and cost functions on E, a root r, a subset T of V of terminals and an integer k, we search for a minimum cost subset E $\subset$ E, covering T and r, such that the network induced by E is k-survivable: after the removal of any k edges, there still exists a feasible flow from r to T. We also consider the possibility of protecting a given number of edges. We propose three different formulations: a cut-set, a flow and a bi-level formulation where the second-level is a min-max problem (with an attacker and a defender). We propose algorithms for each problem formulation and compare their efficiency.


title: Network analysis of international migration

abstract: The paper analyses international migration flows from the network perspective by the evaluation of centrality indices. In order to find the most influential countries in the international migration network classical centrality indices and new centrality indices are evaluated. New centrality indices consider short (SRIC) and long-range (LRIC) indirect interactions and the node attribute: population of the destination country. The model is applied to the annual data on international migration flows from 1970 to 2013 provided by United Nations Organization. The analysis is made for one year of each decade and indices dynamics is described. It is shown that countries with huge migration flows are outlined by both classical and SRIC, LRIC indices, and SRIC and LRIC indices point out countries with considerable outflows of migrants to countries highly involved in international migration and the most interconnected countries.


title: The behavior of solutions of the systems of two first order linear ordinary differential equations

abstract: The Riccati equation method is used for study the behavior of solutions of the systems of two linear first order ordinary differential equations. All types of oscillation and regularity of these system are revealed. A generalization of Leighton's theorem is obtained. Three new principles for the second order linear differential equations are derived. Stability and non conjugation criteria are proved for the mentioned systems, as well as estimates are obtained for the solutions of the last ones.


title: Relations dependent on new fundamental constants among spacetime observables of quantum particle

abstract: Generators of spacetime translations and Lorentz group transformations form the Lie algebra of the Poincar\'e group and give rise to the Casimir invariants for a specification of elementary particle characteristics. Moreover quantum operators of coordinate and momentum components of a particle in Minkowski spacetime together with Lorentz group generators belong to the known noncommutative algebra. This algebra can be generalized under some constraints, in particular, the Lorentz invariance condition. The generalized algebra depends on the new fundamental constants with dimensions of length (L), mass (M) and action (H). Quantum fields, which can be constructed with the help of representations of this algebra, are referred to as HLM generalized quantum fields and the associated particles as HLM quantum particles. Relations between spacetime observables of a HLM quantum particle depend on the new constants and lead to complication of the Poincar\'e invariant equations for canonical fields. The modification of a quantum measurement procedure is needed in order to take into account inherent features of HLM quantum particles.


title: Two Groups in a Curie-Weiss Model with Heterogeneous Coupling

abstract: We discuss a Curie-Weiss model with two groups with different coupling constants within and between groups. For the total magnetisations in each group, we show bivariate laws of large numbers and a central limit theorem which is valid in the high temperature regime. In the critical regime, the total magnetisation normalised by $N^{3/4}$ converges to a non-trivial distribution which is not Gaussian, just as in the single-group Curie-Weiss model. Finally, we prove a kind of a `law of large numbers' in the low temperature regime, more precisely we prove that the empirical magnetisation converges in distribution to a mixture of two Dirac measures.


title: Topological modular forms with level structure: decompositions and duality

abstract: Topological modular forms with level structure were introduced in full generality by Hill and Lawson. We show that these decompose additively in many cases into a few simple pieces and give an application to equivariant $TMF$. Furthermore, we show which $Tmf_1(n)$ are self-Anderson dual up to a shift, both with and without their natural $C_2$-action.


title: End-to-end Sampling Patterns

abstract: Sample patterns have many uses in Computer Graphics, ranging from procedural object placement over Monte Carlo image synthesis to non-photorealistic depiction. Their properties such as discrepancy, spectra, anisotropy, or progressiveness have been analyzed extensively. However, designing methods to produce sampling patterns with certain properties can require substantial hand-crafting effort, both in coding, mathematical derivation and compute time. In particular, there is no systematic way to derive the best sampling algorithm for a specific end-task. Tackling this issue, we suggest another level of abstraction: a toolkit to end-to-end optimize over all sampling methods to find the one producing user-prescribed properties such as discrepancy or a spectrum that best fit the end-task. A user simply implements the forward losses and the sampling method is found automatically -- without coding or mathematical derivation -- by making use of back-propagation abilities of modern deep learning frameworks. While this optimization takes long, at deployment time the sampling method is quick to execute as iterated unstructured non-linear filtering using radial basis functions (RBFs) to represent high-dimensional kernels. Several important previous methods are special cases of this approach, which we compare to previous work and demonstrate its usefulness in several typical Computer Graphics applications. Finally, we propose sampling patterns with properties not shown before, such as high-dimensional blue noise with projective properties.


title: Parabolic equation in time and space dependent anisotropic Musielak-Orlicz spaces in absence of Lavrentiev's phenomenon

abstract: We study a general nonlinear parabolic equation on a Lipschitz bounded domain in $\mathbb{R}^N$, \begin{equation*} \left\{\begin{array}{l l} \partial_t u-\mathrm{div} A(t,x,\nabla u)= f(t,x)&\text{in}\ \ \Omega_T,\\ u(t,x)=0 &\ \mathrm{ on} \ (0,T)\times\partial\Omega,\\ u(0,x)=u_0(x)&\text{in}\ \Omega, \end{array}\right. \end{equation*} with $f\in L^\infty(\Omega_T)$ and $u_0\in L^\infty(\Omega)$. The growth of the monotone vector field $A$ is controlled by a generalized fully anisotropic $N$-function $M:[0,T)\times\Omega\times\mathbb{R}^N\to[0,\infty)$ inhomogeneous in time and space, and under no growth restrictions on the last variable. It results in the need of the integration by parts formula which has to be formulated in an advanced way. Existence and uniqueness of solutions are proven when the Musielak-Orlicz space is reflexive OR in absence of Lavrentiev's phenomenon. To ensure approximation properties of the space we impose natural assumption that the asymptotic behaviour of the modular function is sufficiently balanced. Its instances are log-H\"older continuity of variable exponent or optimal closeness condition for powers in double phase spaces. The noticeable challenge of this paper is cosidering the problem in non-reflexive and inhomogeneous fully anisotropic space that changes along time.


title: Molecular gas in distant galaxies from ALMA studies

abstract: ALMA is now fully operational, and has been observing in early science mode since 2011. The millimetric (mm) and sub-mm domain is ideal to tackle galaxies at high redshift, since the emission peak of the dust at 100$\mu$m is shifted in the ALMA bands (0.3mm to 1mm) for z=2 to 9, and the CO lines, stronger at the high-J levels of the ladder, are found all over the 0.3-3mm range. Pointed surveys and blind deep fields have been observed, and the wealth of data collected reveal a drop at high redshifts (z $>$ 6) of dusty massive objects, although surprisingly active and gas-rich objects have been unveiled through gravitational lensing. The window of the reionization epoch is now wide open, and ALMA has detected galaxies at z=8-9 mainly in continuum, [CII] and [OIII] lines. Galaxies have a gas fraction increasing steeply with redshift, as (1+z)$^2$, while their star formation efficiency increases also but more slightly, as (1+z)$^{0.6}$ to (1+z)$^1$. Individual object studies have revealed luminous quasars, with black hole masses much higher than expected, clumpy galaxies with resolved star formation rate compatible with the Kennicutt-Schmidt relation, extended cold and dense gas in a circumgalactic medium, corresponding to Lyman-$\alpha$ blobs, and proto-clusters, traced by their brightest central galaxies.


title: On the algorithmic complexity of finding hamiltonian cycles in special classes of planar cubic graphs

abstract: It is a well-known fact that hamiltonicity in planar cubic graphs is an NP-complete problem. This implies that the existence of an A-trail in plane eulerian graphs is also an NP-complete problem even if restricted to planar 3-connected eulerian graphs. In this paper we deal with hamiltonicity in planar cubic graphs G having a facial 2-factor Q via (quasi) spanning trees of faces in G/Q and study the algorithmic complexity of finding such (quasi) spanning trees of faces. We show, in particular, that if Barnette's Conjecture is false, then hamiltonicity in 3-connected planar cubic bipartite graphs is an NP-complete problem.


title: A complete axiomatization of infinitary first-order intuitionistic logic over $\mathcal{L}_{\kappa^+, \kappa}$

abstract: Given a weakly compact cardinal $\kappa$, we give an axiomatization of intuitionistic first-order logic over $\mathcal{L}_{\kappa^+, \kappa}$ and prove it is sound and complete with respect to Kripke models. As a consequence we get the disjunction and existence properties for that logic. This generalizes the work of Nadel for intuitionistic logic over $\mathcal{L}_{\omega_1, \omega}$. When $\kappa$ is a regular cardinal such that $\kappa^{<\kappa}=\kappa$, we deduce, by an easy modification of the proof, a complete axiomatization of intuitionistic first-order logic over $\mathcal{L}_{\kappa^+, \kappa, \kappa}$, the language with disjunctions of at most $\kappa$ formulas, conjunctions of less than $\kappa$ formulas and quantification on less than $\kappa$ many variables. In particular, this applies to any regular cardinal under the Generalized Continuum Hypothesis.


title: Generalised global supersolutions with mass control for systems with taxis

abstract: The existence of generalised global supersolutions with a control upon the total mass is established for a wide family of parabolic-parabolic chemotaxis systems and general integrable initial data in any space dimension. It is verified that as long as a supersolution of this sort remains smooth, it coincides with the classical solution. At the same time, the proposed construction provides solvability beyond a blow-up time. The considered class of systems includes the basic form of the Keller-Segel model as well as the case of a chemorepellent.


title: Theory of chemical evolution of molecule compositions in the universe, in the Miller-Urey experiment and the mass distribution of interstellar and intergalactic molecules

abstract: Chemical evolution is essential in understanding the origins of life. We present a theory for the evolution of molecule masses and show that small molecules grow by random diffusion and large molecules by a preferential attachment process leading eventually to life's molecules. It reproduces correctly the distribution of molecules found via mass spectroscopy for the Murchison meteorite and estimates the start of chemical evolution back to 12.8 billion years following the birth of stars and supernovae. From the Frontier mass between the random and preferential attachment dynamics the birth time of molecule families can be estimated. Amino acids emerge about 165 million years after chemical elements emerge in stars. Using the scaling of reaction rates with the distance of the molecules in space we recover correctly the few days emergence time of amino acids in the Miller-Urey experiment. The distribution of interstellar and extragalactic molecules are both consistent with the evolutionary mass distribution, and their age is estimated to 108 and 65 million years after the start of evolution. From the model, we can determine the number of different molecule compositions at the time of the emergence of Earth to be 1.6 million and the number of molecule compositions in interstellar space to a mere 719 species.

categories: q-bio.PE astro-ph.CO astro-ph.SR physics.bio-ph


title: An open quantum Kirwan map

abstract: We construct a morphism from the equivariant Fukaya algebra of a Lagrangian brane in the zero level set of a moment map of a Hamiltonian action to the Fukaya algebra of the quotient brane. This morphism induces a map between Maurer-Cartan solution spaces, and intertwines the disk potentials. As an application, we show under some technical hypotheses that weak unobstructedness of an invariant Lagrangian brane implies weak unobstructedness of its quotient. For semi-Fano toric manifolds we give a different proof of the open mirror theorem of Chan-Lau-Leung-Tseng by showing that the potential of a Lagrangian toric orbit in a toric manifold is related to the Givental-Hori-Vafa potential by a change of variable. We also reprove the results of Fukaya-Oh-Ohta-Ono on weak unobstructedness of these toric orbits. In the case of polygon spaces we show the existence of weakly unobstructed and Floer nontrivial products of spheres.


title: On the decentralized navigation of multiple packages on transportation networks

abstract: We investigate by numerical simulation and finite-size analysis the impact of long-range shortcuts on a spatially embedded transportation network. Our networks are built from two-dimensional ($d=2$) square lattices to be improved by the addition of long-range shortcuts added with probability $P(r_{ij})\sim r_{ij}^{-\alpha}$ [J. M. Kleinberg, Nature 406, 845 (2000)]. Considering those improved networks, we performed numerical simulation of multiple discrete package navigation and found a limit for the amount of packages flowing through the network. Such limit is characterized by a critical probability of creating packages $p_{c}$, where above this value a transition to a congested state occurs. Moreover, $p_{c}$ is found to follow a power-law, $p_{c}\sim L^{-\gamma}$, where $L$ is the network size. Our results indicate the presence of an optimal value of $\alpha_{\rm min}\approx1.7$, where the parameter $\gamma$ reaches its minimum value and the networks are more resilient to congestion for larger system sizes.


title: Assessing robustness of radiomic features by image perturbation

abstract: Image features need to be robust against differences in positioning, acquisition and segmentation to ensure reproducibility. Radiomic models that only include robust features can be used to analyse new images, whereas models with non-robust features may fail to predict the outcome of interest accurately. Test-retest imaging is recommended to assess robustness, but may not be available for the phenotype of interest. We therefore investigated 18 methods to determine feature robustness based on image perturbations. Test-retest and perturbation robustness were compared for 4032 features that were computed from the gross tumour volume in two cohorts with computed tomography imaging: I) 31 non-small-cell lung cancer (NSCLC) patients; II): 19 head-and-neck squamous cell carcinoma (HNSCC) patients. Robustness was measured using the intraclass correlation coefficient (1,1) (ICC). Features with ICC$\geq0.90$ were considered robust. The NSCLC cohort contained more robust features for test-retest imaging than the HNSCC cohort ($73.5\%$ vs. $34.0\%$). A perturbation chain consisting of noise addition, affine translation, volume growth/shrinkage and supervoxel-based contour randomisation identified the fewest false positive robust features (NSCLC: $3.3\%$; HNSCC: $10.0\%$). Thus, this perturbation chain may be used to assess feature robustness.


title: An Online Prediction Algorithm for Reinforcement Learning with Linear Function Approximation using Cross Entropy Method

abstract: In this paper, we provide two new stable online algorithms for the problem of prediction in reinforcement learning, \emph{i.e.}, estimating the value function of a model-free Markov reward process using the linear function approximation architecture and with memory and computation costs scaling quadratically in the size of the feature set. The algorithms employ the multi-timescale stochastic approximation variant of the very popular cross entropy (CE) optimization method which is a model based search method to find the global optimum of a real-valued function. A proof of convergence of the algorithms using the ODE method is provided. We supplement our theoretical results with experimental comparisons. The algorithms achieve good performance fairly consistently on many RL benchmark problems with regards to computational efficiency, accuracy and stability.


title: Pythagorean fuzzy graphs: Some results

abstract: Graph theory has successfully used to solve a wide range of problems encountered in diverse fields such as medical sciences, neural networks, control theory, transportation, clustering analysis, expert systems, image capturing, and network security. In past few years, a number of generalizations of graph theoretical concepts have developed to model the impreciseness and uncertainties in graphical network problems. A Pythagorean fuzzy set is a powerful tool for describing the vague concepts more precisely. The Pythagorean fuzzy set-based models provide more flexibility in handling the human judgment information as compared to other fuzzy models. The objective of this paper is to apply the concept of Pythagorean fuzzy sets to graph theory. This work introduces the notion of Pythagorean fuzzy graphs (PFGs) and describes a number of methods for their construction. We then define some basic operations on PFGs and prove some of their important properties. The work also discusses the notion of isomorphism between Pythagorean fuzzy graphs with a numerical example. Further, we introduce the concept of the strong Pythagorean fuzzy graph and the complete Pythagorean fuzzy graph. In addition, the paper also proves some results on self-complementary, self-weak complementary with Pythagorean fuzzy strong graphs and Pythagorean fuzzy complete graphs.


title: PT Symmetric Floquet Topological Phase in SSH Model

abstract: We consider periodically modulated Su-Schrieffer-Heeger (SSH) model with gain and loss. This model, which can be realized with current technology in photonics using waveguides, allows us to study Floquet topological insulating phase. By using Floquet theory, we find the quasi-energy spectrum of this one dimensional PT symmetric topological insulator. We show that stable Floquet topological phase exists in our model provided that oscillation frequency is large and the non-Hermitian degree is below than a critical value.


title: Towards Manipulability of Interactive Lagrangian Systems

abstract: This paper investigates manipulability of interactive Lagrangian systems with parametric uncertainty and communication/sensing constraints. Two standard examples are teleoperation with a master-slave system and teaching operation of robots. We here systematically formulate the concept of infinite manipulability for general dynamical systems, and investigate how such a unified motivation yields a design paradigm towards guaranteeing the infinite manipulability of interactive dynamical systems and in particular facilitates the design and analysis of nonlinear adaptive controllers for interactive Lagrangian systems. Specifically, based on a new class of dynamic feedback, we propose adaptive controllers that achieve both the infinite manipulability of the controlled Lagrangian systems and the robustness with respect to the communication/sensing constraints, mainly owing to the resultant dynamic-cascade framework. The proposed paradigm yields the desirable balance between network coupling requirements and controlled dynamics of human-system interaction. We also show that a special case of our main result resolves the longstanding nonlinear bilateral teleoperation problem with arbitrary unknown time-varying delay. Simulation results show the performance of the interactive robotic systems under the proposed adaptive controllers.


title: Stochastic and deterministic modelling of cell migration

abstract: Mathematical models are vital interpretive and predictive tools used to assist in the understanding of cell migration. There are typically two approaches to modelling cell migration: either micro-scale, discrete or macro-scale, continuum. The discrete approach, using agent-based models (ABMs), is typically stochastic and accounts for properties at the cell-scale. Conversely, the continuum approach, in which cell density is often modelled as a system of deterministic partial differential equations (PDEs), provides a global description of the migration at the population level. Deterministic models have the advantage that they are generally more amenable to mathematical analysis. They can lead to significant insights for situations in which the system comprises a large number of cells, at which point simulating a stochastic ABM becomes computationally expensive. However, finding an appropriate continuum model to describe the collective behaviour of a system of individual cells can be a difficult task. Deterministic models are often specified on a phenomenological basis, which reduces their predictive power. Stochastic ABMs have advantages over their deterministic continuum counterparts. In particular, ABMs can represent individual-level behaviours (such as cell proliferation and cell-cell interaction) appropriately and are amenable to direct parameterisation using experimental data. It is essential, therefore, to establish direct connections between stochastic micro-scale behaviours and deterministic macro-scale dynamics. In this Chapter we describe how, in some situations, these two distinct modelling approaches can be unified into a discrete-continuum equivalence framework. We provide an overview of some of the more recent advances in this field and we point out some of the relevant questions that remain unanswered.


title: Numerical Evaluation of Elliptic Functions, Elliptic Integrals and Modular Forms

abstract: We describe algorithms to compute elliptic functions and their relatives (Jacobi theta functions, modular forms, elliptic integrals, and the arithmetic-geometric mean) numerically to arbitrary precision with rigorous error bounds for arbitrary complex variables. Implementations in ball arithmetic are available in the open source Arb library. We discuss the algorithms from a concrete implementation point of view, with focus on performance at tens to thousands of digits of precision.


title: Zip Trees

abstract: We introduce the zip tree, a form of randomized binary search tree that integrates previous ideas into one practical, performant, and pleasant-to-implement package. A zip tree is a binary search tree in which each node has a numeric rank and the tree is (max)-heap-ordered with respect to ranks, with rank ties broken in favor of smaller keys. Zip trees are essentially treaps (Seidel and Aragon 1996), except that ranks are drawn from a geometric distribution instead of a uniform distribution, and we allow rank ties. These changes enable us to use fewer random bits per node. We perform insertions and deletions by unmerging and merging paths ("unzipping" and "zipping") rather than by doing rotations, which avoids some pointer changes and improves efficiency. The methods of zipping and unzipping take inspiration from previous top-down approaches to insertion and deletion (Stephenson 1980; Mart\'inez and Roura 1998; Sprugnoli 1980). From a theoretical standpoint, this work provides two main results. First, zip trees require only $O(\log \log n)$ bits (with high probability) to represent the largest rank in an $n$-node binary search tree; previous data structures require $O(\log n)$ bits for the largest rank. Second, zip trees are naturally isomorphic to skip lists (Pugh 1990), and simplify the mapping of (Dean and Jones 2007) between skip lists and binary search trees.


title: Cavity optomagnonics with magnetic textures: coupling a magnetic vortex to light

abstract: Optomagnonic systems, where light couples coherently to collective excitations in magnetically ordered solids, are currently of high interest due to their potential for quantum information processing platforms at the nanoscale. Efforts so far, both at the experimental and theoretical level, have focused on systems with a homogeneous magnetic background. A unique feature in optomagnonics is however the possibility of coupling light to spin excitations on top of magnetic textures. We propose a cavity-optomagnonic system with a non homogeneous magnetic ground state, namely a vortex in a magnetic microdisk. In particular we study the coupling between optical whispering gallery modes to magnon modes localized at the vortex. We show that the optomagnonic coupling has a rich spatial structure and that it can be tuned by an externally applied magnetic field. Our results predict cooperativities at maximum photon density of the order of $\mathcal{C}\approx10^{-2}$ by proper engineering of these structures.


title: AccaSim: a Customizable Workload Management Simulator for Job Dispatching Research in HPC Systems

abstract: We present AccaSim, a simulator for workload management in HPC systems. Thanks to AccaSim's scalability to large workload datasets, support for easy customization, and practical automated tools to aid experimentation, users can easily represent various real HPC systems, develop novel advanced dispatchers and evaluate them in a convenient way across different workload sources. AccaSim is thus an attractive tool for conducting job dispatching research in HPC systems.


title: Degenerate soliton solutions and their dynamics in the nonlocal Manakov system: I Symmetry preserving and symmetry breaking solutions

abstract: In this paper, we construct degenerate soliton solutions (which preserve $\cal{PT}$-symmetry/break $\cal{PT}$-symmetry) to the nonlocal Manakov system through a nonstandard bilinear procedure. Here by degenerate we mean the solitons that are present in both the modes which propagate with same velocity. The degenerate nonlocal soliton solution is constructed after briefly indicating the form of nondegenerate one-soliton solution. To derive these soliton solutions, we simultaneously solve the nonlocal Manakov equation and a pair of coupled equations that arise from the zero curvature condition. The later consideration yields general soliton solution which agrees with the solutions that are already reported in the literature under certain specific parametric choice. We also discuss the salient features associated with the obtained degenerate soliton solutions.


title: Oxygen-neon rich merger during common envelope evolution

abstract: We conduct a population synthesis study of the common envelope evolution (CEE) of a white dwarf (WD) and an asymptotic giant branch (AGB) star and find that the potential number of type Ia supernovae (SNe Ia) from the core degenerate (CD) and from the double degenerate (DD) scenarios are of the same order of magnitude. For the CD scenario we consider cases where a carbon oxygen rich (CO) AGB core and a CO WD merge during the CEE and leave a WD remnant with a mass of >1.35Mo, and for the DD scenario we count surviving CO WD binary systems that merge within a time of 10 Gyr. When either the AGB core or the WD are oxygen neon rich (ONe) we assume that the outcome might be a peculiar SN Ia. We find that the number of potential peculiar SNe Ia in the channels we study, that do not include peculiar SNe Ia that involve helium WDs or helium donors, is non-negligible, but less than the number of normal SNe Ia. If a SN Ia or a peculiar SN Ia explosion takes place within about million year after CEE, whether in the CD scenario or in the DD scenario, a massive circumstellar matter is present at explosion time. Our results are compatible with the suggestion that Chandrasekhar-mass SNe Ia mostly come from the CD scenario, and sub-Chandrasekhar SNe Ia mostly come from the DD scenario.


title: A Nonlinear Discretization Theory for Meshfree Collocation Methods applied to Quasilinear Elliptic Equations

abstract: We generalize our earlier results concerning meshfree collocation methods for semilinear elliptic second order problems to the quasilinear case. The stability question, however, is treated differently, namely by extending a paper on uniformly stable discretizations of well-posd linear problems to the nonlinear case. These two ingredients allow a proof that all well-posed quasilinear elliptic second-order problems can be discretized in a uniformly stable way by using sufficient oversampling, and then the error of the numerical solution behaves like the error obtainable by direct approximation of the true solution by functions from the chosen trial space, up to a factor induced by being forced to use a H\"older-type theory for the nonlinear PDE. We apply our general technique to prove convergence of meshfree methods for quasilinear elliptic equations with Dirichlet and non-Dirichlet boundary conditions. This is achieved for bifurcation and center manifolds of elliptic partial differential equations and their numerical methods as well.


title: Damped second order flow applied to image denoising

abstract: In this paper, we introduce a new image denoising model: the damped flow (DF), which is a second order nonlinear evolution equation associated with a class of energy functionals of image. The existence, uniqueness and regularization property of DF are proven. For the numerical implementation, based on the St\"{o}rmer-Verlet method, a discrete damped flow, SV-DDF, is developed. The convergence of SV-DDF is studied as well. Several numerical experiments, as well as a comparison with other methods, are provided to demonstrate the feasibility and effectiveness of the SV-DDF.


title: Bayesian Hierarchical Modelling of Initial-Final Mass Relations Across Star Clusters

abstract: The initial-final mass relation (IFMR) of white dwarfs (WDs) plays an important role in stellar evolution. To derive precise estimates of IFMRs and explore how they may vary among star clusters, we propose a Bayesian hierarchical model that pools photo- metric data from multiple star clusters. After performing a simulation study to show the benefits of the Bayesian hierarchical model, we apply this model to five star clus- ters: the Hyades, M67, NGC 188, NGC 2168, and NGC 2477, leading to reasonable and consistent estimates of IFMRs for these clusters. We illustrate how a cluster-specific analysis of NGC 188 using its own photometric data can produce an unreasonable IFMR since its WDs have a narrow range of zero-age main sequence (ZAMS) masses. However, the Bayesian hierarchical model corrects the cluster-specific analysis by bor- rowing strength from other clusters, thus generating more reliable estimates of IFMR parameters. The data analysis presents the benefits of Bayesian hierarchical modelling over conventional cluster-specific methods, which motivates us to elaborate the pow- erful statistical techniques in this article.


title: Unsupervised Word Segmentation from Speech with Attention

abstract: We present a first attempt to perform attentional word segmentation directly from the speech signal, with the final goal to automatically identify lexical units in a low-resource, unwritten language (UL). Our methodology assumes a pairing between recordings in the UL with translations in a well-resourced language. It uses Acoustic Unit Discovery (AUD) to convert speech into a sequence of pseudo-phones that is segmented using neural soft-alignments produced by a neural machine translation model. Evaluation uses an actual Bantu UL, Mboshi; comparisons to monolingual and bilingual baselines illustrate the potential of attentional word segmentation for language documentation.


title: Degenerate soliton solutions and their dynamics in the nonlocal Manakov system: II Interactions between solitons

abstract: In this paper, by considering the degenerate two bright soliton solutions of the nonlocal Manakov system, we bring out three different types of energy sharing collisions for two different parametric conditions. Among the three, two of them are new which do not exist in the local Manakov equation. By performing an asymptotic analysis to the degenerate two-soliton solution, we explain the changes which occur in the quasi-intensity/quasi-power, phase shift and relative separation distance during the collision process. Remarkably, the intensity redistribution reveals that in the new types of shape changing collisions, the energy difference of soliton in the two modes is not preserved during collision. In contrast to this, in the other shape changing collision, the total energy of soliton in the two modes is conserved during collision. In addition to this, by tuning the imaginary parts of the wave numbers, we observe localized resonant patterns in both the scenarios. We also demonstrate the existence of bound states in the CNNLS equation during the collision process for certain parametric values.


title: Study of the superconducting order parameter in the negative-$U$ 2D-Hubbard model by grand-canonical twist-averaged boundary conditions

abstract: By using variational Monte Carlo and auxiliary-field quantum Monte Carlo methods, we perform an accurate finite-size scaling of the $s$-wave superconducting order parameter and the pairing correlations for the negative-$U$ Hubbard model at zero temperature in the square lattice. We show that the twist-averaged boundary conditions (TABCs) are extremely important to control finite-size effects and to achieve smooth and accurate extrapolations to the thermodynamic limit. We also show that TABCs is much more efficient in the grand-canonical ensemble rather than in the standard canonical ensemble with fixed number of electrons. The superconducting order parameter as a function of the doping is presented for several values of $|U|/t$ and is found to be significantly smaller than the mean-field BCS estimate already for moderate couplings. This reduction is understood by a variational ansatz able to describe the low-energy behaviour of the superconducting phase, by means of a suitably chosen Jastrow factor including long-range density-density correlations.


title: ISA-Pol: Distributed polarizabilities and dispersion models from a basis-space implementation of the iterated stockholder atoms procedure

abstract: Recently we have developed a robust, basis-space implementation of the iterated stockholder atoms (BS-ISA) approach for defining atoms in a molecule. This approach has been shown to yield rapidly convergent distributed multipole expansions with a well-defined basis-set limit. Here we use this method as the basis of a new approach, termed ISA-Pol, for obtaining non-local distributed frequency-dependent polarizabilities. We demonstrate how ISA-Pol can be combined with localization methods to obtain distributed dispersion models that share the many unique properties of the ISA: These models have a well-defined basis-set limit, lead to very accurate dispersion energies, and, remarkably, satisfy commonly used combination rules to a good accuracy. As these models are based on the ISA, they can be expected to respond to chemical and physical changes naturally, and thus they may serve as the basis for the next generation of polarization and dispersion models for ab initio force-field development.


title: The Evolution of Embedding Metadata in Blockchain Transactions

abstract: The use of blockchains is growing every day, and their utility has greatly expanded from sending and receiving crypto-coins to smart-contracts and decentralized autonomous organizations. Modern blockchains underpin a variety of applications: from designing a global identity to improving satellite connectivity. In our research we look at the ability of blockchains to store metadata in an increasing volume of transactions and with evolving focus of utilization. We further show that basic approaches to improving blockchain privacy also rely on embedding metadata. This paper identifies and classifies real-life blockchain transactions embedding metadata of a number of major protocols running essentially over the bitcoin blockchain. The empirical analysis here presents the evolution of metadata utilization in the recent years, and the discussion suggests steps towards preventing criminal use. Metadata are relevant to any blockchain, and our analysis considers primarily bitcoin as a case study. The paper concludes that simultaneously with both expanding legitimate utilization of embedded metadata and expanding blockchain functionality, the applied research on improving anonymity and security must also attempt to protect against blockchain abuse.


title: Employing RHIC and LHC data to determine TMD gluon density in a proton

abstract: Transverse momentum dependent (TMD) parton distributions in a proton are important in high energy physics from both theoretical and phenomenological points of view. Using the latest RHIC and LHC data on the inclusive soft hadron production in $pp$ and $AA$ collisions at small transverse momenta, we determine the parameters of the initial TMD gluon density, derived in the framework of quark-gluon string model at the low scale $\mu_0 \sim 1 - 2$ GeV and refine its large-$x$ behaviour using the LHC data on the $t \bar t$ production at $\sqrt s = 13$ TeV. Then, we apply the Catani-Ciafaloni-Fiorani-Marchesini (CCFM) evolution equation to extend the obtained TMD gluon density to the whole kinematical region. In addition, the complementary TMD valence and sea quark distributions are generated. The latter are evaluated in the approximation where the gluon-to-quark splitting occurs at the last evolution step using the TMD gluon-to-quark splitting function. Several phenomenological applications of the proposed TMD quark and gluon densities to the LHC processes are discussed.


title: On the evolution equation of compressible vortex sheets

abstract: We are concerned with supersonic vortex sheets for the Euler equations of compressible inviscid fluids in two space dimensions. For the problem with constant coefficients we derive an evolution equation for the discontinuity front of the vortex sheet. This is a pseudo-differential equation of order two. In agreement with the classical stability analysis, if the jump of the tangential component of the velocity satisfies $|[v\cdot\tau]|<2\sqrt{2}\,c$ (here $c$ denotes the sound speed) the symbol is elliptic and the problem is ill-posed. On the contrary, if $|[v\cdot\tau]|>2\sqrt{2}\,c$, then the problem is weakly stable, and we are able to derive a wave-type a priori energy estimate for the solution, with no loss of regularity with respect to the data. Then we prove the well-posedness of the problem, by showing the existence of the solution in weighted Sobolev spaces.


title: Narrow-line Seyfert 1 galaxies in the context of the Quasar Main Sequence

abstract: Narrow-line Seyfert 1 galaxies are defined on the basis of their line widths, and they are generally considered to be high Eddington ratio sources. But in the context of the Quasar Main Sequence, high Eddington rate sources are those which have weak [O III] lines and strong Fe II lines. There is an overlap between the two populations, but they are not identical. Thus these two selection criteria give a different view on which objects are actually high Eddington ratio sources. We discuss this issue in the context of the broad band spectral energy density, emission line shape modeling, Fe II pseudo-continuum strength, and the level of X-ray variability. We also discuss the issue of the viewing angle and the insight one can gain from spectropolarimetric observations. We conclude that there is no single driver behind the Quasar Main Sequence, and the Eddington ratio of the source cannot be determined from the source location on the optical plane alone. On the other hand, an expected range of AGN parameters combined with a simple model of the Fe II production represent well the observed coverage pattern of the plane, with not much effect needed from the dispersion due to the viewing angle.


title: SAMplus: adaptive optics at optical wavelengths for SOAR

abstract: Adaptive Optics (AO) is an innovative technique that substantially improves the optical performance of ground-based telescopes. The SOAR Adaptive Module (SAM) is a laser-assisted AO instrument, designed to compensate ground-layer atmospheric turbulence in near-IR and visible wavelengths over a large Field of View. Here we detail our proposal to upgrade SAM, dubbed SAMplus, that is focused on enhancing its performance in visible wavelengths and increasing the instrument reliability. As an illustration, for a seeing of 0.62 arcsec at 500 nm and a typical turbulence profile, current SAM improves the PSF FWHM to 0.40 arcsec, and with the upgrade we expect to deliver images with a FWHM of $\approx0.34$ arcsec -- up to 0.23 arcsec FWHM PSF under good seeing conditions. Such capabilities will be fully integrated with the latest SAM instruments, putting SOAR in an unique position as observatory facility.


title: Opacity Effects on Pulsations of Main-Sequence A-Type Stars

abstract: Opacity enhancements for stellar interior conditions have been explored to explain observed pulsation frequencies and to extend the pulsation instability region for B-type main-sequence variable stars. For these stars, the pulsations are driven in the region of the opacity bump of Fe-group elements at $\sim$200,000 K in the stellar envelope. Here we explore effects of opacity enhancements for the somewhat cooler main-sequence A-type stars, in which $p$-mode pulsations are driven instead in the second helium ionization region at $\sim$50,000 K. We compare models using the new LANL OPLIB vs. LLNL OPAL opacities for the AGSS09 solar mixture. For models of 2 solar masses and effective temperature 7600 K, opacity enhancements have only a mild effect on pulsations, shifting mode frequencies and/or slightly changing kinetic-energy growth rates. Increased opacity near the bump at 200,000 K can induce convection that may alter composition gradients created by diffusive settling and radiative levitation. Opacity increases around the hydrogen and 1st He ionization region (13,000 K) can cause additional higher-frequency $p$ modes to be excited, raising the possibility that improved treatment of these layers may result in prediction of new modes that could be tested by observations. New or wider convective zones and higher convective velocities produced by opacity increases could also affect angular momentum transport during evolution. More work needs to be done to quantify the effects of opacity on the boundaries of the pulsation instability regions for A-type stars.


title: Sustainable Inventory with Robust Periodic-Affine Policies and Application to Medical Supply Chains

abstract: We introduce a new class of adaptive policies called periodic-affine policies, that allows a decision maker to optimally manage and control large-scale newsvendor networks in the presence of uncertain demand without distributional assumptions. These policies are data-driven and model many features of the demand such as correlation, and remain robust to parameter mis-specification. We present a model that can be generalized to multi-product settings and extended to multi-period problems. This is accomplished by modeling the uncertain demand via sets. In this way, it offers a natural framework to study competing policies such as base-stock, affine, and approximative approaches with respect to their profit, sensitivity to parameters and assumptions, and computational scalability. We show that the periodic-affine policies are sustainable, i.e. time consistent, because they warrant optimality both within subperiods and over the entire planning horizon. This approach is tractable and free of distributional assumptions, and hence, suited for real-world applications. We provide efficient algorithms to obtain the optimal periodic-affine policies and demonstrate their advantages on the sales data from one of India's largest pharmacy retailers.


title: Resonances near the real axis for manifolds with hyperbolic trapped sets

abstract: For manifolds Euclidian at infinity and compact perturbations of the Laplacian, we show that under assumptions involving hyperbolicity of the classical flow on the trapped set and its period spectrum, there are strips below the real axis where the resonance counting function grows sub-linearly. We also provide an inverse result, showing that the knowledge of the scattering poles can give some information about the Hausdorff dimension of the trapped set when the classical flow satisfies the Axiom-A condition.


title: Robust model selection between population growth and multiple merger coalescents

abstract: We study the effect of biological confounders on the model selection problem between Kingman coalescents with population growth, and Xi-coalescents involving simultaneous multiple mergers. We use a low dimensional, computationally tractable summary statistic, dubbed the singleton-tail statistic, to carry out approximate likelihood ratio tests between these model classes. The singleton-tail statistic has been shown to distinguish between them with high power in the simple setting of neutrally evolving, panmictic populations without recombination. We extend this work by showing that cryptic recombination and selection do not diminish the power of the test, but that misspecifying population structure does. Furthermore, we demonstrate that the singleton-tail statistic can also solve the more challenging model selection problem between multiple mergers due to selective sweeps, and multiple mergers due to high fecundity with moderate power of up to 30%.


title: The horofunction boundary of infinite dimensional hyperbolic spaces

abstract: In this paper we give a complete description of the horofunction boundary of the infinite dimensional real hyperbolic space, and characterise its Busemann points.


title: Computing complex horseshoes by means of piecewise maps

abstract: A systematic procedure to numerically compute a horseshoe map is presented. This new method uses piecewise functions and expresses the required operations by means of elementary transformations, such as translations, scalings, projections and rotations. By repeatedly combining such transformations, arbitrarily complex folding structures can be created. We show the potential of these horseshoe piecewise maps to illustrate several central concepts of nonlinear dynamical systems, as for example the Wada property.


title: FPGA acceleration of Model Predictive Control for Iter Plasma current and shape control

abstract: A faster implementation of the Quadratic Programming (QP) solver used in the Model Predictive Control scheme for Iter Plasma current and shape control was developed for Xilinx Field-Programmable Gate Array (FPGA) platforms using a high-level synthesis approach. The QP solver is based on the dual Fast Gradient Method (dFGM). The dFGM is essentially an iterative algorithm, where matrix-vector arithmetic operations within the main iteration loop may be parallelized. This type of parallelism is not well-suited to standard multi-core processors because the number of operations to be spread among processing threads is relatively small considering the time-scale of thread scheduling. The FPGA implementation avoids this issue, but it requires specific techniques of code optimization in order to achieve faster solver execution.


title: Dilepton photoproduction measures the fluctuations of initial electromagnetic fields in nuclear collisions

abstract: Dilepton production from two photon interactions $\gamma\gamma\rightarrow l^+l^-$ are studied in semi-central and peripheral nuclear collisions. Based on Weizs\"acker-Williams approach, it is shown that the dilepton photoproduction is proportional to the electromagnetic (EM) fields $\sim E^2B^2$ and therefore sensitive to the magnitude and lifetime of initial EM fields which last only for a short time and are hard to be measured in experiments directly. We propose dilepton photoproduction as a probe for the nuclear charge fluctuations, which are crucial for the electric/magnetic field induced chiral and charge particle evolutions. We calculate the relative standard deviation of dilepton mass spectrum with event-by-event fluctuating nuclear charge distributions (and EM fields).


title: Entropy of hard square lattice gas with $k$ distinct species of particles: coloring problems and vertex models

abstract: Coloring the faces of 2-dimensional square lattice with $k$ distinct colors such that no two adjacent faces have the same color is considered by establishing connection between the $k$ coloring problem and a generalized vertex model. Associating the colors with $k$ distinct species of particles with infinite repulsive force between nearest neighbors of the same type and zero chemical potential $\mu$ associated with each species, the number of ways $[W(k)]^N$ for large $N$ is related to the entropy of the {\it{hard square lattice gas}} at close packing of the lattice, where $N$ is the number of lattice sites. We discuss the evaluation of $W(k)$ using transfer matrix method with non-periodic boundary conditions imposed on at least one dimension and show the characteristic Toeplitz block structure of the transfer matrix. Using this result, we present some analytical calculations for non-periodic models that remain finite in one dimension. The case $k=3$ is found to approach the exact result obtained by Lieb for the residual entropy of ice with periodic boundary conditions. Finally, we show, by explicit calculation of the contribution of subgraphs and the series expansion of $W(k)$, that the genenralized Pauling type estimate(which is based on mean field approximation) dominates at large values of $k$. We thus also provide an alternative series expansion for the chromatic polynomial of a regular square graph.


title: Manipulating quantum materials with quantum light

abstract: We show that the macroscopic magnetic and electronic properties of strongly correlated electron systems can be manipulated by coupling them to a cavity mode. As a paradigmatic example we consider the Fermi-Hubbard model and find that the electron-cavity coupling enhances the magnetic interaction between the electron spins in the ground-state manifold. At half filling this effect can be observed by a change in the magnetic susceptibility. At less than half filling, the cavity introduces a next-nearest neighbour hopping and mediates a long-range electron-electron interaction between distant sites. We study the ground state properties with Tensor Network methods and find that the cavity coupling can induce a new phase characterized by a momentum-space pairing effect for electrons.


title: Anomalous Nernst effect beyond the magnetization scaling relation in the ferromagnetic Heusler compound Co$_2$MnGa

abstract: Applying a temperature gradient in a magnetic material generates a voltage that is perpendicular to both the heat flow and the magnetization. This is the anomalous Nernst effect (ANE) which was thought to be proportional to the value of the magnetization for a long time. However, more generally, the ANE has been predicted to originate from a net Berry curvature of all bands near the Fermi level. Subsequently, a large anomalous Nernst thermopower has recently been observed in topological materials with no net magnetization but large net Berry curvature around E$_F$. These experiments clearly fall outside the scope of the conventional magnetization-model of the ANE, but a significant question remains: Can the value of the ANE in topological ferromagnets exceed the highest values observed in conventional ferromagnets? Here, we report a remarkably high anomalous Nernst thermopower value of ~6.0 \mu V/K at 1 T in the ferromagnetic topological Heusler compound Co$_2$MnGa at room temperature, which is around 7-times larger than any anomalous Nernst thermopower value ever reported for a conventional ferromagnet. Combined electrical, thermoelectric and first-principles calculations reveal that this high value of the ANE arises from a large net Berry curvature near the Fermi level associated with nodal lines and Weyl points.


title: Orbital widening due to radiation reaction around a magnetized black hole

abstract: Radiation reaction acting on a charged particle moving at a stable circular orbit of a magnetized black hole can lead to the shift of the orbital radius outwards from the black hole. The effect causes increase of the energy and angular momentum of the particle measured by an observer at rest at infinity. In this note we show that "widening" of such orbits is independent of the field configuration, however, it appears only in the cases with the external Lorentz force acting outwards from the black hole. This condition corresponds to $q L B > 0$, where $q$ and $L$ are the charge and angular momentum of the particle and $B$ is intensity of the external magnetic field. As examples of the orbital widening we consider two scenarios with an external homogeneous magnetic field and a magnetic dipole field generated by a current loop around a Schwarzschild black hole. We show that the orbital widening is accompanied by quasi-harmonic oscillations of the particle which are considerably large in the magnetic dipole fields. We also estimate the timescales of orbital widening from which it follows that the effect can be relevant in the vicinity of stellar mass black holes.


title: First order framework for gauge k-vortices

abstract: We study vortices in generalized Maxwell-Higgs models, with the inclusion of a quadratic kinetic term with the covariant derivative of the scalar field in the Lagrangian density. We discuss the stressless condition and show that the presence of analytical solutions help us to define the model compatible with the existence of first order equations. A method to decouple the first order equations and to construct the model is then introduced and, as a bonus, we get the energy depending exclusively on a function of the fields calculated from the boundary conditions. We investigate some specific possibilities and find, in particular, a compact vortex configuration in which the energy density is all concentrated in a unit circle.


title: A Positivity-Preserving Limiting Strategy for Locally-Implicit Lax-Wendroff Discontinuous Galerkin Methods

abstract: Nonlinear hyperbolic conservation laws admit singular solutions such as shockwaves (discontinuities in conserved variables), rarefaction waves (discontinuities in derivatives), and vacuum states (loss of strong hyperbolicity). When ostensibly high-order numerical methods are applied in such solution regimes, unphysical oscillations present themselves that can lead to large errors and a breakdown of the numerical simulation. In this work we develop a new Lax-Wendroff discontinuous Galerkin (LxW-DG) method with a limiting strategy that keeps the solution non-oscillatory and positivity-preserving for relevant variables, such as height in the shallow water equations and density and pressure in the compressible Euler equations. The proposed LxW-DG scheme updates the solution over each time-step with a locally-implicit predictor followed by an explicit corrector. The locally-implicit prediction phase is formulated in terms of primitive variables, which greatly simplifies the solver. The resulting system of nonlinear algebraic equations are approximately solved via a Picard iteration, where the number of iterations is equal to the order of accuracy of the method. The correction phase is an explicit evaluation formulated in terms of conservative variables in order to guarantee numerical conservation. In order to achieve full positivity-preservation, limiting is required in both the prediction and correction steps. The resulting scheme is applied to several standard test cases for the shallow water and compressible Euler equations. All of the presented examples are written in a freely available open-source Python code.


title: Electroluminescence on-off ratio control of n-i-n GaAs/AlGaAs-based resonant tunneling structures

abstract: We explore the nature of the electroluminescence (EL) emission of purely n-doped GaAs/AlGaAs resonant tunneling diodes (RTDs) and the EL evolution with voltage. A singular feature of such a device is unveiled when the electrical output current changes from high to low and the EL on-off ratio is enhanced by 2 orders of magnitude compared to the current on-off ratio. By combining the EL and current properties, we are able to identify two independent impact ionization channels associated with the coherent resonant tunneling current and the incoherent valley current. We also perform the same investigation with an associated series resistance, which induces a bistable electrical output in the system. By simulating a resistance variation for the current-voltage and the EL, we are able to tune the EL on-off ratio by up to 6 orders of magnitude. We further observe that the EL on and off states can be either direct or inverted compared to the tunneling current on and off states. This electroluminescence, combined with the unique RTD properties such as the negative differential resistance (NDR) and high frequency operation, enables the development of high speed functional opto-electronic devices and optical switches.


title: The least doubling constant of a metric measure space

abstract: We study the least doubling constant $C_{(X,d)}$, among all doubling measures $\mu$ supported on a metric space $(X,d)$. In particular, we prove that for every metric space with more than one point, $C_{(X,d)}\ge 2$. We also describe some further properties of $C_{(X,d)}$ and compute its value for several important examples.


title: Lambda-calculus and Reversible Automatic Combinators

abstract: In 2005, Abramsky introduced various linear/affine combinatory algebras of partial involutions over a suitable formal language, to discuss reversible computation in a game-theoretic setting. These algebras arise as instances of the general paradigm explored by Haghverdi (Abramsky's Programme), which amounts to defining a lambda-algebra starting from a GoI Situation in a traced symmetric monoidal category. We investigate this construction from the point of view of the model theory of lambda-calculus. We focus on the strictly linear and affine parts of Abramsky's Affine Combinatory Algebras, sketching how to encompass the full algebra. The gist of our approach is that the GoI interpretation of a term based on involutions is dual to the principal type of the term, w.r.t. the type discipline for a linear/affine lambda-calculus. In the general case the type discipline and the calculus need to be extended, resp., with intersection, !-types, and !-abstractions. Our analysis unveils three conceptually independent, but ultimately equivalent, accounts of application in the lambda-calculus: beta-reduction, the GoI application of involutions based on symmetric feedback (Girard's Execution Formula), and unification of principal types. Thus we provide an answer, in the strictly affine case, to the question raised in [1] of characterising the partial involutions arising from bi-orthogonal pattern matching automata, which are denotations of affine combinators, and we point to the answer to the full question. Furthermore, we prove that the strictly linear combinatory algebra of partial involutions is a strictly linear lambda-algebra, albeit not a combinatory model, while both the strictly affine combinatory algebra and the full affine combinatory algebra are not. To check all the equations involved in the definition of affine lambda-algebra, we implement in Erlang application of involutions.


title: Flux Rope Formation Due to Shearing and Zipper Reconnection

abstract: Zipper reconnection has been proposed as a mechanism for creating most of the twist in the flux tubes that are present prior to eruptive flares and coronal mass ejections. We have conducted a first numerical experiment on this new regime of reconnection, where two initially untwisted parallel flux tubes are sheared and reconnected to form a large flux rope. We describe the properties of this experiment, including the linkage of magnetic flux between concentrated flux sources at the base of the simulation, the twist of the newly formed flux rope and the conversion of mutual magnetic helicity in the sheared pre-reconnection state into the self-helicity of the newly formed flux rope.


title: Optimal Subsampling Algorithms for Big Data Regressions

abstract: To fast approximate maximum likelihood estimators with massive data, this paper studies the Optimal Subsampling Method under the A-optimality Criterion (OSMAC) for generalized linear models. The consistency and asymptotic normality of the estimator from a general subsampling algorithm are established, and optimal subsampling probabilities under the A- and L-optimality criteria are derived. Furthermore, using Frobenius norm matrix concentration inequalities, finite sample properties of the subsample estimator based on optimal subsampling probabilities are also derived. Since the optimal subsampling probabilities depend on the full data estimate, an adaptive two-step algorithm is developed. Asymptotic normality and optimality of the estimator from this adaptive algorithm are established. The proposed methods are illustrated and evaluated through numerical experiments on simulated and real datasets.


title: Agricultural Robotics: The Future of Robotic Agriculture

abstract: Agri-Food is the largest manufacturing sector in the UK. It supports a food chain that generates over {\pounds}108bn p.a., with 3.9m employees in a truly international industry and exports {\pounds}20bn of UK manufactured goods. However, the global food chain is under pressure from population growth, climate change, political pressures affecting migration, population drift from rural to urban regions and the demographics of an aging global population. These challenges are recognised in the UK Industrial Strategy white paper and backed by significant investment via a Wave 2 Industrial Challenge Fund Investment ("Transforming Food Production: from Farm to Fork"). Robotics and Autonomous Systems (RAS) and associated digital technologies are now seen as enablers of this critical food chain transformation. To meet these challenges, this white paper reviews the state of the art in the application of RAS in Agri-Food production and explores research and innovation needs to ensure these technologies reach their full potential and deliver the necessary impacts in the Agri-Food sector.


title: Closing the Generalization Gap of Adaptive Gradient Methods in Training Deep Neural Networks

abstract: Adaptive gradient methods, which adopt historical gradient information to automatically adjust the learning rate, despite the nice property of fast convergence, have been observed to generalize worse than stochastic gradient descent (SGD) with momentum in training deep neural networks. This leaves how to close the generalization gap of adaptive gradient methods an open problem. In this work, we show that adaptive gradient methods such as Adam, Amsgrad, are sometimes "over adapted". We design a new algorithm, called Partially adaptive momentum estimation method, which unifies the Adam/Amsgrad with SGD by introducing a partial adaptive parameter $p$, to achieve the best from both worlds. We also prove the convergence rate of our proposed algorithm to a stationary point in the stochastic nonconvex optimization setting. Experiments on standard benchmarks show that our proposed algorithm can maintain a fast convergence rate as Adam/Amsgrad while generalizing as well as SGD in training deep neural networks. These results would suggest practitioners pick up adaptive gradient methods once again for faster training of deep neural networks.


title: Exponential gaps in the length spectrum

abstract: We present a separation property for the gaps in the length spectrum of a compact Riemannian manifold with negative curvature. In arbitrary small neighborhoods of the metric for some suitable topology, we show that there are negatively curved metrics with a length spectrum exponentially separated from below. This property was previously known to be false generically.


title: Modularity Matters: Learning Invariant Relational Reasoning Tasks

abstract: We focus on two supervised visual reasoning tasks whose labels encode a semantic relational rule between two or more objects in an image: the MNIST Parity task and the colorized Pentomino task. The objects in the images undergo random translation, scaling, rotation and coloring transformations. Thus these tasks involve invariant relational reasoning. We report uneven performance of various deep CNN models on these two tasks. For the MNIST Parity task, we report that the VGG19 model soundly outperforms a family of ResNet models. Moreover, the family of ResNet models exhibits a general sensitivity to random initialization for the MNIST Parity task. For the colorized Pentomino task, now both the VGG19 and ResNet models exhibit sluggish optimization and very poor test generalization, hovering around 30% test error. The CNN we tested all learn hierarchies of fully distributed features and thus encode the distributed representation prior. We are motivated by a hypothesis from cognitive neuroscience which posits that the human visual cortex is modularized, and this allows the visual cortex to learn higher order invariances. To this end, we consider a modularized variant of the ResNet model, referred to as a Residual Mixture Network (ResMixNet) which employs a mixture-of-experts architecture to interleave distributed representations with more specialized, modular representations. We show that very shallow ResMixNets are capable of learning each of the two tasks well, attaining less than 2% and 1% test error on the MNIST Parity and the colorized Pentomino tasks respectively. Most importantly, the ResMixNet models are extremely parameter efficient: generalizing better than various non-modular CNNs that have over 10x the number of parameters. These experimental results support the hypothesis that modularity is a robust prior for learning invariant relational reasoning.


title: Matching Observations to Distributions: Efficient Estimation via Sparsified Hungarian Algorithm

abstract: Suppose we are given observations, where each observation is drawn independently from one of $k$ known distributions. The goal is to match each observation to the distribution from which it was drawn. We observe that the maximum likelihood estimator (MLE) for this problem can be computed using weighted bipartite matching, even when $n$, the number of observations per distribution, exceeds one. This is achieved by instantiating $n$ duplicates of each distribution node. However, in the regime where the number of observations per distribution is much larger than the number of distributions, the Hungarian matching algorithm for computing the weighted bipartite matching requires $\mathcal O(n^3)$ time. We introduce a novel randomized matching algorithm that reduces the runtime to $\tilde{\mathcal O}(n^2)$ by sparsifying the original graph, returning the exact MLE with high probability. Next, we give statistical justification for using the MLE by bounding the excess risk of the MLE, where the loss is defined as the negative log-likelihood. We test these bounds for the case of isotropic Gaussians with equal covariances and whose means are separated by a distance $\eta$, and find (1) that $\gg \log k$ separation suffices to drive the proportion of mismatches of the MLE to 0, and (2) that the expected fraction of mismatched observations goes to zero at rate $\mathcal O({(\log k)}^2/\eta^2)$.


title: Cosmology in a toy model of Lorentz breaking gravity

abstract: We explore cosmological solutions to Lorentz breaking gravity using the gravitational sector of the Standard Model Extension (SME). By using a simple toy model for Lorentz violation and under the assumption that the so-called $\mathfrak{T}$-tensor is covariantly constant, we show that the gravity sector SME influences basic cosmology. If the approach used in this toy model is valid these results should point the way for more sofisticated studies.


title: Epithelial Wound Healing Coordinates Distinct Actin Network Architectures to Conserve Mechanical Work and Balance Power

abstract: How cells with diverse morphologies and cytoskeletal architectures modulate their mechanical behaviors to drive robust collective motion within tissues is poorly understood. During wound repair within epithelial monolayers in vitro, cells coordinate the assembly of branched and bundled actin networks to regulate the total mechanical work produced by collective cell motion. Using traction force microscopy, we show that the balance of actin network architectures optimizes the wound closure rate and the magnitude of the mechanical work. These values are constrained by the effective power exerted by the monolayer, which is conserved and independent of actin architectures. Using a cell-based physical model, we show that the rate at which mechanical work is done by the monolayer is limited by the transformation between actin network architectures and differential regulation of cell-substrate friction. These results and our proposed molecular mechanisms provide a robust quantitative model for how cells collectively coordinate their non-equilibrium behaviors to dynamically regulate tissue-scale mechanical output.


title: Kid-Net: Convolution Networks for Kidney Vessels Segmentation from CT-Volumes

abstract: Semantic image segmentation plays an important role in modeling patient-specific anatomy. We propose a convolution neural network, called Kid-Net, along with a training schema to segment kidney vessels: artery, vein and collecting system. Such segmentation is vital during the surgical planning phase in which medical decisions are made before surgical incision. Our main contribution is developing a training schema that handles unbalanced data, reduces false positives and enables high-resolution segmentation with a limited memory budget. These objectives are attained using dynamic weighting, random sampling and 3D patch segmentation. Manual medical image annotation is both time-consuming and expensive. Kid-Net reduces kidney vessels segmentation time from matter of hours to minutes. It is trained end-to-end using 3D patches from volumetric CT-images. A complete segmentation for a 512x512x512 CT-volume is obtained within a few minutes (1-2 mins) by stitching the output 3D patches together. Feature down-sampling and up-sampling are utilized to achieve higher classification and localization accuracies. Quantitative and qualitative evaluation results on a challenging testing dataset show Kid-Net competence.


title: The Algebraic Connectivity of a Graph and its Complement

abstract: For a graph $G$, let $\lambda_2(G)$ denote its second smallest Laplacian eigenvalue. It was conjectured that $\lambda_2(G) + \lambda_2(\overline G) \ge 1$, where $\overline G$ is the complement of $G$. In this paper, it is shown that $\max\{\lambda_2(G), \lambda_2(\overline G)\} \ge 2/5$.