title: Gaining power in multiple testing of interval hypotheses via conditionalization

abstract: In this paper we introduce a novel procedure for improving multiple testing procedures (MTPs) under scenarios when the null hypothesis $p$-values tend to be stochastically larger than standard uniform (referred to as 'inflated'). An important class of problems for which this occurs are tests of interval hypotheses. The new procedure starts with a set of $p$-values and discards those with values above a certain pre-selected threshold while the rest are corrected (scaled-up) by the value of the threshold. Subsequently, a chosen family-wise error rate (FWER) or false discovery rate (FDR) MTP is applied to the set of corrected $p$-values only. We prove the general validity of this procedure under independence of $p$-values, and for the special case of the Bonferroni method we formulate several sufficient conditions for the control of the FWER. It is demonstrated that this 'filtering' of $p$-values can yield considerable gains of power under scenarios with inflated null hypotheses $p$-values.


title: Exponential Thermal Tensor Network Approach for Quantum Lattice Models

abstract: We speed up thermal simulations of quantum many-body systems in both one- (1D) and two-dimensional (2D) models in an exponential way by iteratively projecting the thermal density matrix $\hat\rho=e^{-\beta \hat{H}}$ onto itself. We refer to this scheme of doubling $\beta$ in each step of the imaginary time evolution as the exponential tensor renormalization group (XTRG). This approach is in stark contrast to conventional Trotter-Suzuki-type methods which evolve $\hat\rho$ on a linear quasi-continuous grid in inverse temperature $\beta \equiv 1/T$. In general, XTRG can reach low temperatures exponentially fast, and thus not only saves computational time but also merits better accuracy due to significantly fewer truncation steps. We work in an (effective) 1D setting exploiting matrix product operators (MPOs) which allows us to fully and uniquely implement non-Abelian and Abelian symmetries to greatly enhance numerical performance. We use our XTRG machinery to explore the thermal properties of Heisenberg models on 1D chains and 2D square and triangular lattices down to low temperatures approaching ground state properties. The entanglement properties, as well as the renormalization group flow of entanglement spectra in MPOs, are discussed, where logarithmic entropies (approximately $\ln\beta$) are shown in both spin chains and square lattice models with gapless towers of states. We also reveal that XTRG can be employed to accurately simulate the Heisenberg XXZ model on the square lattice which undergoes a thermal phase transition. We determine its critical temperature based on thermal physical observables, as well as entanglement measures. Overall, we demonstrate that XTRG provides an elegant, versatile, and highly competitive approach to explore thermal properties in both 1D and 2D quantum lattice models.


title: Paired wreaths: towards a 2-categorical atlas of cross products

abstract: After we introduced biwreaths and biwreath-like objects in our previous paper, in the present one we define paired wreaths. In a paired wreath there is a monad $B$ and a comonad $F$ over the same 0-cell in a 2-category $\K$, so that $F$ is a left wreath around $B$ and $B$ is a right cowreath around $F$, and moreover, $FB$ is a bimonad in $\K$. The corresponding 1-cell $FB$ in the setting of a biwreath and a biwreath-like object was not necessarilly a bimonad. We obtain a 2-categorical version of the Radford biproduct and Sweedler's crossed (co)product, that are on one hand, both a biwreath and a biwreath-like object, respectively, and on the other hand, they are also paired wreaths. We show that many known crossed (bi)products in the literature are special cases of paired wreaths, including cocycle cross product bialgebras of Bespalov and Drabant in braided monoidal categories. This is a part of a project of constructing a kind of a 2-categorical atlas of all the known crossed (bi)products. We introduce a Hopf datum in $\K$ which contains part of the structure of a paired wreath. We define Yang-Baxter equations and naturality conditions of certain distributive laws in $\K$ and study when Hopf data are paired wreaths. From the notion of a Hopf datum new definitions of Yetter-Drinfel`d modules, (co)module (co)monads, 2-(co)cycles and (co)cycle twisted (co)actions in a 2-categorical setting are suggested.


title: Ground-state energy of one-dimensional free Fermi gases in the thermodynamic limit

abstract: We study the ground-state energy of one-dimensional, non-interacting fermions subject to an external potential in the thermodynamic limit. To this end, we fix some (Fermi) energy $\nu>0$, confine fermions with total energy below $\nu$ inside the interval $[-L,L]$ and study the shift of the ground-state energy due to the potential $V$ in the thermodynamic limit $L\to\infty$. We show that the difference $\mathcal{E}_L(\nu)$ of the two ground-state energies with and without potential can be decomposed into a term of order one (leading to the Fumi-term) and a term of order $1/L$, which yields the so-called finite size energy. We compute both terms for all possible boundary conditions explicitly and express them through the scattering data of the one-particle Schr\"odinger operator $-\Delta +V$ on $L^2(\mathbb R)$.

categories: math-ph cond-mat.quant-gas math.MP math.SP


title: Dynamic Interference Steering in Heterogeneous Cellular Networks

abstract: With the development of diverse wireless communication technologies, interference has become a key impediment in network performance, thus making effective interference management (IM) essential to accommodate a rapidly increasing number of subscribers with diverse services. Although there have been numerous IM schemes proposed thus far, none of them are free of some form of cost. It is, therefore, important to balance the benefit brought by and cost of each adopted IM scheme by adapting its operating parameters to various network deployments and dynamic channel conditions. We propose a novel IM scheme, called dynamic interference steering (DIS), by recognizing the fact that interference can be not only suppressed or mitigated but also steered in a particular direction. Specifically, DIS exploits both channel state information (CSI) and the data contained in the interfering signal to generate a signal that modifies the spatial feature of the original interference to partially or fully cancel the interference appearing at the victim receiver. By intelligently determining the strength of the steering signal, DIS can steer the interference in an optimal direction to balance the transmitter's power used for IS and the desired signal's transmission. DIS is shown via simulation to be able to make better use of the transmit power, hence enhancing users' spectral efficiency (SE) effectively.


title: New Open Cluster Candidates Discovered in the XSTPS-GAC Survey

abstract: The Xuyi Schmidt Telescope Photometric Survey of the Galactic Anti-center (XSTPS-GAC) is a photometric sky survey that covers nearly 6 000 deg^2 towards Galactic anti-center in g r i bands. Half of its survey field locates on the Galactic Anti-center disk, which makes XSTPS-GAC highly suitable for searching new open clusters in the GAC region. In this paper, we report new open cluster candidates discovered in this survey, as well as properties of these open cluster candidates, such as age, distance and reddening, derived by isochrone fitting in the color-magnitude diagram (CMD). These open cluster candidates are stellar density peaks detected in the star density maps by applying the method from Koposov et al. (2008). Each candidate is inspected on its true color image composed from XSTPS-GAC three band images. Then its CMD is checked, in order to identify whether the central region stars have a clear isochrone-like trend differing from the background stars. The parameters derived from isochrone fitting for these candidates are mainly based on three band photometry of XSTPS-GAC. Meanwhile, when these new candidates are able to be seen clearly on 2MASS, their parameters are also derived based on 2MASS (J-H, J) CMD. Finally, there are 320 known open clusters rediscovered and 24 new open cluster candidates discovered in this work. Further more, the parameters of these new candidates, as well as another 11 known recovered open clusters, are properly determined for the first time.


title: Energy transfer reaction K(4s) + K(7s) \rightarrow K(4s) + K(5f), theory compared with experiment

abstract: A comparison between theory and experiment, concerning the K(4s)+K(7s)\rightarrow K(4s)+K(5f) reaction of energy transfer in thermal collisions, is presented. Relevant cross sections are calculated for the potassium vapour temperatures in the range of 310-1000 K. They are based on the theoretical adiabatic K_2 potential energy curves and on the use of the multicrossing Landau-Zener model. In the temperature range of the present experiment, 428-451 K, the computed cross sections vary little, from 2.09x10^-14 cm^2 to 2.04x10^-14 cm^2, and agree well with the value 1.8(8)x10^-14 cm^2, which is the average of the corresponding experimental results.


title: Image Inpainting by Hyperbolic Selection of Pixels for Two Dimensional Bicubic Interpolations

abstract: Image inpainting is a restoration process which has numerous applications. Restoring of scanned old images with scratches, or removing objects in images are some of inpainting applications. Different approaches have been used for implementation of inpainting algorithms. Interpolation approaches only consider one direction for this purpose. In this paper we present a new perspective to image inpainting. We consider multiple directions and apply both one-dimensional and two-dimensional bicubic interpolations. Neighboring pixels are selected in a hyperbolic formation to better preserve corner pixels. We compare our work with recent inpainting approaches to show our superior results.


title: Inverse Exponential Decay: Stochastic Fixed Point Equation and ARMA Models

abstract: We study solutions to the stochastic fixed point equation $X\stackrel{d}{=}AX+B$ when the coefficients are nonnegative and $B$ is an "inverse exponential decay" (IED) random variable. We provide theorems on the left tail of $X$ which complement well-known tail results of Kesten and Goldie. We generalize our results to ARMA processes with nonnegative coefficients whose noise terms are from the IED class. We describe the lower envelope for these ARMA processes.


title: On a scenario of onset of strongly dissipative mixed dynamics

abstract: In this paper we present the scenario of the occurrence of strongly dissipative mixed dynamics in two-dimensional reversible diffeomorphisms, using as an example the system describing a motion of two point vortices under the influence of wave perturbation and shear flow. For mixed dynamics of this type the chaotic attractor intersects with the chaotic repeller, but their intersection forms a "thin" set. The main stage of this scenario is the appearance of homoclinic structures for a symmetric saddle orbit which arise after crisis of a homoclinic attractor and repeller.


title: Monads on projective varieties

abstract: We generalise Fl\o{}ystad's theorem on the existence of monads on the projective space to a larger set of projective varieties. We consider a variety $X$, a line bundle $L$ on $X$, and a base-point-free linear system of sections of $L$ giving a morphism to the projective space whose image is either arithmetically Cohen-Macaulay (ACM), or linearly normal and not contained in a quadric. We give necessary and sufficient conditions on integers $a$, $b$, and $c$ for a monad of type \[ 0\to(L^\vee)^a\to\mathcal{O}_{X}^{\,b}\to L^c\to0 \] to exist. We show that under certain conditions there exists a monad whose cohomology sheaf is simple. We furthermore characterise low-rank vector bundles that are the cohomology sheaf of some monad as above. Finally, we obtain an irreducible family of monads over the projective space and make a description on how the same method could be used on an ACM smooth projective variety $X$. We establish the existence of a coarse moduli space of low-rank vector bundles over an odd-dimensional $X$ and show that in one case this moduli space is irreducible.


