title: Properties of ferromagnetic Josephson junctions for memory applications

abstract: In this work we give a characterization of the RF effect of memory switching on Nb-Al/AlOx-(Nb)-Pd$_{0.99}$Fe$_{0.01}$-Nb Josephson junctions as a function of magnetic field pulse amplitude and duration, alongside with an electrodynamical characterization of such junctions, in comparison with standard Nb-Al/AlOx-Nb tunnel junctions. The use of microwaves to tune the switching parameters of magnetic Josephson junctions is a step in the development of novel addressing schemes aimed at improving the performances of superconducting memories.


title: Strict Ideal Completions of the Lambda Calculus

abstract: The infinitary lambda calculi pioneered by Kennaway et al. extend the basic lambda calculus by metric completion to infinite terms and reductions. Depending on the chosen metric, the resulting infinitary calculi exhibit different notions of strictness. To obtain infinitary normalisation and infinitary confluence properties for these calculi, Kennaway et al. extend $\beta$-reduction with infinitely many `$\bot$-rules', which contract meaningless terms directly to $\bot$. Three of the resulting B\"ohm reduction calculi have unique infinitary normal forms corresponding to B\"ohm-like trees. In this paper we develop a corresponding theory of infinitary lambda calculi based on ideal completion instead of metric completion. We show that each of our calculi conservatively extends the corresponding metric-based calculus. Three of our calculi are infinitarily normalising and confluent; their unique infinitary normal forms are exactly the B\"ohm-like trees of the corresponding metric-based calculi. Our calculi dispense with the infinitely many $\bot$-rules of the metric-based calculi. The fully non-strict calculus (called $111$) consists of only $\beta$-reduction, while the other two calculi (called $001$ and $101$) require two additional rules that precisely state their strictness properties: $\lambda x.\bot \to \bot$ (for $001$) and $\bot\,M \to \bot$ (for $001$ and $101$).


title: A Robust Background Initialization Algorithm with Superpixel Motion Detection

abstract: Scene background initialization allows the recovery of a clear image without foreground objects from a video sequence, which is generally the first step in many computer vision and video processing applications. The process may be strongly affected by some challenges such as illumination changes, foreground cluttering, intermittent movement, etc. In this paper, a robust background initialization approach based on superpixel motion detection is proposed. Both spatial and temporal characteristics of frames are adopted to effectively eliminate foreground objects. A subsequence with stable illumination condition is first selected for background estimation. Images are segmented into superpixels to preserve spatial texture information and foreground objects are eliminated by superpixel motion filtering process. A low-complexity density-based clustering is then performed to generate reliable background candidates for final background determination. The approach has been evaluated on SBMnet dataset and it achieves a performance superior or comparable to other state-of-the-art works with faster processing speed. Moreover, in those complex and dynamic categories, the algorithm produces the best results showing the robustness against very challenging scenarios.


title: An experiment-oriented analysis of 2D spin-glass dynamics: a twelve time-decades scaling study

abstract: Recent high precision experimental results on spin-glass films ask for a detailed understanding of the domain-growth dynamics of two-dimensional spin glasses. To achieve this goal, we numerically simulate the out-equilibrium dynamics of the Ising spin glass for a time that spans close to twelve orders of magnitude (from picoseconds to order of a second), in systems large enough to avoid finite-size effects. We find that the time-growth of the size of the glassy domains is excellently described by a single scaling function. A single time-scale $\tau(T)$ controls the dynamics. $\tau(T)$ diverges upon approaching the $T=0$ critical point. The divergence of $\tau(T\to 0)$ is Arrhenius-like, with a barrier height that depends very mildly on temperature. The growth of this barrier-height is best described by critical dynamics. As a side product we obtain an impressive confirmation of universality of the equilibrium behavior of two-dimensional spin-glasses.


title: Octonions, exceptional Jordan algebra and the role of the group F_4 in particle physics

abstract: Normed division rings are reviewed in the more general framework of composition algebras that include the split (indefinite metric) case. The Jordan - von Neumann - Wigner classification of finite dimensional Jordan algebras is outlined with special attention to the 27 dimensional exceptional Jordan algebra J. The automorphism group F_4 of J and its maximal Borel - de Siebenthal subgroups are studied in detail and applied to the classification of fundamental fermions and gauge bosons. Their intersection in F_4 is demonstrated to coincide with the gauge group of the Standard Model of particle physics. The first generation's fundamental fermions form a basis of primitive idempotents in the euclidean extension of the Jordan subalgebra JSpin_9 of J.


title: Simplicial Activity Driven Model

abstract: Many complex systems find a convenient representation in terms of networks: structures made by pairwise interactions (links) of elements (nodes). For many biological and social systems, elementary interactions involve however more than two elements, and simplicial complexes are more adequate to describe such phenomena. Moreover, these interactions often change over time. Here, we propose a framework to model such an evolution: the Simplicial Activity Driven (SAD) model, in which the building block is a simplex of nodes representing a multi-agent interaction. We show analytically and numerically that the use of simplicial structures leads to crucial differences in the outcome of paradigmatic processes modelling disease propagation or social contagion, with respect to the activity-driven (AD) model, a paradigmatic temporal network model involving only binary interactions. In particular, fluctuations in the number of nodes involved in the interactions can affect the outcome of models of simple contagion processes, contrarily to what happens in the AD model. Moreover, social contagion models such as cascading processes present a much richer phenomenology and can become extremely slow when occurring on evolving simplicial complexes.


title: Minimum Margin Loss for Deep Face Recognition

abstract: Face recognition has achieved great progress owing to the fast development of the deep neural network in the past a few years. As an important part of deep neural networks, a number of the loss functions have been proposed which significantly improve the state-of-the-art methods. In this paper, we proposed a new loss function called Minimum Margin Loss (MML) which aims at enlarging the margin of those overclose class centre pairs so as to enhance the discriminative ability of the deep features. MML supervises the training process together with the Softmax Loss and the Centre Loss, and also makes up the defect of Softmax + Centre Loss. The experimental results on MegaFace, LFW and YTF datasets show that the proposed method achieves the state-of-the-art performance, which demonstrates the effectiveness of the proposed MML.


title: Exploring the spectral variability of the Seyfert 1.5 galaxy Markarian 530 with Suzaku

abstract: A 2012 Suzaku observation of the Seyfert 1.5 galaxy Markarian 530 was analysed and found to exhibit two distinct modes of variability, which were found to be independent from one another. Firstly, the spectrum undergoes a smooth transition from a soft to a hard spectrum. Secondly, the spectrum displays more rapid variability seemingly confined to a very narrow energy band (~ 1-3 keV). Three physical models (blurred reflection, partial covering, and soft Comptonisation) were explored to characterise the average spectrum of the observation as well as the spectral state change. All three models were found to fit the average spectrum and the spectral changes equally well. The more rapid variability appears as two cycles of a sinusoidal function, but we cannot attribute this to periodic variability. The Fe K-alpha band exhibits a narrow 6.4 keV emission line consistent with an origin from the distant torus. In addition, features blueward of the neutral iron line are consistent with emission from He-like and H-like iron that could be originating from the highly ionised layer of the torus, but a broad Gaussian profile at ~ 6.7 keV also fits the spectrum well.


title: $C^*$-simplicity and representations of topological full groups of groupoids

abstract: Given an ample groupoid $G$ with compact unit space, we study the canonical representation of the topological full group $[[G]]$ in the full groupoid $C^*$-algebra $C^*(G)$. In particular, we show that the image of this representation generates $C^*(G)$ if and only if $C^*(G)$ admits no tracial state. The techniques that we use include the notion of groups covering groupoids. As an application, we provide sufficient conditions for $C^*$-simplicity of certain topological full groups, including those associated with topologically free and minimal actions of non-amenable and countable groups on the Cantor set.


title: On the Motion of a Body with a Cavity Filled with Compressible Fluid

abstract: We study the motion of the system, S, constituted by a rigid body, B, containing in its interior a viscous compressible fluid, and moving in absence of external forces. Our main objective is to characterize the long time behavior of the coupled system body-fluid. Under suitable assumptions on the "mass distribution" of S, and for sufficiently "small" Mach number and initial data, we show that every corresponding motion (in a suitable regularity class) must tend to a steady state where the fluid is at rest with respect to B. Moreover, S, as a whole, performs a uniform rotation around an axis parallel to the (constant) angular momentum of S, and passing through its center of mass.


title: Web Resource for Storing Collective Experience

abstract: Experience is what makes our life more effective that is why it is necessary to share experience among people. The use of information technologies is the most technological way to work with experience, and the use of the Web is the best way for sharing it. This paper describes a web resource designed for storing, sharing and using experience that is obtained from different people in the Web. The main purpose of this paper is to present this web resource in order to evaluate the interest in such a web resource.


title: A Proof of the Riemann Hypothesis Through the Nicolas Inequality

abstract: A work by Nicolas has shown that if it can be proven that a certain inequality holds for all $n$, the Riemann hypothesis is true. This inequality is associated with the Mertens theorem, and hence the Euler totient at $\prod_{k=1}^n p_k$, where $n$ is any integer and $p_n$ is the $n$-th prime. We shall show that indeed the Nicolas inequality holds for all $n$.


title: ReCA: an Efficient Reconfigurable Cache Architecture for Storage Systems with Online Workload Characterization

abstract: In recent years, SSDs have gained tremendous attention in computing and storage systems due to significant performance improvement over HDDs. The cost per capacity of SSDs, however, prevents them from entirely replacing HDDs in such systems. One approach to effectively take advantage of SSDs is to use them as a caching layer to store performance critical data blocks to reduce the number of accesses to disk subsystem. Due to characteristics of Flash-based SSDs such as limited write endurance and long latency on write operations, employing caching algorithms at the Operating System (OS) level necessitates to take such characteristics into consideration. Previous caching techniques are optimized towards only one type of application, which affects both generality and applicability. In addition, they are not adaptive when the workload pattern changes over time. This paper presents an efficient Reconfigurable Cache Architecture (ReCA) for storage systems using a comprehensive workload characterization to find an optimal cache configuration for I/O intensive applications. For this purpose, we first investigate various types of I/O workloads and classify them into five major classes. Based on this characterization, an optimal cache configuration is presented for each class of workloads. Then, using the main features of each class, we continuously monitor the characteristics of an application during system runtime and the cache organization is reconfigured if the application changes from one class to another class of workloads. The cache reconfiguration is done online and workload classes can be extended to emerging I/O workloads in order to maintain its efficiency with the characteristics of I/O requests. Experimental results obtained by implementing ReCA in a server running Linux show that the proposed architecture improves performance and lifetime up to 24\% and 33\%, respectively.


title: The automorphism group of the universal Coxeter group

abstract: We study fixed point properties of the automorphism group of the universal Coxeter group Aut$(W_n)$. In particular, we prove that whenever Aut$(W_n)$ acts by isometries on complete $d$-dimensional CAT$(0)$ space with $d<\lfloor\frac{n}{2}\rfloor$, then it must fix a point. We also prove that Aut$(W_n)$ does not have Kazhdan's property (T). Further, strong restrictions are obtained on homomorphisms of Aut$(W_n)$ to groups that do not contain a copy of Sym(n).


title: Action Completion: A Temporal Model for Moment Detection

abstract: We introduce completion moment detection for actions - the problem of locating the moment of completion, when the action's goal is confidently considered achieved. The paper proposes a joint classification-regression recurrent model that predicts completion from a given frame, and then integrates frame-level contributions to detect sequence-level completion moment. We introduce a recurrent voting node that predicts the frame's relative position of the completion moment by either classification or regression. The method is also capable of detecting incompletion. For example, the method is capable of detecting a missed ball-catch, as well as the moment at which the ball is safely caught. We test the method on 16 actions from three public datasets, covering sports as well as daily actions. Results show that when combining contributions from frames prior to the completion moment as well as frames post completion, the completion moment is detected within one second in 89% of all tested sequences.


title: Continuation and stability of rotating waves in the magnetized spherical Couette system: Secondary transitions and multistability

abstract: Rotating waves (RW) bifurcating from the axisymmetric basic magnetized spherical Couette (MSC) flow are computed by means of Newton-Krylov continuation techniques for periodic orbits. In addition, their stability is analysed in the framework of Floquet theory. The inner sphere rotates whilst the outer is kept at rest and the fluid is subjected to an axial magnetic field. For a moderate Reynolds number ${\rm Re}=10^3$ (measuring inner rotation) the effect of increasing the magnetic field strength (measured by the Hartmann number ${\rm Ha}$) is addressed in the range ${\rm Ha}\in(0,80)$ corresponding to the working conditions of the HEDGEHOG experiment at Helmholtz-Zentrum Dresden-Rossendorf. The study reveals several regions of multistability of waves with azimuthal wave number $m=2,3,4$, and several transitions to quasiperiodic flows, i.e modulated rotating waves (MRW). These nonlinear flows can be classified as the three different instabilities of the radial jet, the return flow and the shear-layer, as found in previous studies. These two flows are continuously linked, and part of the same branch, as the magnetic forcing is increased. Midway between the two instabilities, at a certain critical ${\rm Ha}$, the nonaxisymmetric component of the flow is maximum.


title: Tightening the entropic uncertainty relations for multiple measurements and applying it to quantum coherence

abstract: The uncertainty principle sets limit on our ability to predict the values of two incompatible observables measured on a quantum particle simultaneously. This principle can be stated in various forms. In quantum information theory, it is expressed in terms of the entropic measures. Uncertainty bound can be altered by considering a particle as a quantum memory correlating with the primary particle. In this work, we provide a method for converting the entropic uncertainty relation in the absence of quantum memory to that in its presence. It is shown that the lower bounds obtained through the method are tighter than those having been achieved so far. The method is also used to obtain the uncertainty relations for multiple measurements in the presence of quantum memory. Also for a given state, the lower bounds on the sum of the relative entropies of unilateral coherences are provided using the uncertainty relations in the presence of quantum memory, and it is shown which one is tighter.


title: Scheduling Policies for Age Minimization in Wireless Networks with Unknown Channel State

abstract: Age of information (AoI) is a recently proposed metric that measures the time elapsed since the generation of the last received information update. We consider the problem of AoI minimization for a network under general interference constraints, and time varying channel. We study the case where the channel statistics are known, but the current channel state is unknown. We propose two scheduling policies, namely, the virtual queue based policy and age-based policy. In the virtual queue based policy, the scheduler schedules links with maximum weighted sum of the virtual queue lengths, while in the age-based policy, the scheduler schedules links with maximum weighted sum of a function of link AoI. We prove that the virtual queue based policy is peak age optimal, up to an additive constant, while the age-based policy is at most factor 4 away from the optimal age. Numerical results suggest that both the proposed policies are, in fact, very close to the optimal.


title: Interpolatron: Interpolation or Extrapolation Schemes to Accelerate Optimization for Deep Neural Networks

abstract: In this paper we explore acceleration techniques for large scale nonconvex optimization problems with special focuses on deep neural networks. The extrapolation scheme is a classical approach for accelerating stochastic gradient descent for convex optimization, but it does not work well for nonconvex optimization typically. Alternatively, we propose an interpolation scheme to accelerate nonconvex optimization and call the method Interpolatron. We explain motivation behind Interpolatron and conduct a thorough empirical analysis. Empirical results on DNNs of great depths (e.g., 98-layer ResNet and 200-layer ResNet) on CIFAR-10 and ImageNet show that Interpolatron can converge much faster than the state-of-the-art methods such as the SGD with momentum and Adam. Furthermore, Anderson's acceleration, in which mixing coefficients are computed by least-squares estimation, can also be used to improve the performance. Both Interpolatron and Anderson's acceleration are easy to implement and tune. We also show that Interpolatron has linear convergence rate under certain regularity assumptions.


title: On wellposedness of generalized neural field equations with delay

abstract: We obtain conditions for existence of unique global or maximally extended solutions to generalized neural field equations. We also study continuous dependence of these solutions on the spatiotemporal integration kernel, delay effects, firing rate and prehistory functions.


title: Laplace transforms based some novel integrals via hypergeometric technique

abstract: In this paper, we obtain the analytical solutions of Laplace transforms based some novel integrals with suitable convergence conditions, by using hypergeometric approach (some algebraic properties of Pochhammer symbol and classical summation theorems of hypergeometric series ${}_{2}F_{1}(1)$, ${}_{2}F_{1}(-1)$ , ${}_{4}F_{3}(-1)$) . Also, we obtain the Laplace transforms of arbitrary powers of some finite series containing hyperbolic sine and cosine functions having different arguments, in terms of hypergeometric and Beta functions. Moreover, Laplace transforms of even and odd positive integral powers of sine and cosine functions with different arguments, and their combinations of the product (taking two, three, four functions at a time), are obtained. In addition, some special cases are yield from the main results.


title: Holographic Viscoelastic Hydrodynamics

abstract: Relativistic fluid hydrodynamics, organized as an effective field theory in the velocity gradients, has zero radius of convergence due to the presence of non-hydrodynamic excitations. Likewise, the theory of elasticity of brittle solids, organized as an effective field theory in the strain gradients, has zero radius of convergence due to the process of the thermal nucleation of cracks. Viscoelastic materials share properties of both fluids and solids. We use holographic gauge theory/gravity correspondence to study all order hydrodynamics of relativistic viscoelastic media.


title: Matching Consecutive Subpatterns Over Streaming Time Series

abstract: Pattern matching of streaming time series with lower latency under limited computing resource comes to a critical problem, especially as the growth of Industry 4.0 and Industry Internet of Things. However, against traditional single pattern matching model, a pattern may contain multiple subpatterns representing different physical meanings in the real world. Hence, we formulate a new problem, called "consecutive subpatterns matching", which allows users to specify a pattern containing several consecutive subpatterns with various specified thresholds. We propose a novel representation Equal-Length Block (ELB) together with two efficient implementations, which work very well under all Lp-Norms without false dismissals. Extensive experiments are performed on synthetic and real-world datasets to illustrate that our approach outperforms the brute-force method and MSM, a multi-step filter mechanism over the multi-scaled representation by orders of magnitude.


title: Large magneto-optical Kerr effect and imaging of magnetic octupole domains in an antiferromagnetic metal

abstract: When a polarized light beam is incident upon the surface of a magnetic material, the reflected light undergoes a polarization rotation. This magneto-optical Kerr effect (MOKE) has been intensively studied in a variety of ferro- and ferrimagnetic materials because it provides a powerful probe for electronic and magnetic properties as well as for various applications including magneto-optical recording. Recently, there has been a surge of interest in antiferromagnets (AFMs) as prospective spintronic materials for high-density and ultrafast memory devices, owing to their vanishingly small stray field and orders of magnitude faster spin dynamics compared to their ferromagnetic counterparts. In fact, the MOKE has proven useful for the study and application of the antiferromagnetic (AF) state. Although limited to insulators, certain types of AFMs are known to exhibit a large MOKE, as they are weak ferromagnets due to canting of the otherwise collinear spin structure. Here we report the first observation of a large MOKE signal in an AF metal at room temperature. In particular, we find that despite a vanishingly small magnetization of $M \sim$0.002 $\mu_{\rm B}$/Mn, the non-collinear AF metal Mn$_3$Sn exhibits a large zero-field MOKE with a polar Kerr rotation angle of 20 milli-degrees, comparable to ferromagnetic metals. Our first-principles calculations have clarified that ferroic ordering of magnetic octupoles in the non-collinear Neel state may cause a large MOKE even in its fully compensated AF state without spin magnetization. This large MOKE further allows imaging of the magnetic octupole domains and their reversal induced by magnetic field. The observation of a large MOKE in an AF metal should open new avenues for the study of domain dynamics as well as spintronics using AFMs.


title: Measurement of $C\!P$ asymmetries in two-body $B_{(s)}^{0}$-meson decays to charged pions and kaons

abstract: The time-dependent $C\!P$ asymmetries in $B^0\to\pi^+\pi^-$ and $B_s^0\to K^+\!K^-$ decays are measured using a data sample of $pp$ collisions corresponding to an integrated luminosity of 3.0 fb$^{-1}$, collected with the LHCb detector at centre-of-mass energies of 7 and 8 TeV. The same data sample is used to measure the time-integrated $C\!P$ asymmetries in $B^0\to K^+\pi^-$ and $B_s^0\to\pi^+ K^-$ decays. The results are $C_{\pi^+\pi^-} = -0.34 \pm 0.06 \pm 0.01$, $S_{\pi^+\pi^-} = -0.63 \pm 0.05 \pm 0.01$, $C_{K^+\!K^-} = 0.20 \pm 0.06 \pm 0.02$, $S_{K^+\!K^-} = 0.18 \pm 0.06 \pm 0.02$, $C_{K^+\!K^-}^{\Delta\Gamma} = -0.79 \pm 0.07 \pm 0.10$, $A_{C\!P}^{B^0} = -0.084 \pm 0.004 \pm 0.003$, and $A_{C\!P}^{B_s^0} = 0.213 \pm 0.015 \pm 0.007$, where the first uncertainties are statistical and the second systematic. Evidence for $C\!P$ violation is found in the $B_s^0\to K^+\!K^-$ decay for the first time.


title: Topology and Higher Concurrencies

abstract: We formulate a general approach to higher concurrencies in general and neural codes in particular, and suggest how the higher order aspects may be dealt with in using topology.


title: Real order (an)-isotropic total variation in image processing - Part I: analytical analysis and functional properties

abstract: In this paper, a variational, multi-dimensional model for image reconstruction is proposed, in which the regularization term consists of the $r$-order (an)-isotropic total variation seminorms $TV^r$, with $r\in \mathbb R^+$, defined via the Riemann-Liouville fractional derivative. Key properties, such as the lower semi-continuity and compactness with respect to both the function $u$ and the order of derivative $r$, are studied. This paper, the first of our series works on analytical and numerical aspects of the model, as well as the learning of optimal order $r$ for particular imaging tasks, provides a comprehensive analysis of the behavior of $TV^r$ in the space of functions with bounded (fractional order) total variation.


title: On certain new means generated by generalized trigonometric functions

abstract: In this paper, authors generalize logarithmic mean $L$, Neuman-S\'andor $M$, two Seiffert means $P$ and $T$ as an application of generalized trigonometric and hyperbolic functions. Moreover, several two-sided inequalities involving these generalized means are established.


title: The $\Sigma_1$-Provability Logic of HA*

abstract: For the Heyting Arithmetic HA, HA* is defined as the theory $\{A\mid {\sf HA}\vdash A^{\Box}\}$, where $A^{\Box}$ is called the box translation of $A$. We characterize the $\Sigma_1$-provability logic of HA* as a modal theory ${\sf iH}_\sigma^*$.


title: Quantum plasmonic N00N state in a silver nanowire and its use for quantum sensing

abstract: The control of quantum states of light at the nanoscale has become possible in recent years with the use of plasmonics. Here, many types of nanophotonic devices and applications have been suggested that take advantage of quantum optical effects, despite the inherent presence of loss. A key example is quantum plasmonic sensing, which provides sensitivity beyond the classical limit using entangled N00N states and their generalizations in a compact system operating below the diffraction limit. In this work, we experimentally demonstrate the excitation and propagation of a two-plasmon entangled N00N state (N=2) in a silver nanowire, and assess the performance of our system for carrying out quantum sensing. Polarization entangled photon pairs are converted into plasmons in the silver nanowire, which propagate over a distance of 5 um and re-convert back into photons. A full analysis of the plasmonic system finds that the high-quality entanglement is preserved throughout. We measure the characteristic super-resolution phase oscillations of the entangled state via coincidence measurements. We also identify various sources of loss in our setup and show how they can be mitigated, in principle, in order to reach super-sensitivity that goes beyond the classical sensing limit. Our results show that polarization entanglement can be preserved in a plasmonic nanowire and that sensing with a quantum advantage is possible with moderate loss present.


title: Identities for second order recurrence sequences

abstract: We derive several identities for arbitrary homogeneous second order recurrence sequences with constant coefficients. The results are then applied to present a unified study of six well known integer sequences, namely the Fibonacci sequence, the sequence of Lucas numbers, the Jacobsthal sequence, the Jacobsthal-Lucas sequence, the Pell sequence and the Pell-Lucas sequence.


title: FLRW cosmological models with quark and strange quark matters in f(R,T) gravity

abstract: In this paper, we have studied the magnetized quark matter (QM) and strange quark matter (SQM) distributions in the presence of $ f(R,T)$ gravity in the background of Friedmann--Lema\^itre--Robertson--Walker (FLRW) metric. To get exact solutions of modified field equations we have used $f(R,T) = R + 2 f(T)$ model given by Harko et al. with two different parametrization of geometrical parameters \textit{i.e.} the parametrization of the deceleration parameter $ q $, and the scale factor $ a $ in hybrid expansion form. Also, we have obtained Einstein Static Universe (ESU) solutions for QM and SQM distributions in $f(R,T)$ gravity and General Relativity (GR). All models in $f(R,T)$ gravity and GR for FRW and ESU Universes with QM also SQM distributions, we get zero magnetic field. These results agree with the solutions of Akta{\c{s} and Ayg\"un in $f(R,T)$ gravity. However, we have also discussed the physical consequences of our obtained models.


title: Model theory of Steiner triple systems

abstract: A Steiner triple system is a set $S$ together with a collection $\mathcal{B}$ of subsets of $S$ of size 3 such that any two elements of $S$ belong to exactly one element of $\mathcal{B}$. It is well known that the class of finite Steiner triple systems has a Fra\"{\i}ss\'e limit $M_{\mathrm{F}}$. Here we show that the theory $T^\ast_\mathrm{Sq}$ of $M_{\mathrm{F}}$ is the model completion of the theory of Steiner triple systems. We also prove that $T^\ast_\mathrm{Sq}$ is not small and it has quantifier elimination, $\mathrm{TP}_2$, $\mathrm{NSOP}_1$, elimination of hyperimaginaries and weak elimination of imaginaries.


title: Quantum-enhanced Logic-based Blockchain I: Quantum Honest-success Byzantine Agreement and Qulogicoin

abstract: We proposed a framework of quantum-enhanced logic-based blockchain, which improves the efficiency and power of quantum-secured blockchain. The efficiency is improved by using a new quantum honest-success Byzantine agreement protocol to replace the classical Byzantine agreement protocol, while the power is improved by incorporating quantum protection and quantum certificate into the syntax of transactions. Our quantum-secured logic-based blockchain can already be implemented by the current technology. The cryptocurrency created and transferred in our blockchain is called qulogicoin. Incorporating quantum protection and quantum certificates into blockchain makes it possible to use blockchain to overcome the limitations of some quantum cryptographic protocols. As an illustration, we show that a significant shortcoming of cheat-sensitive quantum bit commitment protocols can be overcome with the help of our blockchain and qulogicoin.


title: Lifespan of semilinear wave equation with scale invariant dissipation and mass and sub-Strauss power nonlinearity

abstract: In this paper, we study the blow-up of solutions for semilinear wave equations with scale-invariant dissipation and mass in the case in which the model is somehow 'wave-like'. A Strauss type critical exponent is determined as the upper bound for the exponent in the nonlinearity in the main theorems. Two blow-up results are obtained for the sub-critical case and for the critical case, respectively. In both cases, an upper bound lifespan estimate is given.


title: Arago Optics: Maximal Confinement of Traveling Waves

abstract: Optics is limited in the 'ray-approximation'-inclusion of wave properties result in additional phenomena and applications; interferometers and diffraction gratings are two manifestations of such non-geometric, physical optics. Incidentally, the most precise measurement ever, at one part per 10^21 in the (2017) Nobel winning discovery of gravitational waves was achieved with an interferometer. Amendments to the properties of the medium promise negative refractive index meta-materials, perfect imaging, light cloaking, and other ultra-natural marvels. Attention to photon phase, correlations, statistics and wavelength independent phase shifts result in singular optics, quantum optics and anholonomy. Here we present another possibility, namely 'Arago-optics' to maximize the efficacy of a device by strategically deploying the key qualities along its perimeter. For instance, in conventional sources, waves are generated with maximum intensity at the core; whereas in an Arago-source, intensity is minimal or zero at the center, but highest on villus stretches at the margins. We reason that for a given size and energy output, this radiation profile, produces the highest concentration of energy at the focus, with the maximal confinement of the wave packet. Likewise, the utmost detector resolution is attained when sensitivity is highest on the perimeter and less at the center. This concept holds beyond ultra-focus and Gaussian beams, but generally applies to beams of 'waves' that show constructive and destructive interference. The idea is particularly well suited for a fresh integration of geometry and topology with electronics and materials into real-time wave engineering.


title: Convolutional Social Pooling for Vehicle Trajectory Prediction

abstract: Forecasting the motion of surrounding vehicles is a critical ability for an autonomous vehicle deployed in complex traffic. Motion of all vehicles in a scene is governed by the traffic context, i.e., the motion and relative spatial configuration of neighboring vehicles. In this paper we propose an LSTM encoder-decoder model that uses convolutional social pooling as an improvement to social pooling layers for robustly learning interdependencies in vehicle motion. Additionally, our model outputs a multi-modal predictive distribution over future trajectories based on maneuver classes. We evaluate our model using the publicly available NGSIM US-101 and I-80 datasets. Our results show improvement over the state of the art in terms of RMS values of prediction error and negative log-likelihoods of true future trajectories under the model's predictive distribution. We also present a qualitative analysis of the model's predicted distributions for various traffic scenarios.


title: A few results on the infimum of regular polygons equal-size split line

abstract: If an n-side unit regular polygon is divided into m equal sized parts, then what is the minimum length of the split line ${l_{m,n}}$? This problem has its practical application in real world. This paper proved that ${l_{2,3}} = \sqrt {\frac{{\sqrt 3 \pi }}{{12}}} $, ${l_{3,3}} = \frac{{\sqrt 3 }}{2}$, and $\frac{1}{2}\sqrt {n\pi {\rm{ctan}}\frac{\pi }{n}} \le \mathop {\lim }\limits_{m \to \infty } \frac{{{l_{m,n}}}}{{\sqrt m }} \le \sqrt {\frac{{\sqrt 3 }}{2}n{\rm{ctan}}\frac{\pi }{{\rm{n}}}} $


title: R2-based Hypervolume Contribution Approximation

abstract: In this letter, a new hypervolume contribution approximation method is proposed which is formulated as an R2 indicator. The basic idea of the proposed method is to use different line segments only in the hypervolume contribution region for the hypervolume contribution approximation. Comparing with a traditional method which is based on the R2 indicator to approximate the hypervolume, the new method can directly approximate the hypervolume contribution and will utilize all the direction vectors only in the hypervolume contribution region. The new method, the traditional method and the Monte Carlo sampling method together with two exact methods are compared through comprehensive experiments. Our results show the advantages of the new method over the other methods. Comparing with the other two approximation methods, the new method achieves the best performance for comparing hypervolume contributions of different solutions and identifying the solution with the smallest hypervolume contribution. Comparing with the exact methods, the new method is computationally efficient in high-dimensional spaces where the exact methods are impractical to use.


title: Fermionization, Number of Families

abstract: We investigate bosonization/fermionization for free massless fermions being equivalent to free massless bosons with the purpose of checking and correcting the old rule by Aratyn and one of us (H.B.F.N.) for the number of boson species relative to the number of fermion species which is required to have bosonization possible. An important application of such a counting of degrees of freedom relation would be to invoke restrictions on the number of families that could be possible under the assumption, that all the fermions in nature are the result of fermionizing a system of boson species. Since a theory of fundamental fermions can be accused for not being properly local because of having anticommutativity at space like distances rather than commutation as is more physically reasonable to require, it is in fact called for to have all fermions arising from fermionization of bosons. To make a realistic scenario with the fermions all coming from fermionizing some bosons we should still have at least some not fermionized bosons and we are driven towards that being a gravitational field, that is not fermionized. Essentially we reach the spin-charge-families theory by one of us (N.S.M.B.) with the detail that the number of fermion components and therefore of families get determined from what possibilities for fermionization will finally turn out to exist. The spin-charge-family theory has long been plagued by predicting 4 families rather than the phenomenologically more favoured 3. Unfortunately we do not yet understand well enough the unphysical negative norm square components in the system of bosons that can fermionize in higher dimensions because we have no working high dimensional case of fermionization. But suspecting they involve gauge fields with complicated unphysical state systems the corrections from such states could putatively improve the family number prediction.


title: Circularly Pulse-Shaped Precoding for OFDM: A New Waveform and Its Optimization Design for 5G New Radio

abstract: A new circularly pulse-shaped (CPS) precoding orthogonal frequency division multiplexing (OFDM) waveform, or CPS-OFDM for short, is proposed in this paper. CPS-OFDM, characterized by user-specific precoder flexibility, possesses the advantages of both low out-of-subband emission (OSBE) and low peak-to-average power ratio (PAPR), which are two major desired physical layer signal properties for various scenarios in 5G New Radio (NR), including fragmented spectrum access, new types of user equipments (UEs), and communications at high carrier frequencies. As opposed to most of existing waveform candidates using windowing or filtering techniques, CPS-OFDM prevents block extension that causes extra inter-block interference (IBI) and envelope fluctuation unfriendly to signal reception and power amplifier (PA) efficiency, respectively. An optimization problem of the prototype shaping vector built in the CPS precoder is formulated to minimize the variance of instantaneous power (VIP) with controllable OSBE power (OSBEP) and noise enhancement penalty (NEP). In order to solve the optimization problem involving a quartic objective function, the majorization-minimization (MM) algorithmic framework is exploited. By proving the convexity of the proposed problem, the globally optimal solution invariant of coming data is guaranteed to be attained via numbers of iterations. Simulation results demonstrate the advantages of the proposed scheme in terms of detection reliability and spectral efficiency for practical 5G cases such as asynchronous transmissions and mixed numerologies.


title: Situation Assessment for Planning Lane Changes: Combining Recurrent Models and Prediction

abstract: One of the greatest challenges towards fully autonomous cars is the understanding of complex and dynamic scenes. Such understanding is needed for planning of maneuvers, especially those that are particularly frequent such as lane changes. While in recent years advanced driver-assistance systems have made driving safer and more comfortable, these have mostly focused on car following scenarios, and less on maneuvers involving lane changes. In this work we propose a situation assessment algorithm for classifying driving situations with respect to their suitability for lane changing. For this, we propose a deep learning architecture based on a Bidirectional Recurrent Neural Network, which uses Long Short-Term Memory units, and integrates a prediction component in the form of the Intelligent Driver Model. We prove the feasibility of our algorithm on the publicly available NGSIM datasets, where we outperform existing methods.


title: Viscous damping of gravity-capillary waves: Dispersion relations and nonlinear corrections

abstract: We discuss the impact of viscosity on nonlinear propagation of surface waves at the interface of air and a fluid of large depth. After a survey of the available approximations of the dispersion relation, we propose to modify the hydrodynamic boundary conditions to model both short and long waves. From them, we derive a nonlinear Schr\"odinger equation where both linear and nonlinear parts are modified by dissipation and show that the former plays the main role in both gravity and capillary-gravity waves while, in most situations, the latter represents only small corrections. This provides a justification of the conventional approaches to damped propagation found in the literature.


title: Characterizations of almost greedy and partially greedy bases

abstract: We shall present new characterizations of partially greedy and almost greedy bases. A new class of basis (which we call reverse partially greedy basis) arises naturally from these characterizations of partially greedy bases. We also give characterizations for $1$-partially greedy and $1$-reverse partially greedy bases.


title: Rheological consequences of wet and dry friction in a dumbbell model with hydrodynamic interactions and internal viscosity

abstract: The effect of fluctuating internal viscosity and hydrodynamic interactions on a range of rheological properties of dilute polymer solutions is examined using a finitely extensible dumbbell model for a polymer. Brownian dynamics simulations are used to compute both transient and steady state viscometric functions in shear flow. The results enable a careful differentiation of the influence, on rheological properties, of solvent-mediated friction from that of a dissipative mechanism that is independent of solvent viscosity. In particular, hydrodynamic interactions have a significant influence on the magnitude of the stress jump at the inception of shear flow, and on the transient viscometric functions, but a negligible effect on the steady state viscometric functions at high shear rates. Zero-shear rate viscometric functions of free-draining dumbbells remain essentially independent of the internal viscosity parameter, as predicted by the Gaussian approximation, but the inclusion of hydrodynamic interactions induces a dependence on both the hydrodynamic interaction and the internal viscosity parameter. Large values of the internal viscosity parameter lead to linear viscoelastic predictions that mimic the behavior of rigid dumbbell solutions. On the other hand, steady-shear viscometric functions at high shear rates differ in general from those for rigid dumbbells, depending crucially on the finite extensibility of the dumbbell spring.


title: The Crossing Number of Semi-Pair-Shellable Drawings of Complete Graphs

abstract: The Harary-Hill Conjecture states that for $n\geq 3$ every drawing of $K_n$ has at least \begin{align*} H(n) := \frac{1}{4}\Big\lfloor\frac{n}{2}\Big\rfloor\Big\lfloor\frac{n-1}{2}\Big\rfloor\Big\lfloor\frac{n-2}{2}\Big\rfloor\Big\lfloor\frac{n-3}{2}\Big\rfloor \end{align*} crossings. In general the problem remains unsolved, however there has been some success in proving the conjecture for restricted classes of drawings. The most recent and most general of these classes is seq-shellability. In this work, we improve these results and introduce the new class of semi-pair-shellable drawings. We prove the Harary-Hill Conjecture for this new class using novel results on $k$-edges. So far, approaches for proving the Harary-Hill Conjecture for specific classes rely on a fixed reference face. We successfully apply new techniques in order to loosen this restriction, which enables us to select different reference faces when considering subdrawings. Furthermore, we introduce the notion of $k$-deviations as the difference between an optimal and the actual number of $k$-edges. Using $k$-deviations, we gain interesting insights into the essence of $k$-edges, and we further relax the necessity of fixed reference faces.


title: Extensional constructive real analysis via locators

abstract: Real numbers do not admit an extensional procedure for observing discrete information, such as the first digit of its decimal expansion, because every extensional, computable map from the reals to the integers is constant, as is well known. We overcome this by considering real numbers equipped with additional structure, which we call a locator. With this structure, it is possible, for instance, to construct a signed-digit representation or a Cauchy sequence, and conversely these intensional representations give rise to a locator. Although the constructions are reminiscent of computable analysis, instead of working with a notion of computability, we simply work constructively to extract observable information, and instead of working with representations, we consider a certain locatedness structure on real numbers.


title: Extraction and Analysis of Dynamic Conversational Networks from TV Series

abstract: Identifying and characterizing the dynamics of modern tv series subplots is an open problem. One way is to study the underlying social network of interactions between the characters. Standard dynamic network extraction methods rely on temporal integration, either over the whole considered period, or as a sequence of several time-slices. However, they turn out to be inappropriate in the case of tv series, because the scenes shown onscreen alternatively focus on parallel storylines, and do not necessarily respect a traditional chronology. In this article, we introduce Narrative Smoothing, a novel network extraction method taking advantage of the plot properties to solve some of their limitations. We apply our method to a corpus of 3 popular series, and compare it to both standard approaches. Narrative smoothing leads to more relevant observations when it comes to the characterization of the protagonists and their relationships, confirming its appropriateness to model the intertwined storylines constituting the plots.


title: Screen Transversal Lightlike Submanifolds of Golden Semi-Riemannian Manifolds

abstract: The main purpose of the present paper is to study the geometry of screen transversal lightlike submanifolds and radical screen transversal lightlike submanifolds and screen transversal anti-invariant lightlike submanifolds of Golden Semi-Riemannian manifolds. We investigate the geometry of distributions and obtain necessary and sufficient conditions for the induced connection on these manifolds to be metric connection. We also obtain characterization of screen transversal anti-invariant lightlike submanifolds of Golden Semi- Riemannian manifolds. Finally, we give two examples.


title: Turbulence phenomena for viscous fluids by a phase field model. Vorticies and instability

abstract: Through Ginzburg-Landau and Navier-Stokes equations, we study turbulence phenomena for viscous incompresible and compressible fluids by a second order phase transition. For this model, the velocity is defined by the sum of classical and whirling components. Moreover, the laminar-turbulent transition is controlled by rotational effects of the fluid. Hence, the thermodynamic compatibility of the differential system is proved. This model can explain the turbulence by instability effects motivated by a double well potential of the Ginzburg-Landau equation. The same model is used to understand the origins of tornadoe and the birth of the vortices resulting from the fall of water in a vertical tube. Finally, we demonstrate how the weak Coriolis force is able to change the direction of rotation of the vortices by modifying the minima of the phase field potential.


title: On the Geometry of Lightlike Submanifolds in Metallic Semi-Riemannian Manifolds

abstract: In the present paper, we introduce screen transversal lightlike submanifolds of metallic semi-Riemannian manifolds with its subclasses, namely screen transversal anti-invariant, radical screen transversal and isotropic screen transversal lightlike submanifolds, and give an example. We show that there do not exist co-isotropic and totally screen transversal type of screen transversal anti-invariant lightlike submanifolds of a metallic semi-Riemannian manifold. We investigate the geometry of distributions involved in the definition of such submanifolds and the conditions for the induced connection to be a metric connection. Furthermore, we give a necessary and sufficient condition for an isotropic screen transversal lightlike submanifold to be totally geodesic.


title: Betting on Blockchain Consensus with Fantomette

abstract: Blockchain-based consensus protocols present the opportunity to develop new protocols, due to their novel requirements of open participation and explicit incentivization of participants. To address the first requirement, it is necessary to consider the leader election inherent in consensus protocols, which can be difficult to scale to a large and untrusted set of participants. To address the second, it is important to consider ways to provide incentivization without relying on the resource-intensive proofs-of-work used in Bitcoin. In this paper, we propose a secure leader election protocol, Caucus; we next fit this protocol into a broader blockchain-based consensus protocol, Fantomette, that provides game-theoretic guarantees in addition to traditional blockchain security properties. Fantomette is the first proof-of-stake protocol to give formal game-theoretic proofs of security in the presence of non-rational players.


title: Hybrid Discontinuous Galerkin methods with relaxed H(div)-conformity for incompressible flows. Part II

abstract: The present work is the second part of a pair of papers, considering Hybrid Discontinuous Galerkin methods with relaxed H(div)-conformity. The first part mainly dealt with presenting a robust analysis with respect to the mesh size $h$ and the introduction of a reconstruction operator to restore divergence-conformity and pressure robustness using a non conforming right hand side. The aim of this part is the presentation of a high order polynomial robust analysis for the relaxed $H(\operatorname{div})$-conforming Hybrid Discontinuous Galerkin discretization of the two dimensional Stokes problem. It is based on the recently proven polynomial robust LBB-condition for BDM elements [P. L. Lederer, J. Sch\"oberl, IMA Journal of Numerical Analysis, 2017] and is derived by a direct approach instead of using a best approximation C\'{e}a like result. We further treat the impact of the reconstruction operator on the $hp$ analysis and present a numerical investigation considering polynomial robustness. We conclude the paper presenting an efficient operator splitting time integration scheme for the Navier--Stokes equations which is based on the methods recently presented in [C. Lehrenfeld, J. Sch\"oberl, \emph{Comp. Meth. Appl. Mech. Eng.}, 361 (2016)] and includes the ideas of the reconstruction operator.


title: Gravity's light in the shadow of the Moon

abstract: In this essay we look at the possibility of vacuum production of very low frequency electromagnetic radiation from a gravitational wave background (i.e. gravity's light). We also propose that this counterpart electromagnetic radiation should be detectable by a lunar orbiting satellite which is periodically occulted by the Moon (i.e. in the shadow of the Moon). For concreteness we consider the possibility of detection of both the gravitational wave and hypothesized electromagnetic radiation counterpart from the supernova core collapse of Betelgeuse.


title: Arithmeticity of the monodromy of some Kodaira fibrations

abstract: A question of Griffiths-Schmid asks when the monodromy group of an algebraic family of complex varieties is arithmetic. We resolve this in the affirmative for the class of algebraic surfaces known as Atiyah-Kodaira manifolds, which have base and fibers equal to complete algebraic curves. Our methods are topological in nature and involve an analysis of the "geometric" monodromy, valued in the mapping class group of the fiber.


title: Multiple phase transitions in the $XY$ model with nematic-like couplings

abstract: Critical behavior of the two-dimensional generalized $XY$ model involving solely nematic-like terms of the second, third and fourth orders is studied by Monte Carlo method. We find that such a system can undergo three successive phase transitions. At higher temperatures there is a phase transition of the Berezinskii-Kosterlitz-Thouless type to the $q=4$ nematic-like phase, followed by two more transitions of the Ising type to the $q=2$ nematic-like and ferromagnetic phases, respectively. The $q$ nematic-like phases are characterized by spin alignments with angles $2k\pi/q$, where $k \leq q$ is an integer. The ferromagnetic phase appears at low temperatures even without the presence of magnetic interactions owing to a synergic effect of the nematic-like terms.


title: John and uniform domains in generalized Siegel boundaries

abstract: Given the pair of vector fields $X=\partial_x+|z|^{2m}y\partial_t$ and $ Y=\partial_y-|z|^{2m}x \partial_t,$ where $(x,y,t)= (z,t)\in\mathbb{R}^3=\mathbb{C}\times\mathbb{R}$, we give a condition on a bounded domain $\Omega\subset\mathbb{R}^3$ which ensures that $\Omega$ is an $(\epsilon,\delta)$-domain for the Carnot-Carath\'eodory metric. We also analyze the Ahlfors regularity of the natural surface measure induced at the boundary by the vector fields.


title: Faster Rates for Convex-Concave Games

abstract: We consider the use of no-regret algorithms to compute equilibria for particular classes of convex-concave games. While standard regret bounds would lead to convergence rates on the order of $O(T^{-1/2})$, recent work \citep{RS13,SALS15} has established $O(1/T)$ rates by taking advantage of a particular class of optimistic prediction algorithms. In this work we go further, showing that for a particular class of games one achieves a $O(1/T^2)$ rate, and we show how this applies to the Frank-Wolfe method and recovers a similar bound \citep{D15}. We also show that such no-regret techniques can even achieve a linear rate, $O(\exp(-T))$, for equilibrium computation under additional curvature assumptions.


title: Imaging the Renner-Teller effect using laser-induced electron diffraction

abstract: Structural information on electronically excited neutral molecules can be indirectly retrieved, largely through pump-probe and rotational spectroscopy measurements with the aid of calculations. Here, we demonstrate the direct structural retrieval of neutral carbonyl disulfide (CS$_2$) in the B$^1$B$_2$ excited electronic state using laser-induced electron diffraction (LIED). We unambiguously identify the ultrafast symmetric stretching and bending of the field-dressed neutral CS$_2$ molecule with combined picometer and attosecond resolution using intrapulse pump-probe excitation and measurement. We invoke the Renner-Teller effect to populate the B$^1$B$_2$ excited state in neutral CS$_2$, leading to bending and stretching of the molecule. Our results demonstrate the sensitivity of LIED in retrieving the geometric structure of CS$_2$, which is known to appear as a two-center scatterer.


title: IUPAP Report 41 Introduction

abstract: IUPAP Report 41 is a document that gives summary information about the major nuclear physics facilities around the world. It is updated approximately every five years by Working Group 9 of the International Union of Pure and Applied Physics. The introduction to the report gives an overview of the field of nuclear physics and outlines the major questions facing the field. This most recent version of Report 41 has been updated to reflect the state of the field in 2018. The full report can be found at http://www.triumf.info/hosted/iupap/icnp/report41.html


title: Spatially inhomogeneous population dynamics: beyond the mean field approximation

abstract: We propose a novel method for numerical modeling of spatially inhomogeneous moment dynamics of populations with nonlocal dispersal and competition in continuous space. It is based on analytically solvable decompositions of the time evolution operator for a coupled set of master equations. This has allowed us -- for the first time in the literature -- to perform moment dynamics simulations of spatially inhomogeneous systems beyond the mean-field approach and to calculate the inhomogeneous pair correlation function using the Kirkwood superposition ansatz. As a result, we revealed a number of new subtle effects, possible in real populations. Namely, for systems with short-range dispersal and mid-range competition, strong clustering of entities at small distances followed by their deep disaggregation at larger separations are observed in the wavefront of density propagation. For populations in which the competition range is much shorter than that of dispersal, the pair correlation function exhibits a long-tail behavior. Remarkably, the latter effect takes place only due to the spatial inhomogeneity and thus was completely unknown before. Moreover, both effects get stronger in the direction of propagation. All these types of behavior are interpreted as a trade-off between the dispersal and competition in the coexistence of reproductive pair correlations and the inhomogeneity of the density of the system.


title: The horizontal heat kernel on the quaternionic anti de-Sitter spaces and related twistor spaces

abstract: The geometry of the quaternionic anti-de Sitter fibration is studied in details. As a consequence, we obtain formulas for the horizontal Laplacian and subelliptic heat kernel of the fibration. The heat kernel formula is explicit enough to derive small time asymptotics. Related twistor spaces and corresponding heat kernels are also discussed and the connection to the quaternionic magnetic Laplacian is done.


title: Large algebraic connectivity fluctuations in spatial network ensembles imply a predictive advantage from node location information

abstract: A Random Geometric Graph (RGG) ensemble is defined by the disordered distribution of its node locations. We investigate how this randomness drives sample-to-sample fluctuations in the dynamical properties of these graphs. We study the distributional properties of the algebraic connectivity which is informative of diffusion and synchronization timescales in graphs. We use numerical simulations to provide the first characterisation of the algebraic connectivity distribution for RGG ensembles. We find that the algebraic connectivity can show fluctuations relative to its mean on the order of $30 \%$, even for relatively large RGG ensembles ($N=10^5$). We explore the factors driving these fluctuations for RGG ensembles with different choices of dimensionality, boundary conditions and node distributions. Within a given ensemble, the algebraic connectivity can covary with the minimum degree and can also be affected by the presence of density inhomogeneities in the nodal distribution. We also derive a closed-form expression for the expected algebraic connectivity for RGGs with periodic boundary conditions for general dimension.

categories: physics.soc-ph cond-mat.dis-nn cond-mat.stat-mech math.PR physics.data-an


title: Generic Deriving of Generic Traversals

abstract: Functional programmers have an established tradition of using traversals as a design pattern to work with recursive data structures. The technique is so prolific that a whole host of libraries have been designed to help in the task of automatically providing traversals by analysing the generic structure of data types. More recently, lenses have entered the functional scene and have proved themselves to be a simple and versatile mechanism for working with product types. They make it easy to focus on the salient parts of a data structure in a composable and reusable manner. In this paper, we use the combination of lenses and traversals to give rise to an expressive and flexible library for querying and modifying complex data structures. Furthermore, since our lenses and traversals are based on the generic shape of data, we are able to use this information to produce code that is as efficient as hand-written versions. The technique leverages the structure of data to produce generic abstractions that are then eliminated by the standard workhorses of modern functional compilers: inlining and specialisation.


title: Radio Galaxy Shape Measurement with Hamiltonian Monte Carlo in the Visibility Domain

abstract: Radio weak lensing, while a highly promising complementary probe to optical weak lensing, will require incredible precision in the measurement of galaxy shape parameters. In this paper, we extend the Bayesian Inference for Radio Observations model fitting approach to measure galaxy shapes directly from visibility data of radio continuum surveys, instead of from image data. We apply a Hamiltonian Monte Carlo (HMC) technique for sampling the posterior, which is more efficient than the standard Monte Carlo Markov Chain method when dealing with a large dimensional parameter space. Adopting the exponential profile for galaxy model fitting allows us to analytically calculate the likelihood gradient required by HMC, allowing a faster and more accurate sampling. The method is tested on SKA1-MID simulated observations at 1.4 GHz of a field containing up to 1000 star-forming galaxies. It is also applied to a simulated observation of the weak lensing precursor survey SuperCLASS. In both cases we obtain reliable measurements of the galaxies' ellipticity and size for all sources with SNR $\ge 10$, and we also find relationships between the convergence properties of the HMC technique and some source parameters. Direct shape measurement in the visibility domain achieves high accuracy at the expected source number densities of the current and next SKA precursor continuum surveys. The proposed method can be easily extended for the fitting of other galaxy and scientific parameters, as well as simultaneously marginalising over systematic and instrumental effects.


title: Adaptive Discrete Second Order Sliding Mode Control with Application to Nonlinear Automotive Systems

abstract: Sliding mode control (SMC) is a robust and computationally efficient model-based controller design technique for highly nonlinear systems, in the presence of model and external uncertainties. However, the implementation of the conventional continuous-time SMC on digital computers is limited, due to the imprecisions caused by data sampling and quantization, and the chattering phenomena, which results in high frequency oscillations. One effective solution to minimize the effects of data sampling and quantization imprecisions is the use of higher order sliding modes. To this end, in this paper, a new formulation of an adaptive second order discrete sliding mode control (DSMC) is presented for a general class of multi-input multi-output (MIMO) uncertain nonlinear systems. Based on a Lyapunov stability argument and by invoking the new Invariance Principle, not only the asymptotic stability of the controller is guaranteed, but also the adaptation law is derived to remove the uncertainties within the nonlinear plant dynamics. The proposed adaptive tracking controller is designed and tested in real-time for a highly nonlinear control problem in spark ignition combustion engine during transient operating conditions. The simulation and real-time processor-in-the-loop (PIL) test results show that the second order single-input single-output (SISO) DSMC can improve the tracking performances up to 90%, compared to a first order SISO DSMC under sampling and quantization imprecisions, in the presence of modeling uncertainties. Moreover, it is observed that by converting the engine SISO controllers to a MIMO structure, the overall controller performance can be enhanced by 25%, compared to the SISO second order DSMC, because of the dynamics coupling consideration within the MIMO DSMC formulation.


title: Dependability in a Multi-tenant Multi-framework Deep Learning as-a-Service Platform

abstract: Deep learning (DL), a form of machine learning, is becoming increasingly popular in several application domains. As a result, cloud-based Deep Learning as a Service (DLaaS) platforms have become an essential infrastructure in many organizations. These systems accept, schedule, manage and execute DL training jobs at scale. This paper explores dependability in the context of a DLaaS platform used in IBM. We begin by explaining how DL training workloads are different, and what features ensure dependability in this context. We then describe the architecture, design and implementation of a cloud-based orchestration system for DL training. We show how this system has been architected with dependability in mind while also being horizontally scalable, elastic, flexible and efficient. We also present an initial empirical evaluation of the overheads introduced by our platform, and discuss tradeoffs between efficiency and dependability.


title: Local vertex corrections from exchange-correlation kernels with a discontinuity

abstract: The fundamental gap of an interacting many-electron system is given by the sum of the single-particle Kohn-Sham gap and the derivative discontinuity. The latter can be generated by advanced approximations to the exchange-correlation (XC) energy and is the key quantity to capture strong correlation with density functional theory (DFT). In this work we derive an expression for the derivative discontinuity in terms of the XC kernel of time-dependent density functional theory and demonstrate the crucial role of a discontinuity in the XC kernel itself. By relating approximate XC kernels to approximate local vertex corrections we then generate beyond-GW self-energies that include a discontinuity in the local vertex function. The quantitative importance of this result is illustrated with a numerical study of the local exchange vertex on model systems.


title: Supplier Cooperation in Drone Delivery

abstract: Recently, unmanned aerial vehicles (UAVs), also known as drones, has emerged as an efficient and cost-effective solution for package delivery. Especially, drones are expected to incur lower cost, and achieve fast and environment friendly delivery. While most of existing drone research concentrates on surveillance applications, few works studied the drone package delivery planning problem. Even so, the previous works only focus on the drone delivery planning of a single supplier. In this paper, thus we propose the supplier cooperation in drone delivery (CoDD) framework. The framework considers jointly package assignment, supplier cooperation, and cost management. The objective of the framework is to help suppliers minimize and achieve fair share of the cost as well as reach a stable cooperation. The trade-off between using drones and outsourcing package delivery to a carrier is also investigated. The performance evaluation of the CoDD framework is conducted by using the Solomon benchmark suite and a real Singapore dataset which evidently confirms the practical findings.


title: Does GW170817 falsify MOND?

abstract: The gravitational-wave event GW170817 and the near-simultaneous corresponding gamma-ray burst (GRB 170817 A) falsify modified gravity theories in which the gravitational geometry differs non-conformally from physical geometry. Thus, the observations of this event definitively rule out theories, such as TeVeS, a suggested relativistic extension of Milgrom's modified Newtonian dynamics (MOND), that predict a significantly different Shapiro delay for electromagnetic and gravitational radiation. While not falsifying MOND per se, GW170817 severely constrains relativistic extensions of MOND to theories that do not rely on additional matter-coupling fields but rather upon modified field equations for one universal gravitational and physical metric. Here I mention a simple preferred-frame theory as an example.


title: Counting Gallai 3-colorings of complete graphs

abstract: An edge coloring of the n-vertex complete graph K_n is a Gallai coloring if it does not contain any rainbow triangle, that is, a triangle whose edges are colored with three distinct colors. We prove that the number of Gallai colorings of K_n with at most three colors is at most 7(n+1)*2^{n choose 2}, which improves the best known upper bound of \frac{3}{2} * (n-1)! * 2^{(n-1) choose 2} in [Discrete Mathematics, 2017].


title: Robust entanglement gates for trapped-ion qubits

abstract: High-fidelity two-qubit entangling gates play an important role in many quantum information processing tasks and are a necessary building block for constructing a universal quantum computer. Such high-fidelity gates have been demonstrated on trapped-ion qubits, however, control errors and noise in gate parameters may still lead to reduced fidelity. Here we propose and demonstrate a general family of two-qubit entangling gates which are robust to different sources of noise and control errors. These gates generalize the celebrated M{\o}lmer-S{\o}rensen gate by using multi-tone drives. We experimentally implemented several of the proposed gates on $^{88}\text{Sr}^{+}$ ions trapped in a linear Paul trap, and verified their resilience.


title: Cosmological perturbations in conformal gravity II

abstract: In this paper we continue a study of cosmological perturbations in the conformal gravity theory. In previous work we had obtained a restricted set of solutions to the cosmological fluctuation equations, solutions that were required to be both transverse and synchronous. Here we present the general solution. We show that in a conformal invariant gravitational theory fluctuations around any background that is conformal to flat (backgrounds that include the cosmologically interesting Robertson-Walker and de Sitter geometries) can be constructed from the (known) solutions to fluctuations around a flat background. For this construction to hold it is not necessary that the perturbative geometry associated with the fluctuations itself be conformal to flat. Using this construction we show that in a conformal Robertson-Walker cosmology early universe fluctuations grow as $t^4$. We present the scalar, vector, tensor decomposition of the fluctuations in the conformal theory, and compare and contrast our work with the analogous treatment of fluctuations in the standard Einstein gravity theory.


title: Dynamical formation of the unitary Bose gas

abstract: We study the structure of a Bose-condensed gas after quenching interactions to unitarity. Using the method of cumulants, we decompose the evolving gas in terms of clusters. Within the quantum depletion we observe the emergence of two-body clusters bound purely by many-body effects, scaling continuously with the atomic density. As the unitary Bose gas forms, three-body Efimov clusters are first localized and then sequentially absorbed into the embedded atom-molecule scattering continuum of the surrounding depletion. These results motivate future experimental probes of a quenched Bose-condensate during evolution at unitarity.


title: Mono-cross-anisotropic Metasurface Absorbing Boundary Condition (ABC)

abstract: We introduce the concept of Metasurface Absorbing-Boundary Condition (MS-ABC). This represents the first application of metasurface technology to computational electromagnetics. MS-ABCs have similar performance as previously reported surface ABCs, but they provide a richer description of absorption, that is independent from the incident wave, and deeper insight into the physics, through bianisotropic susceptibilities. The MS-ABC susceptibilities are synthesized using GSTC synthesis, from which the metasurface is found to be mono-cross-anisotropic, i.e. having only electric-to-magnetic and magnetic-to-electric coupling susceptibility tensors being non-zero, which is physically impossible, but numerically perfectly appropriate. Moreover, it is found that the metasurface is asymmetric, being amplifying in the opposite direction of its basic utilization as an ABC. The MS-ABC is implemented in a GSTC-FDTD scheme, which, for the first time, replaces the virtual grid concept by straightforward surface polarization currents residing on the regular Yee grid.


title: Pattern Recognition on Oriented Matroids: Symmetric Cycles in the Hypercube Graphs. III

abstract: We present statistics on the decompositions (with respect to a distinguished symmetric 2t-cycle) of vertices of the hypercube graph, whose negative parts are regarded as disjoint unions of two subsets of the ground set {1,...,t} of the corresponding oriented matroid.


title: Fast, asymptotically efficient, recursive estimation in a Riemannian manifold

abstract: Stochastic optimisation in Riemannian manifolds, especially the Riemannian stochastic gradient method, has attracted much recent attention. The present work applies stochastic optimisation to the task of recursive estimation of a statistical parameter which belongs to a Riemannian manifold. Roughly, this task amounts to stochastic minimisation of a statistical divergence function. The following problem is considered : how to obtain fast, asymptotically efficient, recursive estimates, using a Riemannian stochastic optimisation algorithm with decreasing step sizes? In solving this problem, several original results are introduced. First, without any convexity assumptions on the divergence function, it is proved that, with an adequate choice of step sizes, the algorithm computes recursive estimates which achieve a fast non-asymptotic rate of convergence. Second, the asymptotic normality of these recursive estimates is proved, by employing a novel linearisation technique. Third, it is proved that, when the Fisher information metric is used to guide the algorithm, these recursive estimates achieve an optimal asymptotic rate of convergence, in the sense that they become asymptotically efficient. These results, while relatively familiar in the Euclidean context, are here formulated and proved for the first time, in the Riemannian context. In addition, they are illustrated with a numerical application to the recursive estimation of elliptically contoured distributions.


title: Open canals flow with fluvial to torrential phase transitions on networks

abstract: Network flows and specifically open canal flows can be modeled by systems of balance laws defined on topological graphs. The shallow water or Saint-Venant system of balance laws is one of the most used model and present two phases: fluvial or sub-critical and torrential or super critical. Phase transitions may occur within the same canal but transitions related to networks are less investigated. In this paper we provide a complete characterization of possible phase transitions for a simple network with two canals and one junction. Our analysis allows the study of more complicate scenarios. Moreover, we provide some numerical simulations to show the theory at work.


title: Strong time-periodic solutions to the bidomain equations with arbitrary large forces

abstract: We prove the existence of strong time-periodic solutions to the bidomain equations with arbitrary large forces. We construct weak time-periodic solutions by a Galerkin method combined with Brouwer's fixed point theorem and a priori estimate independent of approximation. We then show their regularity so that our solution is a strong time-periodic solution in $L^2$ spaces. Our strategy is based on the weak-strong uniqueness method.


title: Cellular Network Multi-Access Measurements on the Roads of V\"armland, Sweden

abstract: Cooperative Intelligent Transport Systems (C-ITS) make road traffic safer and more efficient, but require the mobile networks to handle time-critical applications. While some applications may need new dedicated communications technologies such as IEEE 802.11p or 5G, other applications can use current cellular networks. This study evaluates the performance that connected vehicles can expect from existing networks, and estimates the potential gain of multi-access by simultaneously transmitting over several operators. We upload time-critical warning messages from buses in Sweden, and characterise transaction times and network availability. We conduct the experiments with different protocols: UDP, TCP, and HTTPS. Our results show that when using UDP, the median transaction time for sending a typical warning message is 135 ms. We also show that multi-access can bring this value down to 73 ms. For time-critical applications requiring transaction times under 200 ms, multi-access can increase availability of the network from to 57.4% to 92.0%.


title: Artificial compressibility method for the Navier-Stokes-Maxwell-Stefan system

abstract: The Navier-Stokes-Maxwell-Stefan system describes the dynamics of an incompressible gaseous mixture in isothermal condition. In this paper we set up an artificial compressibility type approximation. In particular we focus on the existence of solution for the approximated system and the convergence to the incompressible case. The existence of the approximating system is proved by means of semidiscretization in time and by estimating the fractional time derivative.


title: Annotating Electronic Medical Records for Question Answering

abstract: Our research is in the relatively unexplored area of question answering technologies for patient-specific questions over their electronic health records. A large dataset of human expert curated question and answer pairs is an important pre-requisite for developing, training and evaluating any question answering system that is powered by machine learning. In this paper, we describe a process for creating such a dataset of questions and answers. Our methodology is replicable, can be conducted by medical students as annotators, and results in high inter-annotator agreement (0.71 Cohen's kappa). Over the course of 11 months, 11 medical students followed our annotation methodology, resulting in a question answering dataset of 5696 questions over 71 patient records, of which 1747 questions have corresponding answers generated by the medical students.


title: On stringy Euler characteristics of Clifford non-commutative varieties

abstract: It was shown by Kuznetsov that complete intersections of $n$ generic quadrics in ${\mathbb P}^{2n-1}$ are related by Homological Projective Duality to certain non-commutative (Clifford) varieties which are in some sense birational to double covers of ${\mathbb P}^{n-1}$ ramified over symmetric determinantal hypersurfaces. Mirror symmetry predicts that the Hodge numbers of the complete intersections of quadrics must coincide with the appropriately defined Hodge numbers of these double covers. We observe that these numbers must be different from the well-known Batyrev's stringy Hodge numbers, else the equality fails already at the level of Euler characteristics. We define a natural modification of stringy Hodge numbers for the particular class of Clifford varieties, and prove the corresponding equality of Euler characteristics in arbitrary dimension.


title: Breakup of liquid jets and the formation of satellite and subsatellite droplets

abstract: A spontaneous breakup of a liquid jet results in the formation of a chain of droplets, which is a daily observed phenomenon, such as in the raining process and under an open water-faucet. We here report inkjet printing experiments for the formation of droplets which are inconsistent with existing theories and thereafter propose a novel concept of surface area minimization to address the droplet-formation condition. The novel concept is also capable of predicting the formation of satellite and subsatellite droplets, which cannot be comprehended by the classic Rayleigh theory for the formation of droplets. We also present a new evolution behavior of liquid jets not yet reported before that the jet initially transforms into droplets and then becomes a uniform-radius jet again. The current results can be applied to a variety of disciplines where liquid jets are present.


title: Maximally-localized Wannier orbitals and the extended Hubbard model for the twisted bilayer graphene

abstract: We develop an effective extended Hubbard model to describe the low-energy electronic properties of the twisted bilayer graphene. By using the Bloch states in the effective continuum model and with the aid of the maximally localized algorithm, we construct the Wannier orbitals and obtain an effective tight-binding model on the emergent honeycomb lattice. We found the Wannier state takes a peculiar three-peak form in which the amplitude maxima are located at the triangle corners surrounding the center. We estimate the direct Coulomb interaction and the exchange interaction between the Wannier states. At the filling of two electrons per super cell, in particular, we find an unexpected coincidence in the direct Coulomb energy between a charge-ordered state and a homogeneous state, which would possibly lead to an unconventional many-body state.


title: Hamiltonian properties of Madden-Julian Oscillation: waves and distributed chaos

abstract: The Madden-Julian Oscillation (MJO) has been studied using its daily RMM1, RMM2 and VPM1, VPM2 principal components' indices. A spectral analysis of the raw indices indicates presence of a noise presumably contributed by the random high-frequency waves. A soft simple filter - 3 day running average, has been applied to filter out this high-frequency noise (the filter has been chosen in accordance with the observationally known properties of these waves). Power spectrum of the smoothed indices exhibits a stretched exponential decay $E(f) \propto \exp-(f/f_0)^{1/2}$ characteristic to the Hamiltonian distributed chaos with spontaneously broken time translational symmetry (with time depending Hamiltonian and adiabatic invariance of the action). An impact of the MJO's Hamiltonian distributed chaos on the Asian-Australian Monsoons at the intraseasonal time scales has been briefly discussed.


title: External memory BWT and LCP computation for sequence collections with applications

abstract: We propose an external memory algorithm for the computation of the BWT and LCP array for a collection of sequences. Our algorithm takes the amount of available memory as an input parameter, and tries to make the best use of it by splitting the input collection into subcollections sufficiently small that it can compute their BWT in RAM using an optimal linear time algorithm. Next, it merges the partial BWTs in external memory and in the process it also computes the LCP values. We prove that our algorithm performs O(n AveLcp) sequential I/Os, where n is the total length of the collection, and AveLcp is the average Longest Common Prefix of the collection. This bound is an improvement over the known algorithms for the same task. The experimental results show that our algorithm outperforms the current best algorithm for collections of sequences with different lengths and for collections with relatively small average Longest Common Prefix. In the second part of the paper, we show that our algorithm can be modified to output two additional arrays that, used with the BWT and LCP arrays, provide simple, scan based, external memory algorithms for three well known problems in bioinformatics: the computation of maximal repeats, the all pairs suffix-prefix overlaps, and the construction of succinct de Bruijn graphs. To our knowledge, there are no other known external memory algorithms for these problems.


title: DNN or k-NN: That is the Generalize vs. Memorize Question

abstract: This paper studies the relationship between the classification performed by deep neural networks (DNNs) and the decision of various classical classifiers, namely k-nearest neighbours (k-NN), support vector machines (SVM) and logistic regression (LR), at various layers of the network. This comparison provides us with new insights as to the ability of neural networks to both memorize the training data and generalize to new data at the same time, where k-NN serves as the ideal estimator that perfectly memorizes the data. We show that memorization of non-generalizing networks happens only at the last layers. Moreover, the behavior of DNNs compared to the linear classifiers SVM and LR is quite the same on the training and test data regardless of whether the network generalizes. On the other hand, the similarity to k-NN holds only at the absence of overfitting. Our results suggests that k-NN behavior of the network on new data is a sign of generalization. Moreover, it shows that memorization and generalization, which are traditionally considered to be contradicting to each other, are compatible and complementary.


title: 3D billiards: visualization of regular structures and trapping of chaotic trajectories

abstract: The dynamics in three-dimensional billiards leads, using a Poincar\'e section, to a four-dimensional map which is challenging to visualize. By means of the recently introduced 3D phase-space slices an intuitive representation of the organization of the mixed phase space with regular and chaotic dynamics is obtained. Of particular interest for applications are constraints to classical transport between different regions of phase space which manifest in the statistics of Poincar\'e recurrence times. For a 3D paraboloid billiard we observe a slow power-law decay caused by long-trapped trajectories which we analyze in phase space and in frequency space. Consistent with previous results for 4D maps we find that: (i) Trapping takes place close to regular structures outside the Arnold web. (ii) Trapping is not due to a generalized island-around-island hierarchy. (iii) The dynamics of sticky orbits is governed by resonance channels which extend far into the chaotic sea. We find clear signatures of partial transport barriers. Moreover, we visualize the geometry of stochastic layers in resonance channels explored by sticky orbits.


title: Learning Time-Sensitive Strategies in Space Fortress

abstract: Although there has been remarkable progress and impressive performance on reinforcement learning (RL) on Atari games, there are many problems with challenging characteristics that have not yet been explored in Deep Learning for RL. These include reward sparsity, abrupt context-dependent reversals of strategy and time-sensitive game play. In this paper, we present Space Fortress, a game that incorporates all these characteristics and experimentally show that the presence of any of these renders state of the art Deep RL algorithms incapable of learning. Then, we present our enhancements to an existing algorithm and show big performance increases through each enhancement through an ablation study. We discuss how each of these enhancements was able to help and also argue that appropriate transfer learning boosts performance.


title: Effect of second order piezoelectricity on excitonic structure of stress-tuned InGaAs/GaAs quantum dots

abstract: We study the effects of the nonlinear piezoelectricity and the In distribution on the exciton energy, the electron-hole electric dipole moment, and the fine-structure splitting in stress-tunable InGaAs/GaAs quantum dots integrated onto a piezoelectric actuator. In particular, we investigate in detail the contributions of various elements of the expansion of the electrical polarization in terms of externally induced elastic strain on the latter two important quantum dot properties. Based on the comparison of the effects of first- and second-order piezoelectricity we provide a simple relation to estimate the influence of applied anisotropic stress on the quantum dot dipole moment for quantum dots significantly lattice mismatched to the host crystal.


title: The Blessings of Multiple Causes

abstract: Causal inference from observational data often assumes "ignorability," that all confounders are observed. This assumption is standard yet untestable. However, many scientific studies involve multiple causes, different variables whose effects are simultaneously of interest. We propose the deconfounder, an algorithm that combines unsupervised machine learning and predictive model checking to perform causal inference in multiple-cause settings. The deconfounder infers a latent variable as a substitute for unobserved confounders and then uses that substitute to perform causal inference. We develop theory for the deconfounder, and show that it requires weaker assumptions than classical causal inference. We analyze its performance in three types of studies: semi-simulated data around smoking and lung cancer, semi-simulated data around genome-wide association studies, and a real dataset about actors and movie revenue. The deconfounder provides a checkable approach to estimating closer-to-truth causal effects.


title: Mahavier Products, Idempotent Relations, and Condition $\Gamma$

abstract: Clearly, a generalized inverse limit of metrizable spaces indexed by $\mathbb N$ is metrizable, as it is a subspace of a countable product of metrizable spaces. The authors previously showed that all idempotent, upper semi-continuous, surjective, continuum-valued bonding functions on $[0,1]$ (besides the identity) satisfy a certain Condition $\Gamma$; it follows that only in trivial cases can a generalized inverse limit of copies of ([0,1]) indexed by an uncountable ordinal be metrizable. The authors show that Condition $\Gamma$ is in fact guaranteed by much weaker criteria, proving a more general metrizability theorem for certain Mahavier Products.


title: On two consequences of Berge-Fulkerson conjecture

abstract: The classical Berge-Fulkerson conjecture states that any bridgeless cubic graph $G$ admits a list of six perfect matchings such that each edge of $G$ belongs to two of the perfect matchings from the list. In this short note, we discuss two statements that are consequences of this conjecture. We show that the first statement is equivalent to Fan-Raspaud conjecture. We also show that the smallest counter-example to the second one is a cyclically $4$-edge-connected cubic graph.


title: Multi-layered Network Structure: Relationship Between Financial and Macroeconomic Dynamics

abstract: We demonstrate using multi-layered networks, the existence of an empirical linkage between the dynamics of the financial network constructed from the market indices and the macroeconomic networks constructed from macroeconomic variables such as trade, foreign direct investments, etc. for several countries across the globe. The temporal scales of the dynamics of the financial variables and the macroeconomic fundamentals are very different, which make the empirical linkage even more interesting and significant. Also, we find that there exist in the respective networks, core-periphery structures (determined through centrality measures) that are composed of the similar set of countries -- a result that may be related through the `gravity model' of the country-level macroeconomic networks. Thus, from a multi-lateral openness perspective, we elucidate that for individual countries, larger trade connectivity is positively associated with higher financial return correlations. Furthermore, we show that the Economic Complexity Index and the equity markets have a positive relationship among themselves, as is the case for Gross Domestic Product. The data science methodology using network theory, coupled with standard econometric techniques constitute a new approach to studying multi-level economic phenomena in a comprehensive manner.


