title: Role of Vanadyl Oxygen in Understanding Metallic Behavior of V2O5(001) Nanorods

abstract: Vanadium pentoxide (V2O5), the most stable member of vanadium oxide family, exhibits interesting semiconductor to metal transition in the temperature range of 530-560 K. The metallic behavior originates because of the reduction of V2O5 through oxygen vacancies. In the present report, V2O5 nanorods in the orthorhombic phase with crystal orientation of (001) are grown using vapor transport process. Among three nonequivalent oxygen atoms in a VO5 pyramidal formula unit in V2O5 structure, the role of terminal vanadyl oxygen (OI) in the formation of metallic phase above the transition temperature is established from the temperature-dependent Raman spectroscopic studies. The origin of the metallic behavior of V2O5 is also understood due to the breakdown of pdpi bond between OI and nearest V atom instigated by the formation of vanadyl OI vacancy, confirmed from the downward shift of the bottom most split-off conduction bands in the material with increasing temperature.


title: Two-photon superbunching of pseudothermal light in a Hanbury Brown-Twiss interferometer

abstract: Two-photon superbunching of pseudothermal light is observed with single-mode continuous-wave laser light in a linear optical system. By adding more two-photon paths via three rotating ground glasses,g(2)(0) = 7.10 is experimentally observed. The second-order temporal coherence function of superbunching pseudothermal light is theoretically and experimentally studied in detail. It is predicted that the degree of coherence of light can be increased dramatically by adding more multi-photon paths. For instance, the degree of the second- and third-order coherence of the superbunching pseudothermal light with five rotating ground glasses can reach 32 and 7776, respectively. The results are helpful to understand the physics of superbunching and to improve the visibility of thermal light ghost imaging.


title: Testing B-violating signatures from Exotic Instantons in future colliders

abstract: We discuss possible implications of Exotic Stringy instantons for Baryon-violating signatures in future colliders. In particular, we discuss high-energy quarks collisions and $\Lambda-\bar{\Lambda}$ transitions. In principle, $\Lambda-\bar{\Lambda}$ process can be probed by high-luminosity electron-positron colliders. However, we find that an extremely high luminosity is needed in order to provide a (somewhat) stringent bound compared to the current data on $NN\rightarrow \pi\pi,KK$. On the other hand, (exotic) instanton-induced six quark interactions can be tested in near future high-energy colliders beyond LHC, at energies around $20-100\, \rm TeV$. Super proton-proton collider (SppC) is capable of such measurement given the proposed energy level of 50-90 TeV. Comparison with other channels is made. In particular, we show the compatibility of our model with neutron-antineutron and $NN\rightarrow \pi\pi,KK$ bounds.


title: Improving the Performance and Endurance of Persistent Memory with Loose-Ordering Consistency

abstract: Persistent memory provides high-performance data persistence at main memory. Memory writes need to be performed in strict order to satisfy storage consistency requirements and enable correct recovery from system crashes. Unfortunately, adhering to such a strict order significantly degrades system performance and persistent memory endurance. This paper introduces a new mechanism, Loose-Ordering Consistency (LOC), that satisfies the ordering requirements at significantly lower performance and endurance loss. LOC consists of two key techniques. First, Eager Commit eliminates the need to perform a persistent commit record write within a transaction. We do so by ensuring that we can determine the status of all committed transactions during recovery by storing necessary metadata information statically with blocks of data written to memory. Second, Speculative Persistence relaxes the write ordering between transactions by allowing writes to be speculatively written to persistent memory. A speculative write is made visible to software only after its associated transaction commits. To enable this, our mechanism supports the tracking of committed transaction ID and multi-versioning in the CPU cache. Our evaluations show that LOC reduces the average performance overhead of memory persistence from 66.9% to 34.9% and the memory write traffic overhead from 17.1% to 3.4% on a variety of workloads.


title: Tverberg-type theorems for matroids: A counterexample and a proof

abstract: B\'ar\'any, Kalai, and Meshulam recently obtained a topological Tverberg-type theorem for matroids, which guarantees multiple coincidences for continuous maps from a matroid complex to d-dimensional Euclidean space, if the matroid has sufficiently many disjoint bases. They make a conjecture on the connectivity of k-fold deleted joins of a matroid with many disjoint bases, which would yield a much tighter result - but we provide a counterexample already for the case of k=2, where a tight Tverberg-type theorem would be a topological Radon theorem for matroids. Nevertheless, we prove the topological Radon theorem for the counterexample family of matroids by an index calculation, despite the failure of the connectivity-based approach.


title: A performance spectrum for parallel computational frameworks that solve PDEs

abstract: Important computational physics problems are often large-scale in nature, and it is highly desirable to have robust and high performing computational frameworks that can quickly address these problems. However, it is no trivial task to determine whether a computational framework is performing efficiently or is scalable. The aim of this paper is to present various strategies for better understanding the performance of any parallel computational frameworks for solving PDEs. Important performance issues that negatively impact time-to-solution are discussed, and we propose a performance spectrum analysis that can enhance one's understanding of critical aforementioned performance issues. As proof of concept, we examine commonly used finite element simulation packages and software and apply the performance spectrum to quickly analyze the performance and scalability across various hardware platforms, software implementations, and numerical discretizations. It is shown that the proposed performance spectrum is a versatile performance model that is not only extendable to more complex PDEs such as hydrostatic ice sheet flow equations, but also useful for understanding hardware performance in a massively parallel computing environment. Potential applications and future extensions of this work are also discussed.


title: Reaction-Diffusion models: From Particle Systems to SDE's

abstract: In this article we present a construction of a family particle systems that converge after scaling to the solution a non-linear SDE of Reaction-Diffusion type.


title: Entropic functionals of Laguerre and Gegenbauer polynomials with large parameters