title: Adaptive Sign Error Control

abstract: In multiple testing scenarios, typically the sign of a parameter is inferred when its estimate exceeds some significance threshold in absolute value. Typically, the significance threshold is chosen to control the experimentwise type I error rate, family-wise type I error rate or the false discovery rate. However, controlling these error rates does not explicitly control the sign error rate. In this paper, we propose two procedures for adaptively selecting an experimentwise significance threshold in order to control the sign error rate. The first controls the sign error rate conservatively, without any distributional assumptions on the parameters of interest. The second is an empirical Bayes procedure, and achieves optimal performance asymptotically when a model for the distribution of the parameters is correctly specified. We also discuss an adaptive procedure to minimize the sign error rate when the experimentwise type I error rate is held fixed.


title: Betti numbers for numerical semigroup rings

abstract: We survey results related to the magnitude of the Betti numbers of numerical semigroup rings and of their tangent cones.


title: Victorinus Sch\"onfeldt (1533 - 1591) und sein "Prognosticon Astrologicum"

abstract: Annual astrological calendars, practica and prognostications became widespread publications in Europe after the invention of printing presses in the 15th century. Using the national language instead of Latin, the language of the scientists, the motion of sun, moon and planets were explained and used to foretell weather, growth of fruit, diseases, war and misfortune. By this means astronomical knowledge became accessible to everyone capable of reading. A milestone in the context of position calculations of bodies of our solar system was the publication of the Copernican system in 1543. When Victorinus Sch\"onfeldt started his studies at Wittenberg University he was educated in the so called "Wittenberg Interpretation" of Copernicus. In 1557 Sch\"onfeldt became professor of mathematics at Marburg University and in 1566 he additionally was given a professorship of medicine With the help of his teachers and mentors in Wittenberg Sch\"onfeldt was introduced to the court of the landgrave of Hessen in Marburg and became a close friend to the noble family. To Wilhelm IV., landgrave of Hessen-Kassel from 1567, he served not only as one of the personal physicians but as a scientific counselor in the landgraves' astronomical studies. Presumably right after being appointed a professor of mathematics Sch\"onfeldt began to write his "\emph{Prognosticon Astrologicum}", a series of annual books, that he continued until his death. He made use the Copernican system for his calculations, comparing them occasionally with calculations using new Ptolemaic based ephemerides and in his last almanacs with calculations based on Tycho Brahes' model.


title: Interplay of coherent and dissipative dynamics in condensates of light

abstract: Based on the Lindblad master equation approach we obtain a detailed microscopic model of photons in a dye-filled cavity, which features condensation of light. To this end we generalise a recent non-equilibrium approach of Kirton and Keeling such that the dye-mediated contribution to the photon-photon interaction in the light condensate is accessible due to an interplay of coherent and dissipative dynamics. We describe the steady-state properties of the system by analysing the resulting equations of motion of both photonic and matter degrees of freedom. In particular, we discuss the existence of two limiting cases for steady states: photon Bose-Einstein condensate and laser-like. In the former case, we determine the corresponding dimensionless photon-photon interaction strength by relying on realistic experimental data and find a good agreement with previous theoretical estimates. Furthermore, we investigate how the dimensionless interaction strength depends on the respective system parameters.


title: Higher topological Hochschild homology of periodic complex K-theory

abstract: We describe the topological Hochschild homology of the periodic complex $K$-theory spectrum, $THH(KU)$, as a commutative $KU$-algebra: it is equivalent to $KU[K(\mathbb{Z},3)]$ and to $F(\Sigma KU_{\mathbb{Q}})$, where $F$ is the free commutative $KU$-algebra functor on a $KU$-module. Moreover, $F(\Sigma KU_{\mathbb{Q}})\simeq KU \vee \Sigma KU_{\mathbb{Q}}$, a square-zero extension. In order to prove these results, we first establish that topological Hochschild homology commutes, as an algebra, with localization at an element. Then, we prove that $THH^n(KU)$, the $n$-fold iteration of $THH(KU)$, i.e. $T^n\otimes KU$, is equivalent to $KU[G]$ where $G$ is a certain product of integral Eilenberg-Mac Lane spaces, and to a free commutative $KU$-algebra on a rational $KU$-module. We prove that $S^n \otimes KU$ is equivalent to $KU[K(\mathbb{Z},n+2)]$ and to $F(\Sigma^n KU_{\mathbb{Q}})$. We describe the topological Andr\'e-Quillen homology of $KU$.


title: On the uniqueness of solutions to quadratic BSDEs with non-convex generators

abstract: In this paper we prove some uniqueness results for quadratic backward stochastic differential equations without any convexity assumptions on the generator. The bounded case is revisited while some new results are obtained in the unbounded case when the terminal condition and the generator depend on the path of a forward stochastic differential equation. Some of these results are based on strong estimates on $Z$ that are interesting on their own and could be applied in other situations.


title: Symmetry breaking for representations of rank one orthogonal groups II

abstract: For a pair $(G,G')=(O(n+1,1), O(n,1))$ of reductive groups, we investigate intertwining operators (symmetry breaking operators) between principal series representations $I_\delta(V,\lambda)$ of $G$, and $J_\epsilon(W,\nu)$ of the subgroup $G'$. The representations are parametrized by finite-dimensional representations $V,W$ of $O(n)$ respectively of $O(n-1)$, characters $\delta$, $\varepsilon$ of O(1), and $\lambda, \nu \in C$. The multiplicty [V:W] of W occurring in the restriction $V|_{O(n-1)}$ is either 0 or 1. If $[V:W] \ne 0$ then we construct a holomorphic family of symmetry breaking operators and prove that dim $Hom_{G'}(I_{\delta}(V, \lambda)|_{G'}, J_{\epsilon}(W, \nu))$ is nonzero for all the parameters $\lambda$, $\nu$ and $\delta$, $\epsilon$, whereas if [V:W] = 0 there may exist sporadic differential symmetry breaking operators. We propose a "classification scheme" to find all matrix-valued symmetry breaking operators explicitly,and carry out this program completely when V and W are exterior tensor representations. In conformal geometry, our results yield the complete classification of conformal covariant operators from differential forms on a Riemannian manifold X to those on a submanifold Y in the model space $(X, Y) = (S^n, S^{n-1})$. We use these results to determine symmetry breaking operators for any pair of irreducible representations of G and the subgroup $G'$ with trivial infinitesimal character. Furthermore we prove the multiplicity conjecture by Gross and Prasad for tempered principal series representations of $(SO(n+1,1),SO(n,1))$ and also for 3 tempered representations $\Pi, \pi, \varpi$ of $SO(2m+2,1)$, $SO(2m+1,1)$ and $SO(2m,1)$ with trivial infinitesimal character. In connection to automorphic form theory, we apply our main results to find "periods" of irreducible representations of the Lorentz group having nonzero (g, K)-cohomologies.


title: Does the Cross-Talk Between Nonlinear Modes Limit the Performance of NFDM Systems?

abstract: We show a non-negligible cross-talk between nonlinear modes in Nonlinear Frequency-Division Multiplexed system when data is modulated over the nonlinear Fourier spectrum, both the continuous spectrum and the discrete spectrum, and transmitted over a lumped amplified fiber link. We evaluate the performance loss if the cross-talks are neglected.


title: Modified Dark Matter in Galaxies and Galaxy Clusters

abstract: Modified Dark Matter (MDM) is a phenomenological model of dark matter, inspired by gravitational thermodynamics, that naturally accounts for the universal acceleration constant observed in galactic rotation curve data; a critical acceleration related to the cosmological constant, $\Lambda$, appears as a phenomenological manifestation of MDM. We show that the resulting mass profiles, which are sensitve to $\Lambda$, are consistent with observations at the galactic and galaxy cluster scales. Our results suggest that dark matter mass profiles contain information about the cosmological constant in a non-trivial way.


title: On the Mediating Field in a Conformally Transformed Einstein Equation

abstract: A unique constraint is defined within the framework of scalar-tensor theories, whereby the conformal factor is fixed to the fluctuation associated to the effective mass of the Hamilton-Jacobi equation for a Klein-Gordon field. The effective mass is extended to its exponential form to remove any ghost (energy) states. The constraint's Lagrange multiplier $\lambda$, referred to as the mediating field, is shown to act as a mediator between the scalar and tensor degrees of freedom. In its linear form, Heisenberg's uncertainty principle appears as a natural artifact of the mediating field. In its exponential form, the mediating field is shown to be bound, nonsingular, and of increasing significance for smaller masses. Furthermore, in acquiring the stress-energy tensors, the cosmological constant $\Lambda$ is formulated for a stationary solution of the particle density and mediating field. As a result, the mysterious variation in $\Lambda$ is properly evaluated from its cosmological value to that of an electron, from which a 77 order difference is obtained. In our final remarks, the mediating field $\lambda$ is suggested to be characteristic of the vacuum's energy density.


title: Asymptotic safety of quantum gravity beyond Ricci scalars

abstract: We investigate the asymptotic safety conjecture for quantum gravity including curvature invariants beyond Ricci scalars. Our strategy is put to work for families of gravitational actions which depend on functions of the Ricci scalar, the Ricci tensor, and products thereof. Combining functional renormalisation with high order polynomial approximations and full numerical integration we derive the renormalisation group flow for all couplings and analyse their fixed points, scaling exponents, and the fixed point effective action as a function of the background Ricci curvature. The theory is characterised by three relevant couplings. Higher-dimensional couplings show near-Gaussian scaling with increasing canonical mass dimension. We find that Ricci tensor invariants stabilise the UV fixed point and lead to a rapid convergence of polynomial approximations. We apply our results to models for cosmology and establish that the gravitational fixed point admits inflationary solutions. We also compare findings with those from $f(R)$-type theories in the same approximation and pin-point the key new effects due to Ricci tensor interactions. Implications for the asymptotic safety conjecture of gravity are indicated.