title: Disparity Sliding Window: Object Proposals From Disparity Images

abstract: Sliding window approaches have been widely used for object recognition tasks in recent years. They guarantee an investigation of the entire input image for the object to be detected and allow a localization of that object. Despite the current trend towards deep neural networks, sliding window methods are still used in combination with convolutional neural networks. The risk of overlooking an object is clearly reduced compared to alternative detection approaches which detect objects based on shape, edges or color. Nevertheless, the sliding window technique strongly increases the computational effort as the classifier has to verify a large number of object candidates. This paper proposes a sliding window approach which also uses depth information from a stereo camera. This leads to a greatly decreased number of object candidates without significantly reducing the detection accuracy. A theoretical investigation of the conventional sliding window approach is presented first. Other publications to date only mentioned rough estimations of the computational cost. A mathematical derivation clarifies the number of object candidates with respect to parameters such as image and object size. Subsequently, the proposed disparity sliding window approach is presented in detail. The approach is evaluated on pedestrian detection with annotations and images from the KITTI object detection benchmark. Furthermore, a comparison with two state-of-the-art methods is made. Code is available in C++ and Python https://github.com/julimueller/ disparity-sliding-window.


title: Relating log-tangent integrals with the Riemann zeta function

abstract: We show that integrals involving log-tangent function, with respect to certain square-integrable functions on $(0, \pi/2)$, can be evaluated by some series involving the harmonic number. Then we use this result to establish many closed forms relating to the Riemann zeta function at odd positive integers. In addition, we show that the log-tangent integral with respect to the Hurwitz zeta function defines a meromorphic function and that its values depend on the Dirichlet series $\zeta_h(s) :=\sum_{n = 1}^\infty h_n n^{-s}$, where $h_n = \sum_{k=1}^n(2k-1)^{-1}$.