abstract: The determination of the physical entropies (R\'enyi, Shannon, Tsallis) of high-dimensional quantum systems subject to a central potential requires the knowledge of the asymptotics of some power and logarithmic integral functionals of the hypergeometric orthogonal polynomials which control the wavefunctions of the stationary states. For the $D$-dimensional hydrogenic and oscillator-like systems, the wavefunctions of the corresponding bound states are controlled by the Laguerre ($\mathcal{L}_{m}^{(\alpha)}(x)$) and Gegenbauer ($\mathcal{C}^{(\alpha)}_{m}(x)$) polynomials in both position and momentum spaces, where the parameter $\alpha$ linearly depends on $D$. In this work we study the asymptotic behavior as $\alpha \to \infty$ of the associated entropy-like integral functionals of these two families of hypergeometric polynomials.


title: Elliptic algebra, Frenkel-Kac construction and root of unity limit

abstract: We argue that the level-$1$ elliptic algebra $U_{q,p}(\widehat{\mathfrak{g}})$ is a dynamical symmetry realized as a part of 2d/5d correspondence where the Drinfeld currents are the screening currents to the $q$-Virasoro/W block in the 2d side. For the case of $U_{q,p}(\widehat{\mathfrak{sl}}(2))$, the level-$1$ module has a realization by an elliptic version of the Frenkel-Kac construction. The module admits the action of the deformed Virasoro algebra. In a $r$-th root of unity limit of $p$ with $q^2 \rightarrow 1$, the $\mathbb{Z}_r$-parafermions and a free boson appear and the value of the central charge that we obtain agrees with that of the 2d coset CFT with para-Virasoro symmetry, which corresponds to the 4d $\mathcal{N}=2$ $SU(2)$ gauge theory on $\mathbb{R}^4/\mathbb{Z}_r$.


title: Energetics of charged metal clusters containing vacancies

abstract: We study theoretically large metal clusters containing vacancies. We propose an approach, which combines the Kohn-Sham results for monovacancy in a bulk of metal and analytical expansions in small parameters $c_{v}$ (relative concentration of vacancies) and $R_{N,v}^{-1}$, $R_{N,v}$ being cluster radius. We obtain expressions of the ionization potential and electron affinity in the form of corrections to electron work function, which require only the characteristics of 3D defect-free metal. The Kohn-Sham method is used to calculate the electron profiles, ionization potential, electron affinity, electrical capacitance, dissociation, cohesion and monovacancy-formation energies of the small perfect clusters Na$_{N}$, Mg$_{N}$, Al$_{N}$ ($N \leq 270$) and the clusters containing a monovacancy ($N\geq 12$) in the stabilized-jellium model. The quantum-sized dependences for monovacancy-formation energies are calculated for the Schottky scenario and the "bubble blowing" scenario, and their asymptotic behavior is also determined. It is shown that the asymptotical behaviors of size dependences for these two mechanisms differ from each other and weakly depend on the number of atoms in the cluster. The contribution of monovacancy to energetics of charged clusters, the size dependences of their characteristics and asymptotics is discussed. It is shown that difference between the characteristics for the neutral and charged cluster is entirely determined by size dependences of ionization potential and electron affinity. Obtained analytical dependences may be useful for the analysis of the results of photoionization experiments and for the estimation of the size dependences of the vacancy concentration including the vicinity of the melting point.


title: Diffusion time dependence of microstructural parameters in fixed spinal cord

abstract: Biophysical modelling of diffusion MRI is necessary to provide specific microstructural tissue properties. However, estimating model parameters from data with limited diffusion gradient strength, such as clinical scanners, has proven unreliable due to a shallow optimization landscape. On the other hand, estimation of diffusion kurtosis (DKI) parameters is more robust as the clinical acquisitions typically probe a regime in which the associated 4th order cumulant expansion is adequate; however, its parameters are not microstructurally specific a priori. Given an appropriate biophysical model, its parameters may be connected to DKI parameters, but it was previously shown that at the DKI level, it still does not provide sufficient information to uniquely determine all model parameters. Earlier work has shown that by neglecting axonal dispersion, this parameter degeneracy reduces to the question of whether intra-axonal diffusivity is larger than or smaller than extra-axonal diffusivity. Here we develop a model of diffusion in spinal cord white matter including axonal dispersion and demonstrate stable estimation of all model parameters from DKI. By employing the recently developed fast axisymmetric DKI, we use stimulated echo acquisition mode to collect data over an unprecedented diffusion time range with very narrow diffusion gradient pulses, enabling finely resolved measurements of diffusion time dependence of both net diffusion and kurtosis metrics, as well as model intra- and extra-axonal diffusivities, and axonal dispersion. Our results demonstrate substantial time dependence of all parameters except volume fractions, and the additional time dimension provides support for intra-axonal diffusivity to be larger than extra-axonal diffusivity in spinal cord white matter, although not unambiguously. We compare our findings to predictions from effective medium theory.


title: Lyapunov functions for a non-linear model of the X-ray bursting of the microquasar GRS 1915+105

abstract: This paper introduces a biparametric family of Lyapunov functions for a non-linear mathematical model based on the FitzHugh-Nagumo equations able to reproduce some main features of the X-ray bursting behaviour exhibited by the microquasar GRS 1915+105. These functions are useful to investigate the properties of equilibrium points and allow us to demonstrate a theorem on the global stability. The transition between bursting and stable behaviour is also analyzed.


title: Optical Selection Rules in Spin-Orbit Coupled Systems on Honeycomb Lattice

abstract: We investigate the optical properties in a minimal model of spin-orbit coupled systems on honeycomb lattice at half-filling. The absorption of the circularly polarized light in the charge and antiferromagnetic ordered states is particularly studied, and the spin-valley selective excitation depending on the handedness of the light is found. It is shown that the optical selection rules plainly differ with the type of broken symmetries and topological properties of the electronic states. Consequently, the abrupt change of spin-valley selectivity in the optical absorption occurs at the topological transition caused by changing the magnitude of the order parameters.


title: Inferring and Executing Programs for Visual Reasoning

abstract: Existing methods for visual reasoning attempt to directly map inputs to outputs using black-box architectures without explicitly modeling the underlying reasoning processes. As a result, these black-box models often learn to exploit biases in the data rather than learning to perform visual reasoning. Inspired by module networks, this paper proposes a model for visual reasoning that consists of a program generator that constructs an explicit representation of the reasoning process to be performed, and an execution engine that executes the resulting program to produce an answer. Both the program generator and the execution engine are implemented by neural networks, and are trained using a combination of backpropagation and REINFORCE. Using the CLEVR benchmark for visual reasoning, we show that our model significantly outperforms strong baselines and generalizes better in a variety of settings.


title: 4d isip: 4d implicit surface interest point detection

abstract: In this paper, we propose a new method to detect 4D spatiotemporal interest points though an implicit surface, we refer to as the 4D-ISIP. We use a 3D volume which has a truncated signed distance function(TSDF) for every voxel to represent our 3D object model. The TSDF represents the distance between the spatial points and object surface points which is an implicit surface representation. Our novelty is to detect the points where the local neighborhood has significant variations along both spatial and temporal directions. We established a system to acquire 3D human motion dataset using only one Kinect. Experimental results show that our method can detect 4D-ISIP for different human actions.


title: Optical properties of AlGaN nanowires synthesized via ion beam techniques

abstract: AlGaN plays a vital role in hetero-structure high electron mobility transistor by employing a two-dimensional electron gas and as electron blocking layer in the multi quantum well light emitting diodes. Nevertheless, the incorporation of Al in GaN for the formation of AlGaN alloy is limited by the diffusion barrier formed by instant nitridation of Al adatoms by reactive atomic N. Incorporation of Al above the miscibility limit, however can be achieved by ion beam technique. The well known ion beam mixing (IBM) technique was carried out with the help of Ar+ irradiation for different fluences. A novel approach was also adopted for the synthesis of AlGaN by the process of post irradiation diffusion (PID) as a comparative study with the IBM technique. The optical investigations of AlGaN nanowires, synthesized via two different methods of ion beam processing are reported. The effect of irradiation fluence and post irradiation annealing temperature on the random alloy formation were studied by the vibrational and photoluminescence (PL) spectroscopic studies. Vibrational studies show one-mode phonon behavior corresponding to longitudinal optical (LO) mode of A1 symmetry (A1(LO)) for the wurtzite phase of AlGaN nanowires in the random alloy model. Maximum Al atomic percentage ~6.3-6.7% was calculated with the help of band bowing formalism from the Raman spectral analysis for samples synthesized in IBM and PID processes. PL studies show the extent of defects present in these samples.


title: Optimal quantum observables

abstract: Various forms of optimality for quantum observables described as normalized positive operator valued measures (POVMs) are studied in this paper. We give characterizations for observables that determine the values of the measured quantity with probabilistic certainty or a state of the system before or after the measurement. We investigate observables which are free from noise caused by classical post-processing, mixing, or pre-processing of quantum nature. Especially, a complete characterization of pre-processing and post-processing clean observables is given, and necessary and sufficient conditions are imposed on informationally complete POVMs within the set of pure states. We also discuss joint and sequential measurements of optimal quantum observables.


title: Near Optimal Parallel Algorithms for Dynamic DFS in Undirected Graphs

abstract: Depth first search (DFS) tree is a fundamental data structure for solving graph problems. The classical algorithm [SiComp74] for building a DFS tree requires $O(m+n)$ time for a given graph $G$ having $n$ vertices and $m$ edges. Recently, Baswana et al. [SODA16] presented a simple algorithm for updating DFS tree of an undirected graph after an edge/vertex update in $\tilde{O}(n)$ time. However, their algorithm is strictly sequential. We present an algorithm achieving similar bounds, that can be adopted easily to the parallel environment. In the parallel model, a DFS tree can be computed from scratch using $m$ processors in expected $\tilde{O}(1)$ time [SiComp90] on an EREW PRAM, whereas the best deterministic algorithm takes $\tilde{O}(\sqrt{n})$ time [SiComp90,JAlg93] on a CRCW PRAM. Our algorithm can be used to develop optimal (upto polylog n factors deterministic algorithms for maintaining fully dynamic DFS and fault tolerant DFS, of an undirected graph. 1- Parallel Fully Dynamic DFS: Given an arbitrary online sequence of vertex/edge updates, we can maintain a DFS tree of an undirected graph in $\tilde{O}(1)$ time per update using $m$ processors on an EREW PRAM. 2- Parallel Fault tolerant DFS: An undirected graph can be preprocessed to build a data structure of size O(m) such that for a set of $k$ updates (where $k$ is constant) in the graph, the updated DFS tree can be computed in $\tilde{O}(1)$ time using $n$ processors on an EREW PRAM. Moreover, our fully dynamic DFS algorithm provides, in a seamless manner, nearly optimal (upto polylog n factors) algorithms for maintaining a DFS tree in semi-streaming model and a restricted distributed model. These are the first parallel, semi-streaming and distributed algorithms for maintaining a DFS tree in the dynamic setting.


title: Shuffles of trees

abstract: We discuss a notion of shuffle for trees which extends the usual notion of a shuffle for two natural numbers. We give several equivalent descriptions, and prove some algebraic and combinatorial properties. In addition, we characterize shuffles in terms of open sets in a topological space associated to a pair of trees. Our notion of shuffle is motivated by the theory of operads and occurs in the theory of dendroidal sets, but our presentation is independent and entirely self-contained.


title: Sparse Interacting Gaussian Processes: Efficiency and Optimality Theorems of Autonomous Crowd Navigation

abstract: We study the sparsity and optimality properties of crowd navigation and find that existing techniques do not satisfy both criteria simultaneously: either they achieve optimality with a prohibitive number of samples or tractability assumptions make them fragile to catastrophe. For example, if the human and robot are modeled independently, then tractability is attained but the planner is prone to overcautious or overaggressive behavior. For sampling based motion planning of joint human-robot cost functions, for $n_t$ agents and $T$ step lookahead, $\mathcal O(2^{2n_t T})$ samples are needed for coverage of the action space. Advanced approaches statically partition the action space into free-space and then sample in those convex regions. However, if the human is \emph{moving} into free-space, then the partition is misleading and sampling is unsafe: free space will soon be occupied. We diagnose the cause of these deficiencies---optimization happens over \emph{trajectory} space---and propose a novel solution: optimize over trajectory \emph{distribution} space by using a Gaussian process (GP) basis. We exploit the "kernel trick" of GPs, where a continuum of trajectories are captured with a mean and covariance function. By using the mean and covariance as proxies for a trajectory family we reason about collective trajectory behavior without resorting to sampling. The GP basis is sparse and optimal with respect to collision avoidance and robot and crowd intention and flexibility. GP sparsity leans heavily on the insight that joint action space decomposes into free regions; however, the decomposition contains feasible solutions only if the partition is dynamically generated. We call our approach \emph{$\mathcal O(2^{n_t})$-sparse interacting Gaussian processes}.


title: Robust FEM-based extraction of finite-time coherent sets using scattered, sparse, and incomplete trajectories

abstract: Transport and mixing properties of aperiodic flows are crucial to a dynamical analysis of the flow, and often have to be carried out with limited information. Finite-time coherent sets are regions of the flow that minimally mix with the remainder of the flow domain over the finite period of time considered. In the purely advective setting this is equivalent to identifying sets whose boundary interfaces remain small throughout their finite-time evolution. Finite-time coherent sets thus provide a skeleton of distinct regions around which more turbulent flow occurs. They manifest in geophysical systems in the forms of e.g.\ ocean eddies, ocean gyres, and atmospheric vortices. In real-world settings, often observational data is scattered and sparse, which makes the difficult problem of coherent set identification and tracking even more challenging. We develop three FEM-based numerical methods to efficiently approximate the dynamic Laplace operator, and introduce a new dynamic isoperimetric problem using Dirichlet boundary conditions. Using these FEM-based methods we rapidly and reliably extract finite-time coherent sets from models or scattered, possibly sparse, and possibly incomplete observed data.


title: A quantified Tauberian theorem and local decay of $C_0$-semigroups

abstract: We prove a quantified Tauberian theorem for functions under a new kind of Tauberian condition. In this condition we assume in particular that the Laplace transform of the considered function extends to a domain to the left of the imaginary axis, given in terms of an increasing function $M$ and is bounded at infinity within this domain in terms of a different increasing function $K$. Our result generalizes a result of Batty, Borichev and Tomilov (2016). We also prove that the obtained decay rates are optimal for a very large class of functions $M$ and $K$. Finally we explain in detail how our main result improves known decay rates for the local energy of waves in odd-dimensional exterior domains.


title: Observing the metal-poor solar neighbourhood: a comparison of galactic chemical evolution predictions

abstract: Atmospheric parameters and chemical compositions for ten stars with metallicities in the region of -2.2< [Fe/H] <-0.6 were precisely determined using high resolution, high signal to noise, spectra. For each star the abundances, for 14 to 27 elements, were derived using both LTE and NLTE approaches. In particular, differences by assuming LTE or NLTE are about 0.10 dex; depending on [Fe/H], Teff, gravity and element lines used in the analysis. We find that the O abundance has the largest error, ranging from 0.10 and 0.2 dex. The best measured elements are Cr, Fe, and Mn; with errors etween 0.03 and 0.11 dex. The stars in our sample were included in previous different observational work. We provide a consistent data analysis. The data dispersion introduced in the literature by different techniques and assumptions used by the different authors is within the observational errors, excepting for HD103095. We compare these results with stellar observations from different data sets and a number of theoretical galactic chemical evolution (GCE) simulations. We find a large scatter in the GCE results, used to study the origin of the elements. Within this scatter as found in previous GCE simulations, we cannot reproduce the evolution of the elemental ratios [Sc/Fe], [Ti/Fe], and [V/Fe] at different metallicities. The stellar yields from core collapse supernovae (CCSN) are likely primarily responsible for this discrepancy. Possible solutions and open problems are discussed.


title: Operateurs absolument continus et interpolation

abstract: In the first part of this work, we study the absolutely continuous operators which are defined on fuction spaces with wide sense. In the second part, we show some results concerning the absoltely continuous operators when the function spaces (with wide sense) are interpolation spaces.


title: Time-delayed feedback control of coherence resonance chimeras

abstract: Using the model of a FitzHugh-Nagumo system in the excitable regime we investigate the influence of time-delayed feedback on noise-induced chimera states in a network with nonlocal coupling, i.e., coherence resonance chimeras. It is shown that time-delayed feedback allows for control of the range of parameter values where these chimera states occur. Moreover, for the feedback delay close to the intrinsic period of the system we find a novel regime which we call period-two coherence resonance chimera.


title: A Survey of Deep Learning Methods for Relation Extraction

abstract: Relation Extraction is an important sub-task of Information Extraction which has the potential of employing deep learning (DL) models with the creation of large datasets using distant supervision. In this review, we compare the contributions and pitfalls of the various DL models that have been used for the task, to help guide the path ahead.


title: Lefschetz thimbles in fermionic effective models with repulsive vector-field

abstract: We discuss two problems in complexified auxiliary fields in fermionic effective models, the auxiliary sign problem associated with the repulsive vector-field and the choice of the cut for the scalar field appearing from the logarithmic function. In the fermionic effective models with attractive scalar and repulsive vector-type interaction, the auxiliary scalar and vector fields appear in the path integral after the bosonization of fermion ilinears. When we make the path integral well-defined by the Wick rotation of the vector field, the oscillating Boltzmann weight appears in the partition function. This "auxiliary" sign problem can be solved by using the Lefschetz-thimble path-integral method, where the integration path is constructed in the complex plane. Another serious obstacle in the numerical construction of Lefschetz thimbles is caused by singular points and cuts induced by multivalued functions of the complexified scalar field in the momentum integration. We propose a new prescription which fixes gradient flow trajectories on the same Riemann sheet in the flow evolution by performing the momentum integration in the complex domain.


title: Polynomial processes in stochastic portfolio theory

abstract: We introduce polynomial processes in the sense of [8] in the context of stochastic portfolio theory to model simultaneously companies' market capitalizations and the corresponding market weights. These models substantially extend volatility stabilized market models considered by Robert Fernholz and Ioannis Karatzas in [18], in particular they allow for correlation between the individual stocks. At the same time they remain remarkably tractable which makes them applicable in practice, especially for estimation and calibration to high dimensional equity index data. In the diffusion case we characterize the joint polynomial property of the market capitalizations and the corresponding weights, exploiting the fact that the transformation between absolute and relative quantities perfectly fits the structural properties of polynomial processes. Explicit parameter conditions assuring the existence of a local martingale deflator and relative arbitrages with respect to the market portfolio are given and the connection to non-attainment of the boundary of the unit simplex is discussed. We also consider extensions to models with jumps and the computation of optimal relative arbitrage strategies.


title: Dynamical simplices and Fra\"iss\'e theory

abstract: We simplify a criterion (due to Ibarluc\'ia and the author) which characterizes dynamical simplices, that is, sets $K$ of probability measures on a Cantor space $X$ for which there exists a minimal homeomorphism of $X$ whose set of invariant measures coincides with $K$. We then point out that this criterion is related to Fra\"iss\'e theory, and use that connection to provide a new proof of Downarowicz' theorem stating that any Choquet simplex is affinely homeomorphic to a dynamical simplex. The construction enables us to prove that there exist minimal homeomorphisms of a Cantor space which are speedup equivalent but not orbit equivalent, answering a question of D. Ash.


title: Recovered Finite Element Methods

abstract: We introduce a family of Galerkin finite element methods which are constructed via recovery operators over element-wise discontinuous approximation spaces. This new family, termed collectively as recovered finite element methods (R-FEM) has a number of attractive features over both classical finite element and discontinuous Galerkin approaches, most important of which is its potential to produce stable conforming approximations in a variety of settings. Moreover, for special choices of recovery operators, R-FEM produces the same approximate solution as the classical conforming finite element method, while, trivially, one can recast (primal formulation) discontinuous Galerkin methods. A priori error bounds are shown for linear second order boundary value problems, verifying the optimality of the proposed method. Residual-type a posteriori bounds are also derived, highlighting the potential of R-FEM in the context of adaptive computations. Numerical experiments highlight the good approximation properties of the method in practice. A discussion on the potential use of R-FEM in various settings is also included.


title: Revisit Kerker's conditions by means of the phase diagram

abstract: For passive electromagnetic scatterers, we explore a variety of extreme limits on directional scattering patterns in phase diagram, regardless of details on the geometric configurations and material properties. By demonstrating the extinction cross-sections with the power conservation intrinsically embedded in phase diagram, we give an alternative interpretation for Kerker first and second conditions, associated with zero backward scattering (ZBS) and nearly zero forward scattering (NZFS). The physical boundary and limitation for these directional radiations are illustrated, along with a generalized Kerker condition with implicit parameters. By taking the dispersion relations of gold-silicon core-shell nanoparticles into account, based on the of phase diagram, we reveal the realistic parameters to experimentally implement ZBS and NZFS at optical frequencies.


title: Extracting work from quantum states of radiation

abstract: Quantum optomechanics opens a possibility to mediate a physical connection of quantum optics and classical thermodynamics. We propose and theoretically analyze a one-way chain starting from various quantum states of radiation. In the chain, the radiation state is first ideally swapped to sufficiently large mechanical oscillator (membrane). Then the membrane mechanically pushes a classical almost mass-less piston, which is pressing a gas in a small container. As a result we observe strongly nonlinear and nonmonotonic transfer of the energy stored in classical and quantum uncertainty of radiation to mechanical work. The amount of work and even its sign depends strongly on the uncertainty of the radiation state. Our theoretical prediction would stimulate an experimental proposals for such optomechanical connection to thermodynamics.


title: Optomechanical oscillator controlled by variation in its heat bath temperature

abstract: We propose a generation of a low-noise state of optomechanical oscillator by a temperature dependent force. We analyze the situation in which a quantum optomechanical oscillator (denoted as the membrane) is driven by an external force (produced by the piston). Both systems are embedded in a common heat bath at certain temperature $T$. The driving force the piston exerts on the membrane is bath temperature dependent. Initially, for $T=T_0$, the piston is linearly coupled to the membrane. The bath temperature is then reversibly changed to $T\neq T_0$. The change of temperature shifts the membrane, but simultaneously also increases its fluctuations. The resulting equilibrium state of the membrane is analyzed from the point of view of mechanical, as well as of thermodynamic characteristics. We compare these characteristics of membrane and derive their intimate connection. Next, we cool down the thermal noise of the membrane, bringing it out of equilibrium, still being in the contact with heat bath. This cooling retains the effective canonical Gibbs state with the effective temperature $T^\star$. In such case we study the analogs of the equilibrium quantities for low-noise mechanical states of the membrane.


title: Nucleosynthesis Predictions and High-Precision Deuterium Measurements

abstract: Two new high-precision measurements of the deuterium abundance from absorbers along the line of sight to the quasar PKS1937--1009 were presented. The absorbers have lower neutral hydrogen column densities (N(HI) $\approx$ 18\,cm$^{-2}$) than for previous high-precision measurements, boding well for further extensions of the sample due to the plenitude of low column density absorbers. The total high-precision sample now consists of 12 measurements with a weighted average deuterium abundance of D/H = $2.55\pm0.02\times10^{-5}$. The sample does not favour a dipole similar to the one detected for the fine structure constant. The increased precision also calls for improved nucleosynthesis predictions. For that purpose we have updated the public AlterBBN code including new reactions, updated nuclear reaction rates, and the possibility of adding new physics such as dark matter. The standard Big Bang Nucleosynthesis prediction of D/H = $2.456\pm0.057\times10^{-5}$ is consistent with the observed value within 1.7 standard deviations.


title: Scalar perturbations of nonsingular nonrotating black holes in conformal gravity

abstract: We study scalar and electromagnetic perturbations of a family of nonsingular nonrotating black hole spacetimes that are solutions in a large class of conformally invariant theories of gravity. The effective potential for scalar perturbations depends on the exact form of the scaling factor. Electromagnetic perturbations do not feel the scaling factor, and the corresponding quasinormal mode spectrum is the same as in the Schwarzschild metric. We find that these black hole metrics are stable under scalar and electromagnetic perturbations. Assuming that the quasinormal mode spectrum for scalar perturbations is not too different from that for gravitational perturbations, we can expect that the calculation of the quasinormal mode spectrum and the observation with gravitational wave detectors of quasinormal modes from astrophysical black holes can constrain the scaling factor and test these solutions.


abstract: Discussion on "Sparse graphs using exchangeable random measures" by F. Caron and E. B. Fox. In this discussion we contribute to the analysis of the GGP model as compared to the Erdos-Renyi (ER) and the preferential attachment (AB) models, using different measures such as number of connected components, global clustering coefficient, assortativity coefficient and share of nodes in the core.


title: Linear Quadratic Optimal Control Problems with Fixed Terminal States and Integral Quadratic Constraints

abstract: This paper is concerned with a linear quadratic (LQ, for short) optimal control problem with fixed terminal states and integral quadratic constraints. A Riccati equation with infinite terminal value is introduced, which is uniquely solvable and whose solution can be approximated by the solution for a suitable unconstrained LQ problem with penalized terminal state. Using results from duality theory, the optimal control is explicitly derived by solving the Riccati equation together with an optimal parameter selection problem. It turns out that the optimal control is not only a feedback of the current state, but also a feedback of the target (terminal state). Some examples are presented to illustrate the theory developed.


title: Search for GeV counterparts to fast radio bursts with Fermi

abstract: The non-repeating fast radio bursts (FRBs) could arise from catastrophic stellar explosions or magnetar giant flares, so relativistic blast waves might be produced in these events. Motivated by this, we here search for GeV counterparts to all non-repeating FRBs with Fermi Large Area Telescope (LAT), including FRB 131104 that is claimed to be possibly associated with a gamma-ray transient candidate detected by Swift Burst Alert Telescope (BAT). FRB 131104 enters the field of view (FoV) of LAT ~5000s after the burst time, so we are only able to search for the GeV afterglow emission during this period, but no significant GeV emission is detected. We also perform a search for GeV emissions from other FRBs, but no significant GeV emissions are detected either. Upper limit fluences in the range of (4.7-29.2)x10^(-7) erg/cm2 are obtained, and then the upper limits of the isotropic blast wave kinetic energy of about (1-200)x10^(53) erg are inferred under certain assumptions. Although the current limits on the isotropic blast wave energy are not sufficiently stringent to rule out the connection between FRBs and GRB-like transients, future more sensitive observations with Fermi or Imaging Atmospheric Cherenkov Telescopes might be able to constrain the connection.


title: A Formal Approach to Exploiting Multi-Stage Attacks based on File-System Vulnerabilities of Web Applications (Extended Version)

abstract: Web applications require access to the file-system for many different tasks. When analyzing the security of a web application, secu- rity analysts should thus consider the impact that file-system operations have on the security of the whole application. Moreover, the analysis should take into consideration how file-system vulnerabilities might in- teract with other vulnerabilities leading an attacker to breach into the web application. In this paper, we first propose a classification of file- system vulnerabilities, and then, based on this classification, we present a formal approach that allows one to exploit file-system vulnerabilities. We give a formal representation of web applications, databases and file- systems, and show how to reason about file-system vulnerabilities. We also show how to combine file-system vulnerabilities and SQL-Injection vulnerabilities for the identification of complex, multi-stage attacks. We have developed an automatic tool that implements our approach and we show its efficiency by discussing several real-world case studies, which are witness to the fact that our tool can generate, and exploit, complex attacks that, to the best of our knowledge, no other state-of-the-art-tool for the security of web applications can find.


abstract: Discussion on "Random-projection ensemble classification" by T. Cannings and R. Samworth. We believe that the proposed approach can find many applications in economics such as credit scoring (e.g. Altman (1968)) and can be extended to more general type of classifiers. In this discussion we would like to draw authors attention to the copula-based discriminant analysis (Han et al. (2013) and He et al. (2016)).


title: On some results for meromorphic univalent functions having quasiconformal extension

abstract: We consider the class $\Sigma(p)$ of univalent meromorphic functions $f$ on $\ID$ having simple pole at $z=p\in[0,1)$ with residue 1. Let $\Sigma_k(p)$ be the class of functions in $\Sigma(p)$ which have $k$-quasiconformal extension to the extended complex plane $\sphere$ %with $q=\frac{1+k}{1-k}$ where $0\leq k < 1$. We first give a representation formula for functions in this class and using this formula we derive an asymptotic estimate of the Laurent coefficients for the functions in the class $\Sigma_k(p)$. Thereafter we give a sufficient condition for functions in $\Sigma(p)$ to belong in the class $\Sigma_k(p).$ Finally we obtain a sharp distortion result for functions in $\Sigma(p)$ and as a consequence, we get a distortion estimate for functions in $\Sigma_k(p).$


title: Negative mobility of a Brownian particle: strong damping regime

abstract: We study impact of inertia on directed transport of a Brownian particle under non-equilibrium conditions: the particle moves in a one-dimensional periodic and symmetric potential, is driven by both an unbiased time-periodic force and a constant force, and is coupled to a thermostat of temperature T. Within selected parameter regimes this system exhibits negative mobility, which means that the particle moves in the direction opposite to the direction of the constant force. It is known that in such a setup the inertial term is essential for the emergence of negative mobility and it cannot be detected in the limiting case of overdamped dynamics. We analyse inertial effects and show that negative mobility can be observed even in the strong damping regime. We determine the optimal dimensionless mass for the presence of negative mobility and reveal three mechanisms standing behind this anomaly: deterministic chaotic, thermal noise induced and deterministic non-chaotic. The last origin has never been reported. It may provide guidance to the possibility of observation of negative mobility for strongly damped dynamics which is of fundamental importance from the point of view of biological systems, all of which in situ operate in fluctuating environments.


title: Exact results in Floquet coin toss for driven integrable models

abstract: We study an integrable Hamiltonian reducible to free fermions which is subjected to an imperfect periodic driving with the amplitude of driving (or kicking) randomly chosen from a binary distribution like a coin-toss problem. The randomness present in the driving protocol destabilises the periodic steady state, reached in the limit of perfectly periodic driving, leading to a monotonic rise of the stroboscopic residual energy with the number of periods ($N$). We establish that a minimal deviation from the perfectly periodic driving would always result in a {\it bounded} heating up of the system with $N$ to an asymptotic finite value. Remarkably, exploiting the completely uncorrelated nature of the randomness and the knowledge of the stroboscopic Floquet operator in the perfectly periodic situation, we provide an exact analytical formalism to derive the disorder averaged expectation value of the residual energy through a {\it disorder operator}. This formalism not only leads to an immense numerical simplification, but also enables us to derive an exact analytical form for the residual energy in the asymptotic limit which is universal, i.e, independent of the bias of coin-toss and the protocol chosen. Furthermore, this formalism clearly establishes the nature of the monotonic growth of the residual energy at intermediate $N$ while clearly revealing the possible non-universal behaviour of the same.


title: Criteria for univalence, Integral means and Dirichlet integral for Meromorphic functions

abstract: Let $\mathcal{A}(p)$ be the class consisting of functions $f$ that are holomorphic in $\ID\setminus \{p\}$, $p\in (0,1)$ possessing a simple pole at the point $z=p$ with nonzero residue and normalized by the condition $f(0)=0=f'(0)-1$. In this article, we first prove a sufficient condition for univalency for functions in $\mathcal{A}(p)$. Thereafter, we consider the class denoted by $\Sigma(p)$ that consists of functions $f \in \mathcal{A}(p)$ that are univalent in $\ID$. We obtain the exact value for $\ds\max_ {f\in \Sigma(p)}\Delta(r,z/f)$, where the Dirichlet integral $\Delta(r,z/f)$ is given by $$ \Delta(r,z/f)=\ds\iint_{|z|<r} |\left(z/f(z)\right)'|^2 \,dx\, dy, \quad(z=x+iy),~0<r\leq 1. $$ We also obtain a sharp estimate for $\Delta(r,z/f)$ whenever $f$ belongs to certain subclasses of $\Sigma(p)$. Furthermore, we obtain sharp estimates of the integral means for the aforementioned classes of functions.


title: Rigidity of branching microstructures in shape memory alloys

abstract: We analyze generic sequences for which the geometrically linear energy \[E_\eta(u,\chi):= \eta^{-\frac{2}{3}}\int_{B_{0}(1)} \left| e(u)- \sum_{i=1}^3 \chi_ie_i\right|^2 d x+\eta^\frac{1}{3} \sum_{i=1}^3 |D\chi_i|(B_{0}(1))\] remains bounded in the limit $\eta \to 0$. Here $ e(u) :=1/2(Du + Du^T)$ is the (linearized) strain of the displacement $u$, the strains $e_i$ correspond to the martensite strains of a shape memory alloy undergoing cubic-to-tetragonal transformations and $\chi_i:B_{0}(1) \to \{0,1\}$ is the partition into phases. In this regime it is known that in addition to simple laminates also branched structures are possible, which if austenite was present would enable the alloy to form habit planes. In an ansatz-free manner we prove that the alignment of macroscopic interfaces between martensite twins is as predicted by well-known rank-one conditions. Our proof proceeds via the non-convex, non-discrete-valued differential inclusion \[e(u) \in \bigcup_{1\leq i\neq j\leq 3} \operatorname{conv} \{e_i,e_j\}\] satisfied by the weak limits of bounded energy sequences and of which we classify all solutions. In particular, there exist no convex integration solutions of the inclusion with complicated geometric structures.


title: Focusing and sorting of ellipsoidal magnetic particles in microchannels

abstract: We present a simple method to control the position of ellipsoidal magnetic particles in microchannel Poiseuille flow using a static uniform magnetic field. The magnetic field is utilized to pin the particle orientation, and the hydrodynamic interactions between ellipsoids and channel walls allow control of the transverse position of the particles. We employ a far-field hydrodynamic theory and simulations using the boundary element method and Brownian dynamics to show how magnetic particles can be focussed and segregated by size and shape. This is of importance for particle manipulation in lab-on-a-chip devices.


title: Hybrid PDE solver for data-driven problems and modern branching

abstract: The numerical solution of large-scale PDEs, such as those occurring in data-driven applications, unavoidably require powerful parallel computers and tailored parallel algorithms to make the best possible use of them. In fact, considerations about the parallelization and scalability of realistic problems are often critical enough to warrant acknowledgement in the modelling phase. The purpose of this paper is to spread awareness of the Probabilistic Domain Decomposition (PDD) method, a fresh approach to the parallelization of PDEs with excellent scalability properties. The idea exploits the stochastic representation of the PDE and its approximation via Monte Carlo in combination with deterministic high-performance PDE solvers. We describe the ingredients of PDD and its applicability in the scope of data science. In particular, we highlight recent advances in stochastic representations for nonlinear PDEs using branching diffusions, which have significantly broadened the scope of PDD. We envision this work as a dictionary giving large-scale PDE practitioners references on the very latest algorithms and techniques of a non-standard, yet highly parallelizable, methodology at the interface of deterministic and probabilistic numerical methods. We close this work with an invitation to the fully nonlinear case and open research questions.


title: TSFC: a structure-preserving form compiler

abstract: A form compiler takes a high-level description of the weak form of partial differential equations and produces low-level code that carries out the finite element assembly. In this paper we present the Two-Stage Form Compiler (TSFC), a new form compiler with the main motivation to maintain the structure of the input expression as long as possible. This facilitates the application of optimizations at the highest possible level of abstraction. TSFC features a novel, structure-preserving method for separating the contributions of a form to the subblocks of the local tensor in discontinuous Galerkin problems. This enables us to preserve the tensor structure of expressions longer through the compilation process than other form compilers. This is also achieved in part by a two-stage approach that cleanly separates the lowering of finite element constructs to tensor algebra in the first stage, from the scheduling of those tensor operations in the second stage. TSFC also efficiently traverses complicated expressions, and experimental evaluation demonstrates good compile-time performance even for highly complex forms.


title: Accurate ranking of influential spreaders in networks based on dynamically asymmetric link-impact

abstract: We propose an efficient and accurate measure for ranking spreaders and identifying the influential ones in spreading processes in networks. While the edges determine the connections among the nodes, their specific role in spreading should be considered explicitly. An edge connecting nodes i and j may differ in its importance for spreading from i to j and from j to i. The key issue is whether node j, after infected by i through the edge, would reach out to other nodes that i itself could not reach directly. It becomes necessary to invoke two unequal weights wij and wji characterizing the importance of an edge according to the neighborhoods of nodes i and j. The total asymmetric directional weights originating from a node leads to a novel measure si which quantifies the impact of the node in spreading processes. A s-shell decomposition scheme further assigns a s-shell index or weighted coreness to the nodes. The effectiveness and accuracy of rankings based on si and the weighted coreness are demonstrated by applying them to nine real-world networks. Results show that they generally outperform rankings based on the nodes' degree and k-shell index, while maintaining a low computational complexity. Our work represents a crucial step towards understanding and controlling the spread of diseases, rumors, information, trends, and innovations in networks.


title: Mind the Gap: A Well Log Data Analysis

abstract: The main task in oil and gas exploration is to gain an understanding of the distribution and nature of rocks and fluids in the subsurface. Well logs are records of petro-physical data acquired along a borehole, providing direct information about what is in the subsurface. The data collected by logging wells can have significant economic consequences, due to the costs inherent to drilling wells, and the potential return of oil deposits. In this paper, we describe preliminary work aimed at building a general framework for well log prediction. First, we perform a descriptive and exploratory analysis of the gaps in the neutron porosity logs of more than a thousand wells in the North Sea. Then, we generate artificial gaps in the neutron logs that reflect the statistics collected before. Finally, we compare Artificial Neural Networks, Random Forests, and three algorithms of Linear Regression in the prediction of missing gaps on a well-by-well basis.


title: Deep Speaker Feature Learning for Text-independent Speaker Verification

abstract: Recently deep neural networks (DNNs) have been used to learn speaker features. However, the quality of the learned features is not sufficiently good, so a complex back-end model, either neural or probabilistic, has to be used to address the residual uncertainty when applied to speaker verification, just as with raw features. This paper presents a convolutional time-delay deep neural network structure (CT-DNN) for speaker feature learning. Our experimental results on the Fisher database demonstrated that this CT-DNN can produce high-quality speaker features: even with a single feature (0.3 seconds including the context), the EER can be as low as 7.68%. This effectively confirmed that the speaker trait is largely a deterministic short-time property rather than a long-time distributional pattern, and therefore can be extracted from just dozens of frames.


title: On the rank of universal quadratic forms over real quadratic fields

abstract: We study the minimal number of variables required by a totally positive definite diagonal universal quadratic form over a real quadratic field $\mathbb Q(\sqrt D)$ and obtain lower and upper bounds for it in terms of certain sums of coefficients of the associated continued fraction. We also estimate such sums in terms of $D$ and establish a link between continued fraction expansions and special values of $L$-functions in the spirit of Kronecker's limit formula.


title: Single magnetic adsorbates on s-wave superconductors

abstract: In superconductors, magnetic impurities induce a pair-breaking potential for Cooper pairs, which locally affects the Bogoliubov quasiparticles and gives rise to Yu-Shiba-Rusinov (YSR or Shiba, in short) bound states in the density of states (DoS). These states carry information on the magnetic coupling strength of the impurity with the superconductor, which determines the many-body ground state properties of the system. Recently, the interest in Shiba physics was boosted by the prediction of topological superconductivity and Majorana modes in magnetically coupled chains and arrays of Shiba impurities. Here, we review the physical insights obtained by scanning tunneling microscopy into single magnetic adsorbates on the $s$-wave superconductor lead (Pb). We explore the tunneling processes into Shiba states, show how magnetic anisotropy affects many-body excitations, and determine the crossing of the many-body groundstate through a quantum phase transition. Finally, we discuss the coupling of impurities into dimers and chains and their relation to Majorana physics.


title: The Complexity of Routing with Few Collisions

abstract: We study the computational complexity of routing multiple objects through a network in such a way that only few collisions occur: Given a graph $G$ with two distinct terminal vertices and two positive integers $p$ and $k$, the question is whether one can connect the terminals by at least $p$ routes (e.g. paths) such that at most $k$ edges are time-wise shared among them. We study three types of routes: traverse each vertex at most once (paths), each edge at most once (trails), or no such restrictions (walks). We prove that for paths and trails the problem is NP-complete on undirected and directed graphs even if $k$ is constant or the maximum vertex degree in the input graph is constant. For walks, however, it is solvable in polynomial time on undirected graphs for arbitrary $k$ and on directed graphs if $k$ is constant. We additionally study for all route types a variant of the problem where the maximum length of a route is restricted by some given upper bound. We prove that this length-restricted variant has the same complexity classification with respect to paths and trails, but for walks it becomes NP-complete on undirected graphs.


title: Constant mean curvature foliation of globally hyperbolic (2+1)-spacetimes with particles

abstract: Let $M$ be a globally hyperbolic maximal compact $3$-dimensional spacetime locally modelled on Minkowski, anti-de Sitter or de Sitter space. It is well known that $M$ admits a unique foliation by constant mean curvature surfaces. In this paper we extend this result to singular spacetimes with particles (cone singularities of angles less than $\pi$ along time-like geodesics).


title: On sufficient conditions for rainbow cycles in edge-colored graphs

abstract: Let $G$ be an edge-colored graph. We use $e(G)$ and $c(G)$ to denote the number of edges of $G$ and the number of colors appearing on $E(G)$, respectively. For a vertex $v\in V(G)$, the \emph{color neighborhood} of $v$ is defined as the set of colors assigned to the edges incident to $v$. A subgraph of $G$ is \emph{rainbow} if all of its edges are assigned with distinct colors. The well-known Mantel's theorem states that a graph $G$ on $n$ vertices contains a triangle if $e(G)\geq\lfloor\frac{n^2}{4}\rfloor+1$. Rademacher (1941) showed that $G$ contains at least $\lfloor\frac{n}{2}\rfloor$ triangles under the same condition. Li, Ning, Xu and Zhang (2014) proved a rainbow version of Mantel's theorem: An edge-colored graph $G$ has a rainbow triangle if $e(G)+c(G)\geq n(n+1)/2$. In this paper, we first characterize all graphs $G$ satisfying $e(G)+c(G)\geq n(n+1)/2-1$ but containing no rainbow triangles. Motivated by Rademacher's theorem, we then characterize all graphs $G$ which satisfy $e(G)+c(G)\geq n(n+1)/2$ but contain only one rainbow triangle. We further obtain two results on color neighborhood conditions for the existence of rainbow short cycles. Our results improve a previous theorem due to Broersma, Li, Woeginger, and Zhang (2005). Moreover, we provide a sufficient condition in terms of color neighborhood for the existence of a specified number of vertex-disjoint rainbow cycles.


title: Mixing and transport of dust in the early solar nebula as inferred from titanium isotope variations among chondrules

abstract: Chondrules formed by the melting of dust aggregates in the solar protoplanetary disk and as such provide unique insights into how solid material was transported and mixed within the disk. Here we show that chondrules from enstatite and ordinary chondrites show only small 50Ti variations and scatter closely around the 50Ti composition of their host chondrites. By contrast, chondrules from carbonaceous chondrites have highly variable 50Ti compositions, which, relative to the terrestrial standard, range from the small 50Ti deficits measured for enstatite and ordinary chondrite chondrules to the large 50Ti excesses known from Ca-Al-rich inclusions (CAIs). These 50Ti variations can be attributed to the addition of isotopically heterogeneous CAI-like material to enstatite and ordinary chondrite-like chondrule precursors. The new Ti isotopic data demonstrate that isotopic variations among carbonaceous chondrite chondrules do not require formation over a wide range of orbital distances, but can instead be fully accounted for by the incorporation of isotopically anomalous nuggets into chondrule precursors. As such, these data obviate the need for disk-wide transport of chondrules prior to chondrite parent body accretion and are consistent with formation of chondrules from a given chondrite group in localized regions of the disk. Lastly, the ubiquitous presence of 50Ti-enriched material in carbonaceous chondrites, and the lack of this material in the non-carbonaceous chondrites support the idea that these two meteorite groups derive from areas of the disk that remained isolated from each other through the formation of Jupiter.


title: Reopen parameter regions in Two-Higgs Doublet Models

abstract: The stability of the electroweak potential is a very important constraint for models of new physics. At the moment, it is standard for Two-Higgs doublet models (THDM), singlet or triplet extensions of the standard model to perform these checks at tree-level. However, these models are often studied in the presence of very large couplings. Therefore, it can be expected that radiative corrections to the potential are important. We study these effects at the example of the THDM type-II and find that loop corrections can revive more than 50% of the phenomenological viable points which are ruled out by the tree-level vacuum stability checks. Similar effects are expected for other extension of the standard model.


title: Context-aware stacked convolutional neural networks for classification of breast carcinomas in whole-slide histopathology images

abstract: Automated classification of histopathological whole-slide images (WSI) of breast tissue requires analysis at very high resolutions with a large contextual area. In this paper, we present context-aware stacked convolutional neural networks (CNN) for classification of breast WSIs into normal/benign, ductal carcinoma in situ (DCIS), and invasive ductal carcinoma (IDC). We first train a CNN using high pixel resolution patches to capture cellular level information. The feature responses generated by this model are then fed as input to a second CNN, stacked on top of the first. Training of this stacked architecture with large input patches enables learning of fine-grained (cellular) details and global interdependence of tissue structures. Our system is trained and evaluated on a dataset containing 221 WSIs of H&E stained breast tissue specimens. The system achieves an AUC of 0.962 for the binary classification of non-malignant and malignant slides and obtains a three class accuracy of 81.3% for classification of WSIs into normal/benign, DCIS, and IDC, demonstrating its potentials for routine diagnostics.


title: Multi-mode and long-lived quantum correlations between photons and spins in a crystal

abstract: The realization of quantum networks and quantum repeaters remains an outstanding challenge in quantum communication. These rely on entanglement of remote matter systems, which in turn requires creation of quantum correlations between a single photon and a matter system. A practical way to establish such correlations is via spontaneous Raman scattering in atomic ensembles, known as the DLCZ scheme. However, time multiplexing is inherently difficult using this method, which leads to low communication rates even in theory. Moreover, it is desirable to find solid-state ensembles where such matter-photon correlations could be generated. Here we demonstrate quantum correlations between a single photon and a spin excitation in up to 12 temporal modes, in a $^{151}$Eu$^{3+}$ doped Y$_2$SiO$_5$ crystal, using a novel DLCZ approach that is inherently multimode. After a storage time of 1 ms, the spin excitation is converted into a second photon. The quantum correlation of the generated photon pair is verified by violating a Cauchy - Schwarz inequality. Our results show that solid-state rare-earth crystals could be used to generate remote multi-mode entanglement, an important resource for future quantum networks.


title: Overdensities of SMGs around WISE-selected, ultra-luminous, high-redshift AGN

abstract: We investigate extremely luminous dusty galaxies in the environments around WISE-selected hot dust obscured galaxies (Hot DOGs) and WISE/radio-selected active galactic nuclei (AGNs) at average redshifts of z = 2.7 and z = 1.7, respectively. Previous observations have detected overdensities of companion submillimetre-selected sources around 10 Hot DOGs and 30 WISE/radio AGNs, with overdensities of ~ 2 - 3 and ~ 5 - 6 , respectively. We find that the space densities in both samples to be overdense compared to normal star-forming galaxies and submillimetre galaxies (SMGs) in the SCUBA-2 Cosmology Legacy Survey (S2CLS). Both samples of companion sources have consistent mid-IR colours and mid-IR to submm ratios as SMGs. The brighter population around WISE/radio AGNs could be responsible for the higher overdensity reported. We also find the star formation rate density (SFRDs) are higher than the field, but consistent with clusters of dusty galaxies. WISE-selected AGNs appear to be good signposts for protoclusters at high redshift on arcmin scales. The results reported here provide an upper limit to the strength of angular clustering using the two-point correlation function. Monte Carlo simulations show no angular correlation, which could indicate protoclusters on scales larger than the SCUBA-2 1.5arcmin scale maps.


title: Solid state source of non-classical photon pairs with embedded multimode quantum memory

abstract: The generation and distribution of quantum correlations between photonic qubits is a key resource in quantum information science. For applications in quantum networks and quantum repeaters, it is required that these quantum correlations be stored in a quantum memory. In 2001, Duan, Lukin, Cirac, and Zoller (DLCZ) proposed a scheme combining a correlated photon-pair source and a quantum memory in atomic gases, which has enabled fast progress towards elementary quantum networks. In this letter, we demonstrate a solid state source of correlated photon pairs with embedded spin-wave quantum memory, using a rare-earth doped crystal. We show strong quantum orrelations between the photons, high enough for performing quantum communication. Unlike the original DLCZ proposal, our scheme is inherently multimode thanks to a built-in rephasing mechanism, allowing us to demonstrate storage of 11 temporal modes. These results represent an important step towards the realization of complex quantum networks architectures using solid-state resources.


title: DW UMa and the Irradiation Modulated Mass Transfer Model for Superhumps

abstract: The light curves of the permanent superhumper DW UMa are analyzed in order to determine the amplitudes of its superhumps, $A_{SH}$, and the amplitudes of the periodic light variations with the beat period -- the {\it irradiation amplitudes}, $A_{irr}$. The resulting values of $A_{SH}$ and $A_{irr}$, together with other values from the literature, turn out to be correlated thereby confirming the irradiation modulated mass transfer model for superhumps.


title: Chiral Battery, scaling laws and magnetic fields

abstract: We study the generation and evolution of magnetic field in the presence of chiral imbalance and gravitational anomaly which gives an additional contribution to the vortical current. The contribution due to gravitational anomaly is proportional to $T^2$ which can generate a seed magnetic field irrespective of plasma being hirally charged or neutral. We estimate the order of magnitude of the magnetic field to be $10^{30}$~G at $T\sim 10^9$ GeV, with a typical length scale of the order of $10^{-18}$ cm, which is much smaller than the Hubble radius at that temperature ($10^{-8}$ cm). Moreover, such a system possesses scaling symmetry. We show that the $T^2$ term in the vorticity current along with scaling symmetry leads to more power transfer from lower to higher length scale as compared to only chiral anomaly without scaling symmetry.


title: Fourier-Correlation Imaging

abstract: We investigate to what extent correlating the Fourier components at slightly shifted frequencies of the fluctuations of the electric field measured with a one-dimensional antenna array on board of a satellite flying over a plane, allows one to measure the two-dimensional brilliance temperature as function of position in the plane. We find that the achievable spatial resolution resulting from just two antennas is of the order of $h\chi$, with $\chi=c/(\Delta r \omega_0)$, both in the direction of flight of the satellite and in the direction perpendicular to it, where $\Delta r$ is the distance between the antennas, $\omega_0$ the central frequency, $h$ the height of the satellite over the plane, and $c$ the speed of light. Two antennas separated by a distance of about 100m on a satellite flying with a speed of a few km/s at a height of the order of 1000km and a central frequency of order GHz allow therefore the imaging of the brilliance temperature on the surface of Earth with a resolution of the order of one km. For a single point source, the relative radiometric resolution is of order $\sqrt{\chi}$, but for a uniform temperature field in a half plane left or right of the satellite track it is only of order $1/\chi^{3/2}$, indicating that two antennas do not suffice for a precise reconstruction of the temperature field. Several ideas are discussed how the radiometric resolution could be enhanced. In particular, having $N$ antennas all separated by at least a distance of the order of the wave-length, allows one to increase the signal-to-noise ratio by a factor of order $N$, but requires to average over $N^2$ temperature profiles obtained from as many pairs of antennas.


title: Total $\pi^+ p$ cross section extracted from the leading neutron spectra at the LHC

abstract: We use the very forward neutron energy spectra measured by the Large Hadron Collider forward (LHCf) experiment at 7 TeV to extract the $\pi^+ p$ total cross section at centre-of-mass energies in the range 2.3$-$3.5 TeV. To do this we have to first isolate the $\pi$-exchange pole in forward neutron production in $pp$ collisions, by evaluating other possible contributions. Namely, those from $\rho$ and $a_2$ exchange, from both eikonal and enhanced screening effects, from migration, from neutron production by $\Delta$-isobar decay and from diffractive nucleon excitations. We discuss the possible theoretical uncertainties due to the fact that the data do not exactly reach the $\pi$ pole. We choose the kinematical domain where the pion contribution dominates and demonstrate the role of the different corrections which could affect the final result.


title: Benchmark Graphs for Practical Graph Isomorphism

abstract: The state-of-the-art solvers for the graph isomorphism problem can readily solve generic instances with tens of thousands of vertices. Indeed, experiments show that on inputs without particular combinatorial structure the algorithms scale almost linearly. In fact, it is non-trivial to create challenging instances for such solvers and the number of difficult benchmark graphs available is quite limited. We describe a construction to efficiently generate small instances for the graph isomorphism problem that are difficult or even infeasible for said solvers. Up to this point the only other available instances posing challenges for isomorphism solvers were certain incidence structures of combinatorial objects (such as projective planes, Hadamard matrices, Latin squares, etc.). Experiments show that starting from 1500 vertices our new instances are several orders of magnitude more difficult on comparable input sizes. More importantly, our method is generic and efficient in the sense that one can quickly create many isomorphism instances on a desired number of vertices. In contrast to this, said combinatorial objects are rare and difficult to generate and with the new construction it is possible to generate an abundance of instances of arbitrary size. Our construction hinges on the multipedes of Gurevich and Shelah and the Cai-F\"{u}rer-Immerman gadgets that realize a certain abelian automorphism group and have repeatedly played a role in the context of graph isomorphism. Exploring limits of such constructions, we also explain that there are group theoretic obstructions to generalizing the construction with non-abelian gadgets.


title: Optimal measurements for simultaneous quantum estimation of multiple phases

abstract: A quantum theory of multiphase estimation is crucial for quantum-enhanced sensing and imaging and may link quantum metrology to more complex quantum computation and communication protocols. In this letter we tackle one of the key difficulties of multiphase estimation: obtaining a measurement which saturates the fundamental sensitivity bounds. We derive necessary and sufficient conditions for projective measurements acting on pure states to saturate the maximal theoretical bound on precision given by the quantum Fisher information matrix. We apply our theory to the specific example of interferometric phase estimation using photon number measurements, a convenient choice in the laboratory. Our results thus introduce concepts and methods relevant to the future theoretical and experimental development of multiparameter estimation.


title: The Perimeter of Proper Polycubes

abstract: We derive formulas for the number of polycubes of size $n$ and perimeter $t$ that are proper in $n-1$ and $n-2$ dimensions. These formulas complement computer based enumerations of perimeter polynomials in percolation problems. We demonstrate this by computing the perimeter polynomial for $n=12$ in arbitrary dimension $d$.


title: New Old Mechanism of Dark Matter Burning

abstract: Recently several papers have been published, where "a new mechanism" of dark matter burning and freezing is suggested. The usual two-body annihilation process is generalized to multi-body initial states, mostly three-body. These processes have quite a few interesting cosmological implications. I want to indicate here that such a process was studied in 1980 to determine the cosmological number density of the so called theta-particles. The file of the translated into English original paper and the reference to the published English version are attached.


title: On thermal diffusion and gauge transformations for thermodynamic fluxes and forces

abstract: We discuss the molecular diffusion transport in infinitely dilute liquid solutions under non-isothermal conditions. This discussion is motivated by an occurring misinterpretation of thermodynamic transport equations written in terms of chemical potential in the presence of temperature gradient. The transport equations contain the contributions owned by a gauge transformation related to the fact that chemical potential is determined up to the summand of form (AT+B) with arbitrary constants A and B, where constant A is owned by the entropy invariance with respect to shifts by a constant value and B is owned by the potential energy invariance with respect to shifts by a constant value. The coefficients of the cross-effect terms in thermodynamic fluxes are contributed by this gauge transformation and, generally, are not the actual cross-effect physical transport coefficients. Our treatment is based on consideration of the entropy balance and suggests a promising hint for attempts of evaluation of the thermal diffusion constant from the first principles. We also discuss the impossibility of the "barodiffusion" for dilute solutions, understood in a sense of diffusion flux driven by the pressure gradient itself. When one speaks of "barodiffusion" terms in literature, these terms typically represent the drift in external potential force field (e.g., electric or gravitational fields), where in the final equations the specific force on molecules is substituted with an expression with the hydrostatic pressure gradient this external force field produces. Obviously, the interpretation of the latter as barodiffusion is fragile and may hinder the accounting for the diffusion fluxes produced by the pressure gradient itself.


title: Visualization of Wearable Data and Biometrics for Analysis and Recommendations in Childhood Obesity

abstract: Obesity is one of the major health risk factors be- hind the rise of non-communicable conditions. Understanding the factors influencing obesity is very complex since there are many variables that can affect the health behaviors leading to it. Nowadays, multiple data sources can be used to study health behaviors, such as wearable sensors for physical activity and sleep, social media, mobile and health data. In this paper we describe the design of a dashboard for the visualization of actigraphy and biometric data from a childhood obesity camp in Qatar. This dashboard allows quantitative discoveries that can be used to guide patient behavior and orient qualitative research.


title: Phenomenology of a Neutrino-DM Coupling: The Scalar Case

abstract: Dark matter (DM) and neutrinos are the two most compelling pieces of evidence of new physics beyond the Standard Model of Particle Physics but these are often treated as belonging to two different sectors. Yet DM-neutrino interactions are known to have cosmological consequences. Here, we study the scenario of a scalar DM candidate coupled to left-handed neutrinos via a Dirac mediator. We determine the mass of a DM candidate that yields the right DM relic abundance in a thermal scenario and it is consistent with large-scale structure formation. In order to satisfy both constraints, a complex DM candidate should have a mass larger than $8.14$ keV while the mass of a real DM candidate should be above $18.1$ eV, independently of the value of the DM-neutrino coupling.


title: $\mu$-Hybrid Inflation with Low Reheat Temperature and Observable Gravity Waves

abstract: In $\mu$-hybrid inflation a nonzero inflaton vacuum expectation value induced by supersymmetry breaking is proportional to the gravitino mass $m_{3/2}$, which can be exploited to resolve the minimal supersymmetric standard model $\mu$ problem. We show how this scenario can be successfully implemented with $m_{3/2} \sim 1-100$ TeV and reheat temperature as low as $10^6$ GeV by employing a minimal renormalizable superpotential coupled with a well defined non-minimal K\"ahler potential. The tensor-to-scalar ratio $r$, a canonical measure of primordial gravity waves in most cases is less than or of the order of $10^{-6}-10^{-3}$.


title: Triangle singularities in $B^-\rightarrow K^-\pi^-D_{s0}^+$ and $B^-\rightarrow K^-\pi^-D_{s1}^+$

abstract: We study the appearance of structures in the decay of the $B^-$ into $K^- \pi^- D_{s0}^+(2317)$ and $K^- \pi^- D_{s1}^+(2460)$ final states by forming invariant mass distributions of $\pi^- D_{s0}^+$ and $\pi^- D_{s1}^+$ pairs, respectively. The structure in the distribution is associated to the kinematical triangle singularity that appears when the $B^- \to K^- K^{*\,0} D^0$ ($B^- \to K^- K^{*\,0} D^{*\,0}$) decay process is followed by the decay of the $K^{*\,0}$ into $\pi^- K^+$ and the subsequent rescattering of the $K^+ D^0$ ($K^+ D^{*\,0}$) pair forming the $D_{s0}^+(2317)$ ($D_{s1}^+(2460)$) resonance. We find this type of non-resonant peaks at 2850 MeV in the invariant mass of $\pi^- D_{s0}$ pairs from $B^- \to K^- \pi^- D_{s0}^+(2317)$ decays and around 3000 MeV in the invariant mass of $\pi^- D_{s1}^+$ pairs from $B^- \to K^- \pi^- D_{s1}^+(2460)$ decays. By employing the measured branching ratios of the $B^- \to K^- K^{*\,0} D^0$ and $B^- \to K^- K^{*\,0} D^{*\,0}$ decays, we predict the branching ratios for the processes $B^-$ into $K^- \pi^-D_{s0}^+(2317)$ and $K^- \pi^- D_{s1}^+(2460)$, in the vicinity of the triangle singularity peak, to be about $8\times10^{-6}$ and $1\times 10^{-6}$, respectively. The observation of this reaction would also give extra support to the molecular picture of the $D_{s0}^+(2317)$ and $D_{s1}^+(2460)$.


title: Log-Lindley generated family of distributions

abstract: A new generator of univariate continuous distributions, with two additional parameters, called the Log-Lindley generated family is introduced. Some special distributions in the new family are presented. Some mathematical properties of the new family are studied. The maximum likelihood method to estimate model parameters is employed. The potentiality of the new generator is illustrated using a real data set.


title: Hillclimbing Higgs inflation

abstract: We propose a realization of cosmic inflation with the Higgs field when the Higgs potential has degenerate vacua by employing the recently proposed idea of hillclimbing inflation. The resultant inflationary predictions exhibit a sizable deviation from those of the ordinary Higgs inflation.


title: Is "Better Data" Better than "Better Data Miners"? (On the Benefits of Tuning SMOTE for Defect Prediction)

abstract: We report and fix an important systematic error in prior studies that ranked classifiers for software analytics. Those studies did not (a) assess classifiers on multiple criteria and they did not (b) study how variations in the data affect the results. Hence, this paper applies (a) multi-criteria tests while (b) fixing the weaker regions of the training data (using SMOTUNED, which is a self-tuning version of SMOTE). This approach leads to dramatically large increases in software defect predictions. When applied in a 5*5 cross-validation study for 3,681 JAVA classes (containing over a million lines of code) from open source systems, SMOTUNED increased AUC and recall by 60% and 20% respectively. These improvements are independent of the classifier used to predict for quality. Same kind of pattern (improvement) was observed when a comparative analysis of SMOTE and SMOTUNED was done against the most recent class imbalance technique. In conclusion, for software analytic tasks like defect prediction, (1) data pre-processing can be more important than classifier choice, (2) ranking studies are incomplete without such pre-processing, and (3) SMOTUNED is a promising candidate for pre-processing.


title: Well-posedness and stability results for nonlinear abstract evolution equations with time delays

abstract: We consider abstract evolution equations with a nonlinear term depending on the state and on delayed states. We show that, if the $C_0$-semigroup describing the linear part of the model is exponentially stable, then the whole system retains this property under some Lipschitz continuity assumptions on the nonlinearity. More precisely, we give a general exponential decay estimate for small time delays if the nonlinear term is globally Lipschitz and an exponential decay estimate for solutions starting from small data when the nonlinearity is only locally Lipschitz and the linear part is a negative selfadjoint operator. In the latter case we do not need any restriction on the size of the time delays. In both cases, concrete examples are presented that illustrate our abstract results.


title: A new contribution to discontinuity at fixed point

abstract: The aim of this paper is to obtain new solutions to the open question on the existence of a contractive condition which is strong enough to generate a fixed point but which does not force the map to be continuous at the fixed point. To do this, we use the right-hand side of the classical Rhoades' inequality and the number $M(x,y)$ given in the definition of an $(\alpha ,\beta )$-Geraghty type-$I$ rational contractive mapping. Also we give an application of these new results to discontinuous activation functions.


title: Electromagnetically induced transparency of ultralong-range Rydberg molecules

abstract: We study the impact of Rydberg molecule formation on the storage and retrieval of Rydberg polaritons in an ultracold atomic medium. We observe coherent revivals appearing in the retrieval efficiency of stored photons that originate from simultaneous excitation of Rydberg atoms and Rydberg molecules in the system with subsequent interference between the possible storage paths. We show that over a large range of principal quantum numbers the observed results can be described by a two-state model including only the atomic Rydberg state and the Rydberg dimer molecule state. At higher principal quantum numbers the influence of polyatomic molecules becomes relevant and the dynamics of the system undergoes a transition from coherent evolution of a few-state system to an effective dephasing into a continuum of molecular states.


title: Effect Summaries for Thread-Modular Analysis

abstract: We propose a novel guess-and-check principle to increase the efficiency of thread-modular verification of lock-free data structures. We build on a heuristic that guesses candidates for stateless effect summaries of programs by searching the code for instances of a copy-and-check programming idiom common in lock-free data structures. These candidate summaries are used to compute the interference among threads in linear time. Since a candidate summary need not be a sound effect summary, we show how to fully automatically check whether the precision of candidate summaries is sufficient. We can thus perform sound verification despite relying on an unsound heuristic. We have implemented our approach and found it up to two orders of magnitude faster than existing ones.


title: Low-Error Operation of Spin Qubits with Superexchange Coupling

abstract: In this theoretical work we investigate superexchange, as a means of indirect exchange interaction between two single electron spin qubits, each embedded in a single semiconductor quantum dot (QD). The exchange interaction is mediated by an intermediate, empty QD. Our findings suggest the existence of first order "super sweet spots", in which the qubit operations implemented by superexchange interaction are simultaneously insensitive to charge noise and errors due to spin-orbit interaction. We also find that the sign of the superexchange can be changed by varying the energy detunings between the QDs.


title: Multi-scale statistics of turbulence motorized by active matter

abstract: A number of micro-scale biological flows are characterized by spatio-temporal chaos. These include dense suspensions of swimming bacteria, microtubule bundles driven by motor proteins, and dividing and migrating confluent layers of cells. A characteristic common to all of these systems is that they are laden with active matter, which transforms free energy in the fluid into kinetic energy. Because of collective effects, the active matter induces multi-scale flow motions that bear strong visual resemblance to turbulence. In this study, multi-scale statistical tools are employed to analyze direct numerical simulations (DNS) of periodic two- (2D) and three-dimensional (3D) active flows and compare them to classic turbulent flows. Statistical descriptions of the flows and their variations with activity levels are provided in physical and spectral spaces. A scale-dependent intermittency analysis is performed using wavelets. The results demonstrate fundamental differences between active and high-Reynolds number turbulence; for instance, the intermittency is smaller and less energetic in active flows, and the work of the active stress is spectrally exerted near the integral scales and dissipated mostly locally by viscosity, with convection playing a minor role in momentum transport across scales.


title: Global-Local View: Scalable Consistency for Concurrent Data Types

abstract: Concurrent linearizable access to shared objects can be prohibitively expensive in a high contention workload. Many applications apply ad-hoc techniques to eliminate the need of synchronous atomic updates, which may result in non-linearizable implementations. We propose a new programming model which leverages such patterns for concurrent access to objects in a shared memory system. In this model, each thread maintains different views on the shared object - a thread-local view and a global view. As the thread-local view is not shared, it can be updated without incurring synchronization costs. These local updates become visible to other threads only after the thread-local view is merged with the global view. This enables better performance at the expense of linearizability. We show that it is possible to maintain thread-local views and to perform merge efficiently for several data types and evaluate their performance and scalability compared to linearizable implementations. Further, we discuss the consistency semantics of the data types and the associated programming model.


title: Proof of Concept of Wireless TERS Monitoring

abstract: Temporary earth retaining structures (TERS) help prevent collapse during construction excavation. To ensure that these structures are operating within design specifications, load forces on supports must be monitored. Current monitoring approaches are expensive, sparse, off-line, and thus difficult to integrate into predictive models. This work aims to show that wirelessly connected battery powered sensors are feasible, practical, and have similar accuracy to existing sensor systems. We present the design and validation of ReStructure, an end-to-end prototype wireless sensor network for collection, communication, and aggregation of strain data. ReStructure was validated through a six months deployment on a real-life excavation site with all but one node producing valid and accurate strain measurements at higher frequency than existing ones. These results and the lessons learnt provide the basis for future widespread wireless TERS monitoring that increase measurement density and integrate closely with predictive models to provide timely alerts of damage or potential failure.


title: A method for getting a finite $\alpha$ in the IR region from an all-order beta function

abstract: The analytical method of QCD running coupling constant is extended to a model with an all-order beta function which is inspired by the famous Novikov-Shifman-Vai\-n\-s\-htein-Zakharov beta function of N=1 supersymmetric gau\-g\-e theories. In the approach presented here, the running coupling is determined by a transcendental equation with non-elementary integral of the running scale $\mu$. In our approach $\alpha_{an}(0)$, which reads 0.30642, does not rely on any dimensional parameters. This is in accordance with results in the literature on the analytical method of QCD running coupling constant. The new "analytically im\-p\-roved" running coupling constant is also compatible with the property of asymptotic freedom.


title: Loose Hamiltonian cycles forced by large $(k-2)$-degree - sharp version

abstract: We prove for all $k\geq 4$ and $1\leq\ell<k/2$ the sharp minimum $(k-2)$-degree bound for a $k$-uniform hypergraph $\mathcal H$ on $n$ vertices to contain a Hamiltonian $\ell$-cycle if $k-\ell$ divides $n$ and $n$ is sufficiently large. This extends a result of Han and Zhao for $3$-uniform hypegraphs.


title: Expansion Dynamics of a Two-Component Quasi-One-Dimensional Bose-Einstein Condensate: Phase Diagram, Self-Similar Solutions, and Dispersive Shock Waves

abstract: We investigate the expansion dynamics of a Bose-Einstein condensate that consists of two components and is initially confined in a quasi-one-dimensional trap. We classify the possible initial states of the two-component condensate by taking into account the non-uniformity of the distributions of its components and construct the corresponding phase diagram in the plane of nonlinear interaction constants. The differential equations that describe the condensate evolution are derived by assuming that the condensate density and velocity depend on the spatial coordinate quadratically and linearly, respectively, what reproduces the initial equilibrium distribution of the condensate in the trap in the Thomas-Fermi approximation. We obtained self-similar solutions of these differential equations for several important special cases and wrote out asymptotic formulas describing the condensate motion on long time scales, when the condensate density becomes so low that the interaction between atoms can be neglected. The problem on the dynamics of immiscible components with the formation of dispersive shock waves was also considered. We compare the numerical solutions of the Gross-Pitaevskii equations with their approximate analytical solutions and study numerically the situations when the analytical method admits no exact solutions.


title: Irreducibility of Random Polynomials

abstract: We study the probability that a random polynomial with integer coefficients is reducible when factored over the rational numbers. Using computer-generated data, we investigate a number of different models, including both monic and non-monic polynomials. Our data supports conjectures made by Odlyzko and Poonen and by Konyagin, and we formulate a universality heuristic and new conjectures that connect their work with Hilbert's Irreducibility Theorem and work of van der Waerden. The data indicates that the probability that a random polynomial is reducible divided by the probability that there is a linear factor appears to approach a constant and, in the large-degree limit, this constant appears to approach one. In cases where the model makes it impossible for the random polynomial to have a linear factor, the probability of reducibility appears to be close to the probability of having a non-linear, low-degree factor. We also study characteristic polynomials of random matrices with +1 and -1 entries.


title: Gapped paramagnetic state in a frustrated spin-$\frac{1}{2}$ Heisenberg antiferromagnet on the cross-striped square lattice

abstract: We implement the coupled cluster method to very high orders of approximation to study the spin-$\frac{1}{2}$ $J_{1}$--$J_{2}$ Heisenberg model on a cross-striped square lattice. Every nearest-neighbour pair of sites on the square lattice has an isotropic antiferromagnetic exchange bond of strength $J_{1}>0$, while the basic square plaquettes in alternate columns have either both or neither next-nearest-neighbour (diagonal) pairs of sites connected by an equivalent frustrating bond of strength $J_{2} \equiv \alpha J_{1} > 0$. By studying the magnetic order parameter (i.e., the average local on-site magnetization) in the range $0 \leq \alpha \leq 1$ of the frustration parameter we find that the quasiclassical antiferromagnetic N\'{e}el and (so-called) double N\'{e}el states form the stable ground-state phases in the respective regions $\alpha < \alpha_{1a}^{c} = 0.46(1)$ and $\alpha > \alpha_{1b}^{c} = 0.615(5)$. The double N\'{e}el state has N\'{e}el ($\cdots\uparrow\downarrow\uparrow\downarrow\cdots$) ordering along the (column) direction parallel to the stripes of squares with both or no $J_{2}$ bonds, and spins alternating in a pairwise ($\cdots\uparrow\uparrow\downarrow\downarrow\uparrow\uparrow\downarrow\downarrow\cdots$) fashion along the perpendicular (row) direction, so that the parallel pairs occur on squares with both $J_{2}$ bonds present. Further explicit calculations of both the triplet spin gap and the zero-field uniform transverse magnetic susceptibility provide compelling evidence that the ground-state phase over all or most of the intermediate regime $\alpha_{1a}^{c} < \alpha < \alpha_{1b}^{c}$ is a gapped state with no discernible long-range magnetic order.


title: Some results on generating functions for characters and weight multiplicities of the Lie algebra $A_3$

abstract: A method based on the quantum Calogero-Sutherland model is used to obtain generating functions for characters and multiplicities of $A_3$. Some comments on other rank three algebras are offered.


title: Long-time coherence in fourth-order spin correlation functions

abstract: We study the long-time decay of fourth-order electron spin correlation functions for an isolated singly charged semi-conductor quantum dot. The electron spin dynamics is governed by the applied external magnetic field as well as the hyperfine interaction. While the long-time coherent oscillations in the correlation functions can be understood within an semi-classical approach treating the Overhauser field as frozen, the field dependent decay of its amplitude reported in different experiments cannot be explained by the central-spin model indicating the insufficiency of such a description. By incorporating the nuclear Zeeman splitting and the strain induced nuclear-electric quadrupolar interaction, we find the correct crossover from a fast decay in small magnetic fields to a slow exponential asymptotic in large magnetic fields. It originates from a competition between the quadrupolar interaction inducing an enhanced spin decay and the nuclear Zeeman term that suppressed the spin-flip processes. We are able to explain the magnetic field dependency of the characteristic long-time decay time $T_2$ depending on the experimental setups. The calculated asymptotic values of $T_2 = 3 -4\,\mu$s agree qualitatively well with the experimental data.


title: Modelling and Traffic Signal Control of Heterogeneous Traffic Systems

abstract: An urban traffic system is a heterogeneous system, which consists of different types of intersections and dynamics. In this paper, we focus on one type of heterogeneous traffic network, which consists of signalized junctions and non-signalized ones, where in the latter case vehicles usually follow the first-in-first-out principle. We propose a novel model describing the dynamic behaviors of such a system and validate it via simulations in VISSIM. Upon such a new model, a signal control problem for a heterogeneous traffic network is formulated as a mixed integer programming problem, which is solved by a Lagrangian multiplier based hierarchical distributed approach. Comparisons between a homogeneous traffic system and a heterogeneous one are provided, which leaves the door open for developing a systematic planning approach on deciding what traffic junctions require signal control to ensure a good traffic control performance, thus, have a great social and economic potentials, considering that it is rather expensive to have signal control in an urban area.