title: On the cone of $f$-vectors of cubical polytopes

abstract: What is the minimal closed cone containing all $f$-vectors of cubical $d$-polytopes? We construct cubical polytopes showing that this cone, expressed in the cubical $g$-vector coordinates, contains the nonnegative $g$-orthant, thus verifying one direction of the Cubical Generalized Lower Bound Conjecture of Babson, Billera and Chan. Our polytopes also show that a natural cubical analogue of the simplicial Generalized Lower Bound Theorem does not hold.


title: Hidden charmed states and multibody color flux-tube dynamics

abstract: Within the framework of the color flux-tube model with a multibody confinement potential, we systematically investigate the hidden charmed states observed in recent years. It can be found that most of them can be described as the compact tetraquark states $[cq][\bar{c}\bar{q}]$ ($q=u,d$ and $s$) in the color flux-tube model. The multibody confinement potential based on the color flux-tube picture is a dynamical mechanism in the formation and decay of the compact tetraquark states.


title: Room Temperature Superconductivity Revolution: Foreshadowed by Victorians, Enabled by Millenials

abstract: Room temperature superconductivity has been the most prominent, highly ambitious, but still imaginable, acme of materials physics for half a century. The struggle toward this revolution was foreshadowed by a Victorian novelist and championed,unsuccessfully, by dogged physicists in the 1960s to 1980s who had a workable theory but uncompliant materials. Discovery of superconductivity of H$_3$S at 200 K in the 160-200 GPa pressure range has renewed anticipation of yet higher values of the critical temperature T$_c$. With the several reports of metalization of hydrogen, and theoretical extensions enabled by modern algorithms and unprecedented computational hardware and spurred forward by the Materials Genome Initiative, it is possible that the room temperature precipice has thereby already been breached in a silent revolution. This concise note draws analogies of this development with an earlier revolution.


title: The Moving-Grid Effect in the Harmonic Vibrational Frequency Calculations with Numeric Atom-Centered Orbitals

abstract: When using atom-centered integration grids, the portion of the grid that belongs to a certain atom also moves when this atom is displaced. In the paper, we investigate the moving-grid effect in the calculation of the harmonic vibrational frequencies when using all-electron full-potential numeric atomic-centered orbitals as the basis set. We find that, unlike the first order derivative (i.e., forces), the moving-grid effect plays an essential role for the second order derivatives (i.e., vibrational frequencies). Further analysis reveals that predominantly diagonal force constant terms are affected, which can be bypassed efficiently by invoking translational symmetry. Our approaches have been demonstrated in both finite (molecules) and extended (periodic) systems.


title: A Concentration Inequality for Random Polytopes, Dirichlet-Voronoi Tiling Numbers and the Geometric Balls and Bins Problem

abstract: Our main contribution is a concentration inequality for the symmetric volume difference of a $ C^2 $ convex body with positive Gaussian curvature and a circumscribed random polytope with a restricted number of facets, for any probability measure on the boundary with a positive density function. We also show that the Dirichlet-Voronoi tiling numbers satisfy $ \text{div}_{n-1} = (2\pi e)^{-1}(n+\ln n) + O(1)$, which improves a classical result of Zador by a factor of $o(n)$. In addition, we provide a remarkable open problem which is the natural geometric generalization of the famous and fundamental "balls and bins" problem from probability. This problem is tightly connected to the optimality of random polytopes in high dimensions.


title: The origins of Zipf's meaning-frequency law

abstract: In his pioneering research, G. K. Zipf observed that more frequent words tend to have more meanings, and showed that the number of meanings of a word grows as the square root of its frequency. He derived this relationship from two assumptions: that words follow Zipf's law for word frequencies (a power law dependency between frequency and rank) and Zipf's law of meaning distribution (a power law dependency between number of meanings and rank). Here we show that a single assumption on the joint probability of a word and a meaning suffices to infer Zipf's meaning-frequency law or relaxed versions. Interestingly, this assumption can be justified as the outcome of a biased random walk in the process of mental exploration.


title: OGLE-2016-BLG-1045: A Test of Cheap Space-Based Microlens Parallaxes

abstract: Microlensing is a powerful and unique technique to probe isolated objects in the Galaxy. To study the characteristics of these interesting objects based on the microlensing method, measurement of the microlens parallax is required to determine the properties of the lens. Of the various methods to measure microlens parallax, the most robust way is to make simultaneous ground- and space-based observations, i.e., by measuring the space-based microlens parallax. However, space-based campaigns usually require "expensive" resources. Gould & Yee (2012) proposed an idea called the "cheap space-based microlens parallax" that can measure the lens-parallax using only $2$ or $3$ space-based observations of high-magnification events. This cost-effective observation strategy to measure microlens parallaxes could be used by space-borne telescopes to build a complete sample for studying isolated objects. This would enable a direct measurement of the mass function including both extremely low-mass objects and high-mass stellar remnants. However, to adopt this idea requires a test to check how it would work in actual situations. Thus, we present the first practical test of the idea using the high-magnification microlensing event OGLE-2016-BLG-1045, for which a subset of Spitzer observations fortuitously duplicate the prescription of Gould & Yee (2012). From the test, we confirm that the measurement of the lens-parallax adopting this idea has sufficient accuracy to determine the physical properties of the isolated lens.


title: Robust affine control of linear stochastic systems

abstract: In this work we provide a computationally tractable procedure for designing affine control policies, applied to constrained, discrete-time, partially observable, linear systems subject to set bounded disturbances, stochastic noise and potentially Markovian switching over a finite horizon. We investigate the situation when performance specifications are expressed via averaged quadratic inequalities on the random state-control trajectory. Our methodology also applies to steering the density of the state-control trajectory under set bounded uncertainty. Our developments are based on expanding the notion of affine policies that are functions of the so-called "purified outputs", to the class of Markov jump linear systems. This re-parametrization of the set of policies, induces a bi-affine structure in the state and control variables that can further be exploited via robust optimization techniques, with the approximate inhomogeneous $S$-lemma being the cornerstone. Tractability is understood in the sense that for each type of performance specification considered, an explicit convex program for selecting the parameters specifying the control policy is provided. Our contributions to the existing literature on the subject of robust constrained control lies in the fact that we are addressing a wider class of systems than the ones already studied, by including Markovian switching, and the consideration of quadratic inequalities rather than just linear ones. Our work expands on the previous investigations on finite horizon covariance control by addressing the robustness issue and the possibility that the full state may not be available, therefore enabling the steering of the state-control trajectory density in the presence of disturbances under partial observation.


title: PAC-Bayesian Margin Bounds for Convolutional Neural Networks

abstract: Recently the generalization error of deep neural networks has been analyzed through the PAC-Bayesian framework, for the case of fully connected layers. We adapt this approach to the convolutional setting.


title: The Allocation of a Variable Series Reactor Considering AC Constraints and Contingencies

abstract: The Variable Series Reactors (VSRs) can efficiently control the power flow through the adjustment of the line reactance. When they are appropriately allocated in the power network, the transmission congestion and generation cost can be reduced. This paper proposes a planning model to optimally allocate VSRs considering AC constraints and multi-scenarios including base case and contingencies. The planning model is originally a non-convex large scale mixed integer nonlinear program (MINLP), which is generally intractable. The proposed Benders approach decomposes the MINLP model into a mixed integer linear program (MILP) master problem and a number of nonlinear subproblems. Numerical case studies based on IEEE 118-bus demonstrate the high performance of the proposed approach.


title: Theory of Deep Learning III: explaining the non-overfitting puzzle

abstract: A main puzzle of deep networks revolves around the absence of overfitting despite large overparametrization and despite the large capacity demonstrated by zero training error on randomly labeled data. In this note, we show that the dynamics associated to gradient descent minimization of nonlinear networks is topologically equivalent, near the asymptotically stable minima of the empirical error, to linear gradient system in a quadratic potential with a degenerate (for square loss) or almost degenerate (for logistic or crossentropy loss) Hessian. The proposition depends on the qualitative theory of dynamical systems and is supported by numerical results. Our main propositions extend to deep nonlinear networks two properties of gradient descent for linear networks, that have been recently established (1) to be key to their generalization properties: 1. Gradient descent enforces a form of implicit regularization controlled by the number of iterations, and asymptotically converges to the minimum norm solution for appropriate initial conditions of gradient descent. This implies that there is usually an optimum early stopping that avoids overfitting of the loss. This property, valid for the square loss and many other loss functions, is relevant especially for regression. 2. For classification, the asymptotic convergence to the minimum norm solution implies convergence to the maximum margin solution which guarantees good classification error for "low noise" datasets. This property holds for loss functions such as the logistic and cross-entropy loss independently of the initial conditions. The robustness to overparametrization has suggestive implications for the robustness of the architecture of deep convolutional networks with respect to the curse of dimensionality.


title: Vacuum polarization in Siklos spacetimes

abstract: We study the effect of one-loop vacuum polarization on photon propagation in Siklos spacetimes in the geometric optics limit. We show that for photons with a general polarization in the transverse plane, the quantum correction vanishes in spacetimes with $H_{xy}=0$. For photons polarized along a transverse axis, subluminal and superluminal solutions are admitted for certain subclasses of Siklos spacetimes. We investigate the results in the Kaigorodov and Defrise spacetimes and obtain explicit expressions for the phase velocities. In Kaigorodov spacetime with $H\sim x^3$, photons polarized along $x$-axis are subluminal in regions where $H$ is positive, and superluminal in regions where $H$ is negative, while photons polarized along $y$-axis are superluminal in $H>0$ regions and subluminal in $H<0$ regions. In Defrise spacetime, $H\sim x^{-2}$, $x$-polarized and $y$-polarized photons are superluminal for $H<0$ and subluminal for $H>0$. We comment on motion in other Siklos spacetimes.


title: New robust confidence intervals for the mean under dependence

abstract: The goal of this paper is to indicate a new method for constructing normal confidence intervals for the mean, when the data is coming from stochastic structures with possibly long memory, especially when the dependence structure is not known or even the existence of the density function. More precisely we introduce a random smoothing suggested by the kernel estimators for the regression function. Applications are presented to linear processes and reversible Markov chains with long memory.