title: $B$ anomalies: From warped models to colliders

abstract: We address the anomalies in the semi leptonic decays of $B$ mesons in a warped custodial framework. Two possible solutions of lepton non-universality are discussed: A) The muon singlets couple non-universally to NP and B) The non-universality is in the coupling of lepton doublets. Both these scenarios are characterized by different predictions for rare Kaon decays. An essential feature of these scenarios is that the electron contribution to the Wilson coefficients (WC) is non-vanishing, thereby offering possibilities for different patterns of solutions. Beginning with a generic $Z'$ model, we demonstrate how the observation of the ratio $N_{\mu\mu}/N_{ee}$ can be mapped to a given pattern of WC which satisfy the anomalies.


title: An extension of the Plancherel measure

abstract: Given a distribution in the unite square and having iid sample from it the first question what a statistician might do to test the hypothesis that the sample is iid. For this purpose an extension of the Plancherel measure is introduced. Recent literature on asymptotic behavior of Plancherel measure is discussed with extension to the new set up. Models for random permutations are described and the power of different tests is compared.


title: Subspace Estimation from Incomplete Observations: A High-Dimensional Analysis

abstract: We present a high-dimensional analysis of three popular algorithms, namely, Oja's method, GROUSE and PETRELS, for subspace estimation from streaming and highly incomplete observations. We show that, with proper time scaling, the time-varying principal angles between the true subspace and its estimates given by the algorithms converge weakly to deterministic processes when the ambient dimension $n$ tends to infinity. Moreover, the limiting processes can be exactly characterized as the unique solutions of certain ordinary differential equations (ODEs). A finite sample bound is also given, showing that the rate of convergence towards such limits is $\mathcal{O}(1/\sqrt{n})$. In addition to providing asymptotically exact predictions of the dynamic performance of the algorithms, our high-dimensional analysis yields several insights, including an asymptotic equivalence between Oja's method and GROUSE, and a precise scaling relationship linking the amount of missing data to the signal-to-noise ratio. By analyzing the solutions of the limiting ODEs, we also establish phase transition phenomena associated with the steady-state performance of these techniques.

categories: cs.LG cond-mat.dis-nn cs.IT math.IT stat.ML