title: Fluctuations in active membranes

abstract: Active contributions to fluctuations are a direct consequence of metabolic energy consumption in living cells. Such metabolic processes continuously create active forces, which deform the membrane to control motility, proliferation as well as homeostasis. Membrane fluctuations contain therefore valuable information on the nature of active forces, but classical analysis of membrane fluctuations has been primarily centered on purely thermal driving. This chapter provides an overview of relevant experimental and theoretical approaches to measure, analyze and model active membrane fluctuations. In the focus of the discussion remains the intrinsic problem that the sole fluctuation analysis may not be sufficient to separate active from thermal contributions, since the presence of activity may modify membrane mechanical properties themselves. By combining independent measurements of spontaneous fluctuations and mechanical response, it is possible to directly quantify time and energy-scales of the active contributions, allowing for a refinement of current theoretical descriptions of active membranes.


title: Conservation of energy for the Euler-Korteweg equations

abstract: In this article we study the principle of energy conservation for the Euler-Korteweg system. We formulate an Onsager-type sufficient regularity condition for weak solutions of the Euler-Korteweg system to conserve the total energy. The result applies to the system of Quantum Hydrodynamics.


title: Fluctuations and correlations from NA61/SHINE

abstract: Basic ideas, methods and results related to the NA61/SHINE study of event-by-event fluctuations in high energy nuclear collisions are briefly reviewed.


title: n-Arc Connected Graphs

abstract: Given a graph G, of arbitrary size and unbounded vertex degree, denote by |G| the one-complex associated with $G$. The topological space |G| is n-arc connected (n-ac) if every set of no more than n points of |G| are contained in an arc (a homeomorphic copy of the closed unit interval). For any graph G, we show the following are equivalent: (i) |G| in 7-ac, (ii) |G| is n-ac for all n, and (iii) G is a subdivision of one of nine graphs. A graph G has |G| 6-ac if and only if either G is one of the nine 7-ac graphs, or, after suppressing all degree-2-vertices, the graph G is 3-regular, 3-connected, and removing any 6 edges does not disconnect G into 4 or more components. Similar combinatorial characterizations of graphs G such that |G| is n-ac for n=3, 4 and 5 are given. Together these results yield a complete classification of n-ac graphs, for all n.


title: Uniaxial and biaxial structures in the elastic Maier-Saupe model

abstract: We perform statistical mechanics calculations to analyze the global phase diagram of a fully-connected version of a Maier-Saupe-Zwanzig lattice model with the inclusion of couplings to an elastic strain field. We point out the presence of uniaxial and biaxial nematic structures, depending on temperature $T$ and on the applied stress $\sigma$. Under uniaxial extensive tension, applied stress favors uniaxial orientation, and we obtain a first-order boundary, along which there is a coexistence of two uniaxial paranematic phases, and which ends at a simple critical point. Under uniaxial compressive tension, stress favors biaxial orientation; for small values of the coupling parameters, the first-order boundary ends at a tricritical point, beyond which there is a continuous transition between a paranematic and a biaxially ordered structure. For some representative choices of the model parameters, we obtain a number of analytic results, including the location of critical and tricritical points and the line of stability of the biaxial phase.


title: A Study of the Effect of Bulges on Bar Formation in Disk galaxies

abstract: We use N-body simulations of bar formation in isolated galaxies to study the effect of bulge mass and bulge concentration on bar formation. Bars are global disk instabilities that evolve by transferring angular momentum from the inner to outer disks and to the dark matter halo. It is well known that a massive spherical component such as halo in a disk galaxy can make it bar stable. In this study we explore the effect of another spherical component, the bulge, on bar formation in disk galaxies. In our models we vary both the bulge mass and concentration. We have used two sets of models, one that has a dense bulge and high surface density disk. The second model has a less concentrated bulge and a lighter disk. In both models we vary the bulge to disk mass fraction from 0 to 0.7. Simulations of both the models show that there is an upper cutoff in bulge to disk mass ratio M b /M d above which bars cannot form; the cutoff is smaller for denser bulges( M b /M d = 0.2) compared to less denser ones (M b /M d = 0.5). We define a new criteria for bar formation in terms of bulge to disk radial force ratio (F b /F d ) at the disk scale lengths above which bars cannot form. We find that if F b /F d > 0.35, a disk is stable and a bar cannot form. Our results indicate that early type disk galaxies can still form strong bars in spite of having massive bulges.


title: A Real-time and Registration-free Framework for Dynamic Shape Instantiation

abstract: Real-time 3D navigation during minimally invasive procedures is an essential yet challenging task, especially when considerable tissue motion is involved. To balance image acquisition speed and resolution, only 2D images or low-resolution 3D volumes can be used clinically. In this paper, a real-time and registration-free framework for dynamic shape instantiation, generalizable to multiple anatomical applications, is proposed to instantiate high-resolution 3D shapes of an organ from a single 2D image intra-operatively. Firstly, an approximate optimal scan plane was determined by analyzing the pre-operative 3D statistical shape model (SSM) of the anatomy with sparse principal component analysis (SPCA) and considering practical constraints . Secondly, kernel partial least squares regression (KPLSR) was used to learn the relationship between the pre-operative 3D SSM and a synchronized 2D SSM constructed from 2D images obtained at the approximate optimal scan plane. Finally, the derived relationship was applied to the new intra-operative 2D image obtained at the same scan plane to predict the high-resolution 3D shape intra-operatively. A major feature of the proposed framework is that no extra registration between the pre-operative 3D SSM and the synchronized 2D SSM is required. Detailed validation was performed on studies including the liver and right ventricle (RV) of the heart. The derived results (mean accuracy of 2.19mm on patients and computation speed of 1ms) demonstrate its potential clinical value for real-time, high-resolution, dynamic and 3D interventional guidance.


title: Point Divergence Gain and Multidimensional Data Sequences Analysis

abstract: We introduce novel information-entropic variables -- a Point Divergence Gain (${\Omega}^{(l \rightarrow m)}_\alpha$), a Point Divergence Gain Entropy ($I_\alpha$), and a Point Divergence Gain Entropy Density ($P_\alpha$) -- which are derived from the R\'{e}nyi entropy and describe spatio-temporal changes between two consecutive discrete multidimensional distributions. The behavior of ${\Omega}^{(l \rightarrow m)}_\alpha$ is simulated for typical distributions and, together with $I_\alpha$ and $P_\alpha$, applied in analysis and characterization of series of multidimensional datasets of computer-based and real images.


title: H4-Writer: A Text Entry Method Designed For Gaze Controlled Environment with Low KSPC and Spatial Footprint

abstract: This paper presents a new text entry technique, namely H4-Writer, designed for gaze controlled environments and aimed at reducing average KSPC . and spatial footprint. It also presents an empirical evaluation of this proposed system by using three different input devices: mouse, gamepad, and eye tracker. The experiment was conducted using 9 participants and the obtained data were used to compare the entry speeds, efficiency and KSPC of H4-Writer for all the devices. Over three blocks, the average entry speed was 3.54 wpm for the mouse, 3.33 wpm for the gamepad and only 2.11 wpm for the eye tracker. While the eye tracker fared poorly compared to the mouse and the gamepad on entry speed, it showed significant improvement in entry speed over progressing blocks indicating increase in entry speed with practice. A full longitudinal study was conducted to indicate this. The average KSPC of all the three devices over all the text phrases entered was 2.62, which is significantly lower compared to other hand writing recognizing text entry techniques like EdgeWrite. An analysis of the blocks revealed improvement in error rate, efficiency and KSPC values with progressing block numbers as the participants got more acclimatized with the key codes for corresponding characters.


title: A dynamic network model with persistent links and node-specific latent variables, with an application to the interbank market

abstract: We propose a dynamic network model where two mechanisms control the probability of a link between two nodes: (i) the existence or absence of this link in the past, and (ii) node-specific latent variables (dynamic fitnesses) describing the propensity of each node to create links. Assuming a Markov dynamics for both mechanisms, we propose an Expectation-Maximization algorithm for model estimation and inference of the latent variables. The estimated parameters and fitnesses can be used to forecast the presence of a link in the future. We apply our methodology to the e-MID interbank network for which the two linkage mechanisms are associated with two different trading behaviors in the process of network formation, namely preferential trading and trading driven by node-specific characteristics. The empirical results allow to recognise preferential lending in the interbank market and indicate how a method that does not account for time-varying network topologies tends to overestimate preferential linkage.


title: Norm Estimates for $k$-Plane Transforms and Geometric Inequalities

abstract: The article is devoted to remarkable interrelation between the norm estimates for $k$-plane transforms in weighted and unweighted $L^p$ spaces and geometric integral inequalities for cross-sections of measurable sets in $\mathbb{R}^n$. We also consider more general $j$-plane to $k$-plane transforms on affine Grassmannians and their compact modifications. The article contains a series of new integral-geometric inequalities with sharp constants, explicit equalities, conjectures, and open problems.


title: Fractional Local Neighborhood Intensity Pattern for Image Retrieval using Genetic Algorithm

abstract: In this paper, a new texture descriptor named "Fractional Local Neighborhood Intensity Pattern" (FLNIP) has been proposed for content based image retrieval (CBIR). It is an extension of the Local Neighborhood Intensity Pattern (LNIP)[1]. FLNIP calculates the relative intensity difference between a particular pixel and the center pixel of a 3x3 window by considering the relationship with adjacent neighbors. In this work, the fractional change in the local neighborhood involving the adjacent neighbors has been calculated first with respect to one of the eight neighbors of the center pixel of a 3x3 window. Next, the fractional change has been calculated with respect to the center itself. The two values of fractional change are next compared to generate a binary bit pattern. Both sign and magnitude information are encoded in a single descriptor as it deals with the relative change in magnitude in the adjacent neighborhood i.e., the comparison of the fractional change. The descriptor is applied on four multi-resolution images -- one being the raw image and the other three being filtered gaussian images obtained by applying gaussian filters of different standard deviations on the raw image to signify the importance of exploring texture information at different resolutions in an image. The four sets of distances obtained between the query and the target image are then combined with a genetic algorithm based approach to improve the retrieval performance by minimizing the distance between similar class images. The performance of the method has been tested for image retrieval on four popular databases. The precision and recall values observed on these databases have been compared with recent state-of-art local patterns. The proposed method has shown a significant improvement over many other existing methods.


title: Coefficients of Gaussian Polynomials Modulo $N$

abstract: The $q$-analogue of the binomial coefficient, known as a $q$-binomial coefficient, is typically denoted $\left[{n \atop k}\right]_q$. These polynomials are important combinatorial objects, often appearing in generating functions related to permutations and in representation theory. Stanley conjectured that the function $f_{k,R}(n) = \#\left\{i : [q^{i}] \left[{n \atop k}\right]_q \equiv R \pmod{N}\right\}$ is quasipolynomial for $N=2$. We generalize, showing that this is in fact true for any integer $N\in \mathbb{N}$ and determine a quasi-period $\pi'_N(k)$ derived from the minimal period $\pi_N(k)$ of partitions with at most $k$ parts modulo $N$.


title: Orbital Period Changes in WZ Sagittae

abstract: We report a long-term (1961-2017) study of the eclipse times in the dwarf nova WZ Sagittae, in an effort to learn its rate of orbital-period change. Some wiggles with a time scale of 20-50 years are apparent, and a connection with the 23-year interval between dwarf-nova eruptions is possible. These back-and-forth wiggles dominate the O-C diagram, and prevent a secure measurement of the steady rate of orbital-period change. The line, it is drawn, the curse, it is cast. The slow one now will later be fast... For the times, they are a-changin'. - Dylan (1963)


title: A proposal for direct measurement on the quantum geometric potential

abstract: The quantum geometric potential is a gauge invariant carrying novel geometric features between any two energy levels or bands in quantum systems. In generic time-dependent systems it gives a vital physical modification for the instantaneous energy gaps, laying down more appropriate quantum adiabatic conditions for both non-degenerate and degenerate systems. Remarkably, for generic parameterized quantum systems, the integration of the quantum geometric potential on a closed loop leads to a novel type of quantized winding number, which is a quantum counterpart of the Gauss-Bonnet theorem. The effects of the quantum geometric potential had been indirectly supported by the experiments on the quantum adiabatic evolution, however, a direct experimental observation so far is lacking. In this paper we propose an interference measurement to directly probe the quantum geometric potential, where the relevant parameters are easily accessible by current experimental apparatus. A direct confirmation of this new physical quantity could motive further theoretical and experimental investigations as well as its potential real applications.


title: Categorical diagonalization of full twists

abstract: We conjecture that the complex of Soergel bimodules associated with the full twist braid is categorically diagonalizable, for any finite Coxeter group. This utilizes the theory of categorical diagonalization introduced earlier by the authors. We prove our conjecture in type $A$, and as a result we obtain a categorification of the Young idempotents.


title: A Unified Method for First and Third Person Action Recognition

abstract: In this paper, a new video classification methodology is proposed which can be applied in both first and third person videos. The main idea behind the proposed strategy is to capture complementary information of appearance and motion efficiently by performing two independent streams on the videos. The first stream is aimed to capture long-term motions from shorter ones by keeping track of how elements in optical flow images have changed over time. Optical flow images are described by pre-trained networks that have been trained on large scale image datasets. A set of multi-channel time series are obtained by aligning descriptions beside each other. For extracting motion features from these time series, PoT representation method plus a novel pooling operator is followed due to several advantages. The second stream is accomplished to extract appearance features which are vital in the case of video classification. The proposed method has been evaluated on both first and third-person datasets and results present that the proposed methodology reaches the state of the art successfully.


title: Free resolutions of orbit closures of Dynkin quivers

abstract: We use the Kempf-Lascoux-Weyman geometric technique in order to determine the minimal free resolutions of some orbit closures of quivers. As a consequence, we obtain that for Dynkin quivers orbit closures of 1-step representations are normal with rational singularities. For Dynkin quivers of type $A$, we describe explicit minimal generators of the defining ideals of orbit closures of 1-step representations. Using this, we provide an algorithm for type $A$ quivers for describing an efficient set of generators of the defining ideal of the orbit closure of any representation.


title: Maximum Throughput of Multiple Access Channels in Adversarial Environments

abstract: We consider deterministic distributed broadcasting on multiple access channels in the framework of adversarial queuing. Packets are injected dynamically by an adversary that is constrained by the injection rate and the number of packets that may be injected simultaneously; the latter we call burstiness. The maximum injection rate that an algorithm can handle in a stable manner is called the throughput of the algorithm. We develop an algorithm that achieves throughput $1$ for any number of stations against leaky-bucket adversaries. The algorithm has $O(n^2+\text{burstiness})$ packets queued simultaneously at any time, where $n$ is the number of stations; this upper bound is proved to be best possible. An algorithm is called fair when each packet is eventually broadcast. We show that no algorithm can be both stable and fair for a system of at least two stations against leaky-bucket adversaries. We study in detail small systems of exactly two and three stations against window adversaries to exhibit differences in quality of broadcast among classes of algorithms. For two stations, we show that fair latency can be achieved by a full sensing algorithm, while there is no stable acknowledgment based algorithm. For three stations, we show that fair latency can be achieved by a general algorithm, while no full sensing algorithm can be stable. Finally, we show that algorithms that either are fair or do not have the queue sizes affect the order of transmissions cannot be stable in systems of at least four stations against window adversaries.


title: Mittag-Leffler function and fractional differential equations

abstract: We adopt a procedure of operational-umbral type to solve the $(1+1)$-dimensional fractional Fokker-Planck equation in which time fractional derivative of order $\alpha$ ($0 < \alpha < 1$) is in the Riemann-Liouville sense. The technique we propose merges well documented operational methods to solve ordinary FP equation and a redefinition of the time by means of an umbral operator. We show that the proposed method allows significant progress including the handling of operator ordering.


title: On approximating the stationary distribution of time-reversible Markov chains

abstract: Approximating the stationary probability of a state in a Markov chain through Markov chain Monte Carlo techniques is, in general, inefficient. Standard random walk approaches require $\tilde{O}(\tau/\pi(v))$ operations to approximate the probability $\pi(v)$ of a state $v$ in a chain with mixing time $\tau$, and even the best available techniques still have complexity $\tilde{O}(\tau^{1.5}/\pi(v)^{0.5})$, and since these complexities depend inversely on $\pi(v)$, they can grow beyond any bound in the size of the chain or in its mixing time. In this paper we show that, for time-reversible Markov chains, there exists a simple randomized approximation algorithm that breaks this "small-$\pi(v)$ barrier".


title: A Priori Error Estimates for Finite Element Approximations to Eigenvalues and Eigenfunctions of the Laplace-Beltrami Operator

abstract: Elliptic partial differential equations on surfaces play an essential role in geometry, relativity theory, phase transitions, materials science, image processing, and other applications. They are typically governed by the Laplace-Beltrami operator. We present and analyze approximations by Surface Finite Element Methods (SFEM) of the Laplace-Beltrami eigenvalue problem. As for SFEM for source problems, spectral approximation is challenged by two sources of errors: the geometric consistency error due to the approximation of the surface and the Galerkin error corresponding to finite element resolution of eigenfunctions. We show that these two error sources interact for eigenfunction approximations as for the source problem. The situation is different for eigenvalues, where a novel situation occurs for the geometric consistency error: The degree of the geometric error depends on the choice of interpolation points used to construct the approximate surface. Thus the geometric consistency term can sometimes be made to converge faster than in the eigenfunction case through a judicious choice of interpolation points.


title: Sensing coherent dynamics of electronic spin clusters in solids

abstract: We present experimental observations and a study of quantum dynamics of strongly interacting electronic spins, at room temperature in the solid state. In a diamond substrate, a single nitrogen vacancy (NV) center coherently interacts with two adjacent S = 1/2 dark electron spins. We quantify NV-electron and electron-electron couplings via detailed spectroscopy, with good agreement to a model of strongly interacting spins. The electron-electron coupling enables an observation of coherent flip-flop dynamics between electronic spins in the solid state, which occur conditionally on the state of the NV. Finally, as a demonstration of coherent control, we selectively couple and transfer polarization between the NV and the pair of electron spins. These results demonstrate a key step towards full quantum control of electronic spin registers in room temperature solids.


title: Existence and concentration results for some fractional Schr\"odinger equations in $\mathbb{R}^{N}$ with magnetic fields

abstract: We consider some nonlinear fractional Schr\"odinger equations with magnetic field and involving continuous nonlinearities having subcritical, critical or supercritical growth. Under a local condition on the potential, we use minimax methods to investigate the existence and concentration of nontrivial weak solutions.


title: Decomposition matrices for the generic Hecke algebras on 3 strands in characteristic 0

abstract: We classify all the decomposition matrices of the generic Hecke algebras on 3 strands in characteristic 0. These are the generic Hecke algebras associated to the exceptional complex reflection groups $G_4$, $G_8$ and $G_{16}$. We prove that for every choice of the parameters that define these algebras, all ordinary representations are obtained as modular reductions of irreducible representations.


title: The cold and warm physico-chemical structure of embedded protostars

abstract: The physical evolution of low-mass protostars is relatively well-established, however, there are many open questions on the chemical structure of protostars. The chemical fingerprint generated in the early embedded phase of star formation may be transmitted to the later stages of star, planet and comet formation. The factors that influence the chemical fingerprint are then of interest to study, and determine whether the chemical structure is inherited from the parent cloud or product of the physical processes during star formation. Results of observations and modelling of molecules that trace the cold and warm extended structures of embedded protostars are briefly presented here. Two multiple protostellar systems are studied, IRAS 16293-2422 and VLA 1623-2417, both located in $\rho$ Ophiuchus. We find that the physical structure of the protostars, that is the disk(-like) strucutres, outflow cavity and different luminosities, are important factors in determining the chemical structure of these embedded protostars.


title: Efficiently Enumerating all Maximal Cliques with Bit-Parallelism

abstract: The maximal clique enumeration (MCE) problem has numerous applications in biology, chemistry, sociology, and graph modeling. Though this problem is well studied, most current research focuses on finding solutions in large sparse graphs or very dense graphs, while sacrificing efficiency on the most difficult medium-density benchmark instances that are representative of data sets often encountered in practice. We show that techniques that have been successfully applied to the maximum clique problem give significant speed gains over the state-of-the-art MCE algorithms on these instances. Specifically, we show that a simple greedy pivot selection based on a fixed maximum-degree first ordering of vertices, when combined with bit-parallelism, performs consistently better than the theoretical worst-case optimal pivoting of the state-of-the-art algorithms of Tomita et al. [Theoretical Computer Science, 2006] and Naud\'e [Theoretical Computer Science, 2016]. Experiments show that our algorithm is faster than the worst-case optimal algorithm of Tomita et al. on 60 out of 74 standard structured and random benchmark instances: we solve 48 instances 1.2 to 2.2 times faster, and solve the remaining 12 instances 3.6 to 47.6 times faster. We also see consistent speed improvements over the algorithm of Naud\'e: solving 61 instances 1.2 to 2.4 times faster. To the best of our knowledge, we are the first to achieve such speed-ups compared to these state-of-the-art algorithms on these standard benchmarks.


title: Molecular enhanced sampling with autoencoders: On-the-fly collective variable discovery and accelerated free energy landscape exploration

abstract: Macromolecular and biomolecular folding landscapes typically contain high free energy barriers that impede efficient sampling of configurational space by standard molecular dynamics simulation. Biased sampling can artificially drive the simulation along pre-specified collective variables (CVs), but success depends critically on the availability of good CVs associated with the important collective dynamical motions. Nonlinear machine learning techniques can identify such CVs but typically do not furnish an explicit relationship with the atomic coordinates necessary to perform biased sampling. In this work, we employ auto-associative artificial neural networks ("autoencoders") to learn nonlinear CVs that are explicit and differentiable functions of the atomic coordinates. Our approach offers substantial speedups in exploration of configurational space, and is distinguished from exiting approaches by its capacity to simultaneously discover and directly accelerate along data-driven CVs. We demonstrate the approach in simulations of alanine dipeptide and Trp-cage, and have developed an open-source and freely-available implementation within OpenMM.


title: Filled Julia set of some class of H\'enon-like map

abstract: In this work we consider a class of endomorphisms of $\mathbb{R}^2$ defined by $f(x,y)=(xy+c,x)$, where $c\in\mathbb{R}$ is a real number and we prove that when $-1<c<0$, the forward filled Julia set of $f$ is the union of stable manifolds of fixed and $3-$periodic points of $f$. We also prove that the backward filled Julia set of $f$ is the union of unstable manifolds of the saddle fixed and $3-$periodic points of $f$.


title: Random Incident Waves for Fast Compressed Pulse-Echo Ultrasound Imaging

abstract: Established image recovery methods in fast ultrasound imaging, e.g. delay-and-sum, trade the image quality for the high frame rate. Cutting-edge inverse scattering methods based on compressed sensing (CS) disrupt this tradeoff via a priori information. They iteratively recover a high-quality image from only a few sequential pulse-echo measurements or less echo signals, if (i) a known dictionary of structural building blocks represents the image almost sparsely, and (ii) their individual pulse echoes, which are predicted by a linear model, are sufficiently uncorrelated. The exclusive modeling of the incident waves as steered plane waves or cylindrical waves, however, has so far limited the convergence speed, the image quality, and the potential to meet condition (ii). Motivated by the benefits of randomness in CS, a novel method for the fast compressed acquisition and the subsequent recovery of images is proposed to overcome these limitations. It recovers the spatial compressibility fluctuations in weakly-scattering soft tissue structures, where an orthonormal basis meets condition (i), by a sparsity-promoting $\ell_{q}$-minimization method, $q \in [0; 1]$. A realistic $d$-dimensional model, $d \in \{2, 3\}$, accounting for diffraction, single monopole scattering, the combination of power-law absorption and dispersion, and the specifications of a planar transducer array, predicts the pulse echoes of the individual basis functions. Three innovative types of incident waves, whose syntheses leverage random apodization weights, time delays, or combinations thereof, aid in meeting condition (ii). In two-dimensional numerical simulations, single realizations of these waves outperform the prevalent quasi-plane wave for both the canonical and the Fourier bases. They significantly reduce the full extents at half maximum of the point spread functions by up to 73.7 %.


title: Quantum SU(2$|$1) supersymmetric Calogero-Moser spinning systems

abstract: ${\rm SU}(2|1)$ supersymmetric multi-particle quantum mechanics with additional semi-dynamical spin degrees of freedom is considered. In particular, we provide an $\mathcal{N}{=}\,4$ supersymmetrization of the quantum ${\rm U}(2)$ spin Calogero-Moser model, with an intrinsic mass parameter coming from the centrally-extended superalgebra $\widehat{su}(2|1)$. The full system admits an ${\rm SU}(2|1)$ covariant separation into the center-of-mass sector and the quotient. We derive explicit expressions for the classical and quantum ${\rm SU}(2|1)$ generators in both sectors as well as for the total system, and we determine the relevant energy spectra, degeneracies, and the sets of physical states.


title: The $Z$-Dirac and massive Laplacian operators in the $Z$-invariant Ising model

abstract: Consider an elliptic parameter $k$; we introduce a family of $Z^u$-Dirac operators $(\mathsf{K}(u))_{u\in\Re(\mathbb{T}(k))}$, relate them to the $Z$-massive Laplacian of [BdTR17b], and extend to the full $Z$-invariant case the results of Kenyon [Ken02] on discrete holomorphic and harmonic functions, which correspond to the case $k=0$. We prove, in a direct statistical mechanics way, how and why the $Z^u$-Dirac and $Z$-massive Laplacian operators appear in the $Z$-invariant Ising model, considering the case of infinite and finite isoradial graphs. More precisely, consider the dimer model on the Fisher graph ${\mathsf{G}}^{\scriptscriptstyle{\mathrm{F}}}$ arising from a $Z$-invariant Ising model. We express coefficients of the inverse Fisher Kasteleyn operator as a function of the inverse $Z^u$-Dirac operator and also as a function of the $Z$-massive Green function; in particular this proves a (massive) random walk representation of important observables of the Ising model. We prove that the squared partition function of the Ising model is equal, up to a constant, to the determinant of the $Z$-massive Laplacian operator with specific boundary conditions, the latter being the partition function of rooted spanning forests. To show these results, we relate the inverse Fisher Kasteleyn operator and that of the dimer model on the bipartite graph ${\mathsf{G}}^{\scriptscriptstyle{\mathrm{Q}}}$ arising from the XOR-Ising model, and we prove matrix identities between the Kasteleyn matrix of ${\mathsf{G}}^{\scriptscriptstyle{\mathrm{Q}}}$ and the $Z^u$-Dirac operator, that allow to reach inverse matrices as well as determinants.


title: KP theory, plabic networks in the disk and rational degenerations of M--curves

abstract: We complete the program of Ref. [3,5] of connecting totally non-negative Grassmannians to the reality problem in KP finite-gap theory via the assignment of real regular divisors on rational degenerations of M-curves for the class of real regular multi-line soliton solutions of KP II equation whose asymptotic behavior has been combinatorially characterized by Chakravarthy, Kodama and Williams. We use the plabic networks in the disk introduced by Postnikov to parametrize positroid cells in totally nonnegative Grassmannians. The boundary of the disk corresponds to the rational curve associated to the soliton data in the direct spectral problem, and the bicolored graph is the dual of a reducible curve G which is the rational degeneration of a regular M-curve whose genus g equals the number of faces of the network diminished by one. We assign systems of edge vectors to the planar bicolored networks. The system of relations satisfied by them has maximal rank and may be reformulated in the form of edge signatures.. We prove that the components of the edge vectors are rational in the edge weights with subtraction free denominators and provide their explicit expressions in terms of conservative and edge flows. The edge vectors rule the value of the KP wave function at the double points of G, whereas the signatures at the vertices rule the position of the divisor in the ovals. We prove that the divisor satisfies the conditions of Dubrovin-Natanzon for real finite-gap solutions: there is exactly one divisor point in each oval except for the one containing the essential singularity of the wave function. The divisor may be explicitly computed using the linear relations at the vertices of the network. We explain the role of moves and reductions in the transformation of both the curve and the divisor for given soliton data, and apply our construction to some examples.


title: Deep Reinforcement Learning for List-wise Recommendations

abstract: Recommender systems play a crucial role in mitigating the problem of information overload by suggesting users' personalized items or services. The vast majority of traditional recommender systems consider the recommendation procedure as a static process and make recommendations following a fixed strategy. In this paper, we propose a novel recommender system with the capability of continuously improving its strategies during the interactions with users. We model the sequential interactions between users and a recommender system as a Markov Decision Process (MDP) and leverage Reinforcement Learning (RL) to automatically learn the optimal strategies via recommending trial-and-error items and receiving reinforcements of these items from users' feedbacks. In particular, we introduce an online user-agent interacting environment simulator, which can pre-train and evaluate model parameters offline before applying the model online. Moreover, we validate the importance of list-wise recommendations during the interactions between users and agent, and develop a novel approach to incorporate them into the proposed framework LIRD for list-wide recommendations. The experimental results based on a real-world e-commerce dataset demonstrate the effectiveness of the proposed framework.


title: A study of elliptic gamma function and allies

abstract: We study analytic and arithmetic properties of the elliptic gamma function $$ \prod_{m,n=0}^\infty\frac{1-x^{-1}q^{m+1}p^{n+1}}{1-xq^mp^n}, \qquad |q|,|p|<1, $$ in the regime $p=q$; in particular, its connection with the elliptic dilogarithm and a formula of S. Bloch. We further extend the results to more general products by linking them to non-holomorphic Eistenstein series and, via some formulae of D. Zagier, to elliptic polylogarithms.


title: Spatio-temporal models with space-time interaction and their applications to air pollution data

abstract: It is of utmost importance to have a clear understanding of the status of air pollution and to provide forecasts and insights about the air quality to the general public and researchers in environmental studies. Previous studies of spatio-temporal models showed that even a short-term exposure to high concentrations of atmospheric fine particulate matters can be hazardous to the health of ordinary people. In this study, we develop a spatio-temporal model with space-time interaction for air pollution data. The proposed model uses a parametric space-time interaction component along with the spatial and temporal components in the mean structure, and introduces a random-effects component specified in the form of zero-mean spatio-temporal processes. For application, we analyze the air pollution data (PM2.5) from 66 monitoring stations across Taiwan.


title: Benford's Law Beyond Independence: Tracking Benford Behavior in Copula Models

abstract: Benford's law describes a common phenomenon among many naturally occurring data sets and distributions in which the leading digits of the data are distributed with the probability of a first digit of $d$ base $B$ being $\log_{B}{\frac{d+1}{d}}$. As it often successfully detects fraud in medical trials, voting, science and finance, significant effort has been made to understand when and how distributions exhibit Benford behavior. Most of the previous work has been restricted to cases of independent variables, and little is known about situations involving dependence. We use copulas to investigate the Benford behavior of the product of $n$ dependent random variables. We develop a method for approximating the Benford behavior of a product of $n$ dependent random variables modeled by a copula distribution $C$ and quantify and bound a copula distribution's distance from Benford behavior. We then investigate the Benford behavior of various copulas under varying dependence parameters and number of marginals. Our investigations show that the convergence to Benford behavior seen with independent random variables as the number of variables in the product increases is not necessarily preserved when the variables are dependent and modeled by a copula. Furthermore, there is strong indication that the preservation of Benford behavior of the product of dependent random variables may be linked more to the structure of the copula than to the Benford behavior of the marginal distributions.


title: Using the tilted flat-$\Lambda$CDM and the untilted non-flat $\Lambda$CDM inflation models to measure cosmological parameters from a compilation of observational data

abstract: We use the physically-consistent tilted spatially-flat and untilted non-flat $\Lambda$CDM inflation models to constrain cosmological parameter values with the Planck 2015 cosmic microwave background (CMB) anisotropy data and recent Type Ia supernovae measurements, baryonic acoustic oscillations (BAO) data, growth rate observations, and Hubble parameter measurements. The most dramatic consequence of including the four non-CMB data sets is the significant strengthening of the evidence for non-flatness in the non-flat $\Lambda$CDM model, from 1.8$\sigma$ for the CMB data alone to 5.1$\sigma$ for the full data combination. The BAO data is the most powerful of the non-CMB data sets in more tightly constraining model parameter values and in favoring a spatially-closed Universe in which spatial curvature contributes about a percent to the current cosmological energy budget. The untilted non-flat $\Lambda$CDM model better fits the large-angle CMB temperature anisotropy angular spectrum and is more consistent with the Dark Energy Survey constraints on the current value of the rms amplitude of mass fluctuations ($\sigma_8$) as a function of the current value of the nonrelativistic matter density parameter ($\Omega_m$) but does not provide as good a fit to the smaller-angle CMB temperature anisotropy data as does the tilted flat-$\Lambda$CDM model. Some measured cosmological parameter values differ significantly between the two models, including the reionization optical depth and the baryonic matter density parameter, both of whose 2$\sigma$ ranges (in the two models) are disjoint or almost so.


title: Partially hyperbolic diffeomorphisms homotopic to the identity on 3-manifolds

abstract: We announce some results towards the classification of partially hyperbolic diffeomorphisms on 3-manifolds, and outline the proofs in the case when the diffeomorphism is dynamically coherent. Detailed proofs are long and technical and will appear later.


title: Learning Continuous User Representations through Hybrid Filtering with doc2vec

abstract: Players in the online ad ecosystem are struggling to acquire the user data required for precise targeting. Audience look-alike modeling has the potential to alleviate this issue, but models' performance strongly depends on quantity and quality of available data. In order to maximize the predictive performance of our look-alike modeling algorithms, we propose two novel hybrid filtering techniques that utilize the recent neural probabilistic language model algorithm doc2vec. We apply these methods to data from a large mobile ad exchange and additional app metadata acquired from the Apple App store and Google Play store. First, we model mobile app users through their app usage histories and app descriptions (user2vec). Second, we introduce context awareness to that model by incorporating additional user and app-related metadata in model training (context2vec). Our findings are threefold: (1) the quality of recommendations provided by user2vec is notably higher than current state-of-the-art techniques. (2) User representations generated through hybrid filtering using doc2vec prove to be highly valuable features in supervised machine learning models for look-alike modeling. This represents the first application of hybrid filtering user models using neural probabilistic language models, specifically doc2vec, in look-alike modeling. (3) Incorporating context metadata in the doc2vec model training process to introduce context awareness has positive effects on performance and is superior to directly including the data as features in the downstream supervised models.


title: Emotion-Based Crowd Simulation Model Based on Physical Strength Consumption for Emergency Scenarios

abstract: Increasing attention is being given to the modeling and simulation of traffic flow and crowd movement, two phenomena that both deal with interactions between pedestrians and cars in many situations. In particular, crowd simulation is important for understanding mobility and transportation patterns. In this paper, we propose an emotion-based crowd simulation model integrating physical strength consumption. Inspired by the theory of "the devoted actor," the movements of each individual in our model are determined by modeling the influence of physical strength consumption and the emotion of panic. In particular, human physical strength consumption is computed using a physics-based numerical method. Inspired by the James-Lange theory, panic levels are estimated by means of an enhanced emotional contagion model that leverages the inherent relationship between physical strength consumption and panic. To the best of our knowledge, our model is the first method integrating physical strength consumption into an emotion-based crowd simulation model by exploiting the relationship between physical strength consumption and emotion. We highlight the performance on different scenarios and compare the resulting behaviors with real-world video sequences. Our approach can reliably predict changes in physical strength consumption and panic levels of individuals in an emergency situation.


title: Proper dissipative torques in antiferromagnetic dynamics

abstract: There is little doubt that the magnetization dynamics of ferromagnetic systems is governed by the Landau-Lifshitz-Gilbert equation or its generalization with various spin torques. In contrast, there are several sets of dynamic equations for two-sublattice antiferromagnets (AFMs) in literature that have different forms of dissipative torques and no proper dynamic equations for multi-sublattice AFMs and ferrimagnets in general. Here we introduce the general Rayleigh dissipation functional into the Lagrange equation and derive the proper form of the dissipative torques in the phenomenological equations for the AFMs with multiple sublattices. A new type of dissipative torque arising from inter-sublattice drag effect is discovered that has important influences on magnon lifetime and domain wall motion. In particular, our theory unifies different dynamic equations of AFMs in literature.


title: Game-theoretic Network Centrality: A Review

abstract: Game-theoretic centrality is a flexible and sophisticated approach to identify the most important nodes in a network. It builds upon the methods from cooperative game theory and network theory. The key idea is to treat nodes as players in a cooperative game, where the value of each coalition is determined by certain graph-theoretic properties. Using solution concepts from cooperative game theory, it is then possible to measure how responsible each node is for the worth of the network. The literature on the topic is already quite large, and is scattered among game-theoretic and computer science venues. We review the main game-theoretic network centrality measures from both bodies of literature and organize them into two categories: those that are more focused on the connectivity of nodes, and those that are more focused on the synergies achieved by nodes in groups. We present and explain each centrality, with a focus on algorithms and complexity.


title: Liftings of pseudo-reflection groups of toric quotients of Krull schemes

abstract: Let $G$ be an affine algebraic group with a reductive identity component $G^{0}$ acting regularly on an affine Krull scheme $X = {Spec} (R)$ over an algebraically closed field. Let $T$ be an algebraic subtorus of $G$ and suppose that ${Q}(R)^{T}= {Q}(R^{T})$ of quotient fields. We will show: If $G$ is the centralizer of $T$ in $G$, then the pseudo-reflections of the action of $G$ on $R^{T}$ can be lifted to those on $R$.


title: Single-orbital realization of high-temperature $s^\pm$ superconductivity in the square-octagon lattice

abstract: We propose possible high-temperature superconductivity (SC) with singlet $s^\pm$-wave pairing symmetry in the single-orbital Hubbard model on the square-octagon lattice with only nearest-neighbor hopping terms. Three different approaches are engaged to treat with the interacting model for different coupling strengths, which yield consistent result for the $s^\pm$ pairing symmetry. We propose octagraphene, i.e., a monolayer of carbon atoms arranged into this lattice, as a possible material realization of this model. Our variational Monte Carlo study for the material with realistic coupling strength yields a pairing strength comparable with the cuprates, implying a similar superconducting critical temperature between the two families. This study also applies to other materials with similar lattice structure.


title: Manipulating lightcone fluctuations in an analogue cosmic string

abstract: We study the flight time fluctuations in an anisotropic medium inspired by a cosmic string with an effective fluctuating refractive index caused by fluctuating vacuum electric fields, which are analogous to the lightcone fluctuations due to fluctuating spacetime metric when gravity is quantized. The medium can be realized as a metamaterial that mimics a cosmic string in the sense of transformation optics. For a probe light close to the analogue string, the flight time variance is $\nu$ times that in a normal homogeneous and isotropic medium, where $\nu$ is a parameter characterizing the deficit angle of the spacetime of a cosmic string. The parameter $\nu$, which is always greater than unity for a real cosmic string, is determined by the dielectric properties of the metamaterial for an analogue string. Therefore, the flight time fluctuations of a probe light can be manipulated by changing the electric permittivity and magnetic permeability of the analogue medium. We argue that it seems possible to fabricate a metamaterial that mimics a cosmic string with a large $\nu$ in laboratory so that a currently observable flight time variance might be achieved.


title: Limitation of SDMA in Ultra-Dense Small Cell Networks

abstract: Benefitting from multi-user gain brought by multi-antenna techniques, space division multiple access (SDMA) is capable of significantly enhancing spatial throughput (ST) in wireless networks. Nevertheless, we show in this letter that, even when SDMA is applied, ST would diminish to be zero in ultra-dense networks (UDN), where small cell base stations (BSs) are fully densified. More importantly, we compare the performance of SDMA, single-user beamforming (SU-BF) (one user is served in each cell) and full SDMA (the number of served users equals the number of equipped antennas). Surprisingly, it is shown that SU-BF achieves the highest ST and critical density, beyond which ST starts to degrade, in UDN. The results in this work could shed light on the fundamental limitation of SDMA in UDN.


title: Integrating semi-supervised label propagation and random forests for multi-atlas based hippocampus segmentation

abstract: A novel multi-atlas based image segmentation method is proposed by integrating a semi-supervised label propagation method and a supervised random forests method in a pattern recognition based label fusion framework. The semi-supervised label propagation method takes into consideration local and global image appearance of images to be segmented and segments the images by propagating reliable segmentation results obtained by the supervised random forests method. Particularly, the random forests method is used to train a regression model based on image patches of atlas images for each voxel of the images to be segmented. The regression model is used to obtain reliable segmentation results to guide the label propagation for the segmentation. The proposed method has been compared with state-of-the-art multi-atlas based image segmentation methods for segmenting the hippocampus in MR images. The experiment results have demonstrated that our method obtained superior segmentation performance.


title: Transfer learning for diagnosis of congenital abnormalities of the kidney and urinary tract in children based on Ultrasound imaging data

abstract: Classification of ultrasound (US) kidney images for diagnosis of congenital abnormalities of the kidney and urinary tract (CAKUT) in children is a challenging task. It is desirable to improve existing pattern classification models that are built upon conventional image features. In this study, we propose a transfer learning-based method to extract imaging features from US kidney images in order to improve the CAKUT diagnosis in children. Particularly, a pre-trained deep learning model (imagenet-caffe-alex) is adopted for transfer learning-based feature extraction from 3-channel feature maps computed from US images, including original images, gradient features, and distanced transform features. Support vector machine classifiers are then built upon different sets of features, including the transfer learning features, conventional imaging features, and their combination. Experimental results have demonstrated that the combination of transfer learning features and conventional imaging features yielded the best classification performance for distinguishing CAKUT patients from normal controls based on their US kidney images.


title: On the maximum of the permanent of (I-A)

abstract: Let A be an n by n doubly substochastic matrix and denote {\sigma}(A) the sum of all elements of A. In this paper we give the upper bound of the permanent of (I-A) with respect to n and {\sigma}(A).


title: Quantifier elimination on some pseudo-algebraically closed valued fields

abstract: Adjoining to the language of rings the function symbols for splitting coefficients, the function symbols for relative $p$-coordinate functions, and the division predicate for a valuation, some theories of pseudo-algebraically closed non-trivially valued fields admit quantifier elimination. It is also shown that in the same language the theory of pseudo-algebraically closed non-trivially valued fields of a given exponent of imperfection does not admit quantifier elimination, due to Galois theoretic obstructions.


title: Vector disformal transformation of cosmological perturbations

abstract: We study disformal transformations of cosmological perturbations by vector fields in theories invariant under U(1) gauge transformations. Three types of vector disformal transformations are considered: (i) disformal transformations by a single timelike vector; (ii) disformal transformations by a single spacelike vector; and (iii) disformal transformations by three spacelike vectors. We show that transformations of type (i) do not change either curvature perturbation or gravitational waves; that those of type (ii) do not change curvature perturbation but change gravitational waves; and that those of type (iii) change both curvature perturbation and gravitational waves. Therefore, coupling matter fields to the metric after disformal transformations of type (ii) or (iii) in principle have observable consequences. While the recent multi-messenger observation of binary neutron stars has singled out a proper disformal frame at the present epoch with a high precision, the result of the present paper may thus help distinguishing disformal frames in the early universe.


title: Do SN 2002cx-like and SN Ia-CSM objects share the same origin?

abstract: SN 2002cx-like and SN Ia-CSM objects show similar early spectra and both belong to a young stellar population, suggesting that they could share the same progenitor origin. Adopting the framework of the common-envelope-wind (CEW) model developed in \citet{MENGXC17}, we here propose that both subclasses of SNe Ia are caused by the explosion of hybrid carbon-oxygen-neon white dwarfs (CONe WDs) in single-degenerate systems, where SNe Ia-CSM explode in systems with a massive common envelope (CE) of $\sim1~M_{\odot}$, while SN 2002cx-like events correspond to those events where most of the CE has been lost in a wind. Using binary-population-synthesis (BPS) calculations, we estimate a number ratio of SNe Ia-CSM to SN 2002cx-like objects between $\frac{1}{3}$ and $\frac{2}{3}$, consistent with observational constraints, and an overall contribution from hybrid CONe WDs to the total SN Ia population that also matches the observed number from these peculiar objects. Our model predicts a statistical sequence of CSM density from SN Ia-CSM to SN 2002cx-like events and normal SNe Ia, consistent with existing radio constraints. We also find a new subclass of hybrid SNe which share the properties of Type II and Type Ia SNe, consistent with some observed SNe, which do not have a surviving companion. In some cases these could even produce SNe Ia from apparently single WDs.


title: On counting certain abelian varieties over finite fields

abstract: This paper contains two parts toward studying abelian varieties from the classification point of view. In a series of papers, the current authors and T.-C. Yang obtain explicit formulas for the numbers of superspecial abelian surfaces over finite fields. In this paper, we give an explicit formula for the size of the isogeny class of simple abelian surfaces with real Weil number $\sqrt{q}$. This establishes a key step that one may extend our previous explicit calculations of superspecial abelian surfaces to those of supersingular abelian surfaces.The second part is to introduce the notion of genera and ideal complexes of abelian varieties with additional structures in a general setting. The purpose is to generalize the results of Yu on abelian varieties with additional structures to similitude classes, which establishes more results on the connection between geometrically defined and arithmetically defined masses for further investigation.


title: Idempotents in Tangle Categories Split

abstract: In this paper we use 3-manifold techniques to illuminate the structure of the category of tangles. In particular, we show that every idempotent morphism $A$ in such a category naturally splits as $A=B\circ C$ such that $C\circ B$ is an identity morphism.


title: Mean-Square Approximation of Iterated Ito and Stratonovich Stochastic Integrals of Multiplicities 1 to 6 from the Taylor-Ito and Taylor-Stratonovich Expansions Using Legendre Polynomials

abstract: The article is devoted to the practical material on expansions and mean-square approximations of specific iterated Ito and Stratonovich stochastic integrals of multiplicities 1 to 6 with respect to components of the multidimensional Wiener process on the base of the method of generalized multiple Fourier series. More precisely, we used the multiple Fourier--Legendre series converging in the sense of norm in the space $L_2([t, T]^k)$ $(k=1,\ldots,6)$ for approximation of iterated Ito and Stratonovich stochastic integrals. The considered iterated Ito and Stratonovich stochastic integrals are part of the stochastic Taylor expansions (Taylor-Ito and Taylor-Stratonovich expansions). Therefore, the results of the article can be useful for construction of the high-order strong numerical methods for Ito stochastic differential equations. Expansions of iterated Ito and Stratonovich stochastic integrals of multiplicities 1 to 6 using Legendre polynomials are derived. The convergence with probability 1 of the mentioned method of generalized multiple Fourier series is proved for iterated Ito stochastic integrals of multiplicities $k$ $(k\in\mathbb{N})$ for the cases of multiple Fourier-Legendre series and multiple trigonometric Fourier series.


title: Stabilization of the weakly coupled wave-plate system with one internal damping

abstract: This paper is addressed to a stabilization problem of a system coupled by a wave and a Euler-Bernoulli plate equation. Only one equation is supposed to be damped. Under some assumption about the damping and the coupling terms, it is shown that sufficiently smooth solutions of the system decay logarithmically at infinity without any geometric conditions on the effective damping domain. The proofs of these decay results rely on the interpolation inequalities for the coupled elliptic-parabolic systems and make use of the estimate of the resolvent operator for the coupled system. The main tools to derive the desired interpolation inequalities are global Carleman estimates.


title: Laser-induced plasma generation of terahertz radiation using three incommensurate wavelengths

abstract: We present the generation of THz radiation by focusing ultrafast laser pulses with three incommensurate wavelengths to form a plasma. The three colors include 800 nm and the variable IR signal and idler outputs from an optical parametric amplifier. Stable THz is generated when all three colors are present, with a peak-to-peak field strength of ~200 kV/cm and a relatively broad, smooth spectrum extending out to 6 THz, without any strong dependence on the selection of signal and idler IR wavelengths (in the range from 1300-2000 nm). We confirm that 3 colors are indeed needed, and comment on the polarization characteristics of the generated THz, some of which are challenging to explain with plasma current models that have had success in describing two-color plasma THz generation.


title: Unstable modes in projection-based reduced-order models: How many can there be, and what do they tell you?

abstract: Projection methods provide an appealing way to construct reduced-order models of large-scale linear dynamical systems: they are intuitively motivated and fairly easy to compute. Unfortunately, the resulting reduced models need not inherit the stability of the original system. How many unstable modes can these reduced models have? This note investigates this question, using theory originally motivated by iterative methods for linear algebraic systems and eigenvalue problems, and illustrating the theory with a number of small examples. From these results follow rigorous upper bounds on the number of unstable modes in reduced models generated via orthogonal projection, for both continuous- and discrete-time systems. Can anything be learned from the unstable modes in reduced-order models? Several examples illustrate how such instability can helpfully signal transient growth in the original system.


title: Early detection of Crossfire attacks using deep learning

abstract: Crossfire attack is a recently proposed threat designed to disconnect whole geographical areas, such as cities or states, from the Internet. Orchestrated in multiple phases, the attack uses a massively distributed botnet to generate low-rate benign traffic aiming to congest selected network links, so-called target links. The adoption of benign traffic, while simultaneously targeting multiple network links, makes the detection of the Crossfire attack a serious challenge. In this paper, we propose a framework for early detection of Crossfire attack, i.e., detection in the warm-up period of the attack. We propose to monitor traffic at the potential decoy servers and discuss the advantages comparing with other monitoring approaches. Since the low-rate attack traffic is very difficult to distinguish from the background traffic, we investigate several deep learning methods to mine the spatiotemporal features for attack detection. We investigate Autoencoder, Convolutional Neural Network (CNN) and Long Short-Term Memory (LSTM) Network to detect the Crossfire attack during its warm-up period. We report encouraging experiment results.