title: Katz type p-adic L-functions for primes p non-split in the CM field

abstract: For every triple F,K,p where F is a classical elliptic eigenform, K is a quadratic imaginary field and p> 3 is a prime integer which is not split in K, we attach a p-adic L function which interpolates the algebraic parts of the special values of the complex L-functions of F twisted by certain algebraic Hecke characters of K. This construction extends a classical construction of N. Katz, for F an Eisenstein series and of Bertolini-Darmon-Prasana, for F a cuspform, when p is split in K. Moreover we prove a Kronecker limit formula, respectively p-adic Gross-Zagier formulae for our newly defined p-adic L-functions.


title: Electric Polarization in ErCrO3 Induced by Restricted Polar Domains

abstract: Electric polarization in ErCrO3 single crystals has been investigated in the temperature range of 5_370 K. Ferroelectric ordering has not been found in any of the directions. However, electric polarization induced by restricted polar domains of structural origin has been observed. These domains are formed in the crystal matrix near impurity Bi^{3+} ions partially substituting Er^{3+} ions during the growth of single crystals by the method of spontaneous crystallization using solvent Bi_2O_3. The restricted polar domains form the superparaelectric state. Hysteresis loops with remanent polarization, both along the c axis and in the [110] directions, have been observed below some temperatures T_fr (in the frozen superparaelectric state). The polarization exists up to certain temperatures, which depend on the applied electric field orientation with respect to the crystal axes and exceed significantly temperature T_N of magnetic ordering.


title: Speed-up and multi-view extensions to Subclass Discriminant Analysis

abstract: In this paper, we propose a speed-up approach for subclass discriminant analysis and formulate a novel efficient multi-view solution to it. The speed-up approach is developed based on graph embedding and spectral regression approaches that involve eigendecomposition of the corresponding Laplacian matrix and regression to its eigenvectors. We show that by exploiting the structure of the between-class Laplacian matrix, the eigendecomposition step can be substituted with a much faster process. Furthermore, we formulate a novel criterion for multi-view subclass discriminant analysis and show that an efficient solution for it can be obtained in a similar to the single-view manner. We evaluate the proposed methods on nine single-view and nine multi-view datasets and compare them with related existing approaches. Experimental results show that the proposed solutions achieve competitive performance, often outperforming the existing methods. At the same time, they significantly decrease the training time.


title: Laser source for dimensional metrology: investigation of an iodine stabilized system based on narrow linewidth 633 nm DBR diode

abstract: We demonstrated that an iodine stabilized Distributed Bragg Reflector (DBR) diode based laser system lasing at a wavelength in close proximity to $\lambda = 633\,$nm could be used as an alternative laser source to the He-Ne lasers in both scientific and industrial metrology. This yields additional advantages besides the optical frequency stability and coherence: inherent traceability, wider optical frequency tuning range, higher output power and high frequency modulation capability. We experimentally investigated the characteristics of the laser source in two major steps: first using a wavelength meter referenced to a frequency comb controlled with a hydrogen maser and then on a interferometric optical bench testbed where we compared the performance of the laser system with that of a traditional frequency stabilized He-Ne laser. The results indicate that DBR diode laser system provides a good laser source for applications in dimensional (nano)metrology, especially in conjunction with novel interferometric detection methods exploiting high frequency modulation or multiaxis measurement systems.


title: Topology, geometry and mechanics of strongly stretched and twisted filaments

abstract: Soft elastic filaments that can be stretched, bent and twisted exhibit a range of topologically and geometrically complex morphologies that include plectonemes, solenoids, knot-like and braid-like structures. We combine numerical simulations of soft elastic filaments that account for geometric nonlinearities and self-contact to map out these structures in a phase diagram that is a function of extension and twist density, consistent with previous experimental observations. By using ideas from computational topology, we also track the interconversion of link, twist and writhe in these geometrically complex physical structures. This allows us to explain recent experiments on fiber-based artificial muscles that use the conversion of writhe to extension or contraction, exposing the connection between topology, geometry and mechanics in an everyday practical setting.


title: Hopf-Frobenius Algebras and a Simpler Drinfeld Double

abstract: The zx-calculus and related theories are based on so-called interacting Frobenius algebras, where a pair of dagger-special commutative Frobenius algebras jointly form a pair of Hopf algebras. In this setting we introduce a generalisation of this structure, Hopf-Frobenius algebras, starting from a single Hopf algebra which is not necessarily commutative or cocommutative. We provide a few necessary and sufficient conditions for a Hopf algebra to be a Hopf-Frobenius algebra, and show that every Hopf algebra in the category of finite dimensional vector spaces is a Hopf-Frobenius algebra. In addition, we show that this construction is unique up to an invertible scalar. Due to this fact, Hopf-Frobenius algebras provide two canonical notions of duality, and give us a "dual" Hopf algebra that is isomorphic to the usual dual Hopf algebra in a compact closed category. We use this isomorphism to construct a Hopf algebra isomorphic to the Drinfeld double, but has a much simpler presentation.


title: Effective Theories for Quark Flavour Physics

abstract: The purpose of these lectures is to provide the reader with an idea of how we can probe New Physics with quark flavour observables using effective theory techniques. After giving a concise review of the quark flavour structure of the Standard Model, we introduce the effective Hamiltonian for quark weak decays. We then consider the effective Hamiltonian for $\Delta F=2$ transitions in the Standard Model and beyond. We discuss how meson-antimeson mixing and CP violation can be described in terms of the $\Delta F=1$ and $\Delta F=2$ effective Hamiltonians. Finally we present the Unitarity Triangle Analysis and discuss how very stringent constraints on New Physics can be obtained from $\Delta F=2$ processes.


title: Bug Searching in Smart Contract

abstract: With the frantic development of smart contracts on the Ethereum platform, its market value has also climbed. In 2016, people were shocked by the loss of nearly $50 million in cryptocurrencies from the DAO reentrancy attack. Due to the tremendous amount of money flowing in smart contracts, its security has attracted much attention of researchers. In this paper, we investigated several common smart contract vulnerabilities and analyzed their possible scenarios and how they may be exploited. Furthermore, we survey the smart contract vulnerability detection tools for the Ethereum platform in recent years. We found that these tools have similar prototypes in software vulnerability detection technology. Moreover, for the features of public distribution systems such as Ethereum, we present the new challenges that these software vulnerability detection technologies face.


title: Influence of galactic arm scale dynamics on the molecular composition of the cold and dense ISM II. Molecular oxygen abundance

abstract: Molecular oxygen has been the subject of many observational searches as chemical models predicted it to be a reservoir of oxygen. Although it has been detected in two regions of the interstellar medium, its rarity is a challenge for astrochemical models. In this paper, we have combined the physical conditions computed with smoothed particle hydrodynamics (SPH) simulations with our full gas-grain chemical model Nautilus, to study the predicted O2 abundance in interstellar material forming cold cores. We thus follow the chemical evolution of gas and ices in parcels of material from the diffuse interstellar conditions to the cold dense cores. Most of our predicted O2 abundances are below 1e-8 (with respect to the total proton density) and the predicted column densities in simulated cold cores is at maximum a few 1e14 cm-2, in agreement with the non detection limits. This low O2 abundance can be explained by the fact that, in a large fraction of the interstellar material, the atomic oxygen is depleted onto the grain surface (and hydrogenated to form H2O) before O2 can be formed in the gas-phase and protected from UV photo-dissociations. We could achieve this result only because we took into account the full history of the evolution of the physical conditions from the diffuse medium to the cold cores.


title: Topology, geometry and mechanics of surgical Z-plasty

abstract: Reconstructive surgeries often use topological manipulation of tissue to minimize post-operative scarring. The most common version of this, Z-plasty, involves modifying a straight line cut into a Z-shape, followed by a rotational transposition of the resulting triangular pedicle flaps, and a final restitching the wound. This locally reorients the anisotropic stress field and reduces the potential for scarring. We analyze the planar geometry and mechanics of the Z-plasty to quantify the rotation of the overall stress field and the local forces on the restitched cut using theory, simulations and simple physical Z-plasty experiments with foam sheets that corroborate each other. Our study rationalizes the most typical surgical choice of this angle, and opens the way for a range of surgical decisions by characterizing the stresses along the cut.


title: Concentration inequalities for random tensors

abstract: We show how to extend several basic concentration inequalities for simple random tensors $X = x_1 \otimes \cdots \otimes x_d$ where all $x_k$ are independent random vectors in $\mathbb{R}^n$ with independent coefficients. The new results have optimal dependence on the dimension $n$ and the degree $d$. As an application, we show that random tensors are well conditioned: $(1-o(1)) n^d$ independent copies of the simple random tensor $X \in \mathbb{R}^{n^d}$ are far from being linearly dependent with high probability. We prove this fact for any degree $d = o(\sqrt{n/\log n})$ and conjecture that it is true for any $d = O(n)$.


title: A Conditional Empirical Likelihood Based Method for Model Parameter Estimation from Complex survey Datasets

abstract: We consider an empirical likelihood framework for inference for a statistical model based on an informative sampling design. Covariate information is incorporated both through the weights and the estimating equations. The estimator is based on conditional weights. We show that under usual conditions, with population size increasing unbounded, the estimates are strongly consistent, asymptotically unbiased and normally distributed. Our framework provides additional justification for inverse probability weighted score estimators in terms of conditional empirical likelihood. In doing so, it bridges the gap between design-based and model-based modes of inference in survey sampling settings. We illustrate these ideas with an application to an electoral survey.


title: Holographic Plasmon Relaxation with and without Broken Translations

abstract: We study the dynamics and the relaxation of bulk plasmons in strongly coupled and quantum critical systems using the holographic framework. We analyze the dispersion relation of the plasmonic modes in detail for an illustrative class of holographic bottom-up models. Comparing to a simple hydrodynamic formula, we entangle the complicated interplay between the three least damped modes and shed light on the underlying physical processes. Such as the dependence of the plasma frequency and the effective relaxation time in terms of the electromagnetic coupling, the charge and the temperature of the system. Introducing momentum dissipation, we then identify its additional contribution to the damping. Finally, we consider the spontaneous symmetry breaking (SSB) of translational invariance. Upon dialing the strength of the SSB, we observe an increase of the longitudinal sound speed controlled by the elastic moduli and a decrease in the plasma frequency of the gapped plasmon. We comment on the condensed matter interpretation of this mechanism.


title: Spectrum-enhanced Pairwise Learning to Rank

abstract: To enhance the performance of the recommender system, side information is extensively explored with various features (e.g., visual features and textual features). However, there are some demerits of side information: (1) the extra data is not always available in all recommendation tasks; (2) it is only for items, there is seldom high-level feature describing users. To address these gaps, we introduce the spectral features extracted from two hypergraph structures of the purchase records. Spectral features describe the \textit{similarity} of users/items in the graph space, which is critical for recommendation. We leverage spectral features to model the users' preference and items' properties by incorporating them into a Matrix Factorization (MF) model. In addition to modeling, we also use spectral features to optimize. Bayesian Personalized Ranking (BPR) is extensively leveraged to optimize models in implicit feedback data. However, in BPR, all missing values are regarded as negative samples equally while many of them are indeed unseen positive ones. We enrich the positive samples by calculating the similarity among users/items by the spectral features. The key ideas are: (1) similar users shall have similar preference on the same item; (2) a user shall have similar perception on similar items. Extensive experiments on two real-world datasets demonstrate the usefulness of the spectral features and the effectiveness of our spectrum-enhanced pairwise optimization. Our models outperform several state-of-the-art models significantly.


title: Diffractive excitation in $pp$ and $pA$ collisions at high energies

abstract: In this paper we consider the Good - Walker approach for the diffractive excitation and updated the Miettinen -- Pumplin (MP) model for $pp/\bar{p}p$ collisions considering the recent LHC data for the total and elastic $pp$ cross sections. The behavior of the total, elastic and diffractive cross sections is analyzed and predictions for the energies of Run 3 of the LHC and those of the Cosmic Rays experiments are derived. Our results demonstrate that the MP model is able to describe the current data and that it implies that the cross section for the diffraction excitation in $pp$ collisions is almost constant in the energy range probed by the LHC and slowly decreases at higher energies. Our results indicate that the Pumplin bound is not reached at the LHC and Cosmic Ray energies. Moreover, the implications of the diffractive excitation in $pA$ collisions is discussed. In particular, the MP model, constrained by the $pp$ data, is used to derive the main quantities present in the treatment of the diffractive excitation in $pA$ collisions. Predictions for the total, elastic and diffractive $pA$ cross sections are presented considering different nuclei. We demonstrate that the effect of fluctuations decreases at larger energies and heavier nuclei. The energy dependence of the diffractive excitation cross section in $pA$ collisions is estimated for different nuclei and compared with the predictions for the proton dissociation induced by photon interactions.


title: Probing quantum criticality and symmetry breaking at the microscopic level

abstract: We report on an experimental study of the Lipkin-Meshkov-Glick model of quantum spins interacting at infinite range in a transverse magnetic field, which exhibits a ferromagnetic phase transition in the thermodynamic limit. We use Dysprosium atoms of electronic spin $J=8$, subjected to a quadratic Zeeman light shift, to simulate $2J=16$ interacting spins $1/2$. We probe the system microscopically using single magnetic sublevel resolution, giving access to the spin projection parity, which is the collective observable characterizing the underlying $\mathbb{Z}_2$ symmetry. We measure the thermodynamic properties and dynamical response of the system, and study the quantum critical behavior around the transition point. In the ferromagnetic phase, we achieve coherent tunneling between symmetry-broken states, and test the link between symmetry breaking and the appearance of a finite order parameter.


title: Two-step evolution of a rising flux rope resulting in a confined solar flare

abstract: Combining the Solar Dynamics Observatory and the New Vacuum Solar Telescope observations, we study a confined flare triggered by a rising flux rope within the trailing sunspots of active region 12733. The flux rope lying above the sheared polarity inversion line can be constructed through magnetic extrapolation but could not be detected in multi-wavelength images at the pre-flare stage. The conspicuous shearing motions between the opposite-polarity fields in the photosphere are considered to be responsible for the flux rope formation. The maximum twist of the flux rope is as high as -1.76, and then the flux rope rises due to the kink instability. Only when the flare starts can the flux rope be observed in high-temperature wavelengths. The differential emission measure results confirm that this flux rope is a high-temperature structure. Associated with the rising flux rope, there appear many post-flare loops and a pair of flare ribbons. When the rising flux rope meets and reconnects with the large-scale overlying field lines, a set of large-scale twisted loops are formed, and two flare ribbons propagating in opposite directions appear on the outskirts of the former ribbons, indicating that the twist of the flux rope is transferred to a much larger system. These results imply that the external reconnection between the rising flux rope and the large-scale overlying loops plays an important role in the confined flare formation.


title: Shadows of acyclic 4-manifolds with sphere boundary

abstract: In terms of Turaev's shadows, we provide a sufficient condition for a compact, smooth, acyclic 4-manifold with boundary the 3-sphere to be diffeomorphic to the standard 4-ball. As a consequence, we prove that if a compact, smooth, acyclic 4-manifold with boundary the 3-sphere has shadow-complexity at most 2, then it is diffeomorphic to the standard 4-ball.


title: Logic-based Specification and Verification of Homogeneous Dynamic Multi-agent Systems

abstract: We develop a logic-based framework for formal specification and algorithmic verification of homogeneous and dynamic concurrent multi-agent transition systems (HDMAS). Homogeneity means that all agents have the same available actions at any given state and the actions have the same effects regardless of which agents perform them. The state transitions are therefore determined only by the vector of numbers of agents performing each action and are specified symbolically, by means of conditions on these numbers definable in Presburger arithmetic. The agents are divided into controllable (by the system supervisor/controller) and uncontrollable, representing the environment or adversary. Dynamicity means that the numbers of controllable and uncontrollable agents may vary throughout the system evolution, possibly at every transition. As a language for formal specification we use a suitably extended version of Alternating-time Temporal Logic (ATL), where one can specify properties of the type "a coalition of (at least) $n$ controllable agents can ensure against (at most) $m$ uncontrollable agents that any possible evolution of the system satisfies a given objective $\varphi$", where $\varphi$ is specified again as a formula of that language and each of $n$ and $m$ is either a fixed number or a variable that can be quantified over. We provide formal semantics to our logic $\mathcal{L}_{HDMAS}$ and define normal form of its formulae. We then prove that every formula in $\mathcal{L}_{HDMAS}$ is equivalent in the finite to one in a normal form and develop an algorithm for global model checking of formulae in normal form in finite HDMAS models, which invokes model checking truth of Presburger formulae. We establish worst case complexity estimates for the model checking algorithm and illustrate it on a running example.


title: Thermodynamics and Many Body Chaos for generalized large q SYK models

abstract: This paper considers a type of generalized large $q$ SYK models which include multi-body interactions between Majorana fermions. We derive an effective action in the limit of large $N$ and large $q$ (with ${~q^2\over N} $ small), and find a universal expression for thermodynamical quantities. We also consider the chaos exponent using the retarded kernel method and find an efficient way to calculate the Lyapunov exponent for generalized large $q$ SYK models numerically.


title: Near Optimal Jointly Private Packing Algorithms via Dual Multiplicative Weight Update

abstract: We present an improved $(\epsilon, \delta)$-jointly differentially private algorithm for packing problems. Our algorithm gives a feasible output that is approximately optimal up to an $\alpha n$ additive factor as long as the supply of each resource is at least $\tilde{O}(\sqrt{m} / \alpha \epsilon)$, where $m$ is the number of resources. This improves the previous result by Hsu et al.~(SODA '16), which requires the total supply to be at least $\tilde{O}(m^2 / \alpha \epsilon)$, and only guarantees approximate feasibility in terms of total violation. Further, we complement our algorithm with an almost matching hardness result, showing that $\Omega(\sqrt{m \ln(1/\delta)} / \alpha \epsilon)$ supply is necessary for any $(\epsilon, \delta)$-jointly differentially private algorithm to compute an approximately optimal packing solution. Finally, we introduce an alternative approach that runs in linear time, is exactly truthful, can be implemented online, and can be $\epsilon$-jointly differentially private, but requires a larger supply of each resource.


title: Dynamic chiral magnetic effect and anisotropic natural optical activity of tilted Weyl semimetals

abstract: We study the dynamic chiral magnetic conductivity (DCMC) and natural optical activity in an inversion-broken tilted Weyl semimetal (WSM). Starting from the Kubo formula, we derive the analytical expressions for the DCMC for two different directions of the incident electromagnetic wave. We show that the angle of rotation of the plane of polarization of the transmitted wave exhibits remarkable anisotropic behavior and is larger along the tilt direction. This striking anisotropy of DCMC which results in anisotropic optical activity and rotary power, can be experimentally observed as a topological magneto-electric effect of inversion-broken tilted WSMs. Finally, using the low energy Hamiltonian, we show that the DCMC follows the universal $\frac{1}{\omega^2}$ decay in the high frequency regime. In the low frequency regime, however, the DCMC shows sharp peaks at the tilt dependent effective chemical potentials of the left-handed and right-handed Weyl points. This can serve as a signature to distinguish between the type-I and type-II Weyl semimetals.


title: Of commutators and Jacobians

abstract: I discuss the prescribed Jacobian equation $Ju=\det\nabla u=f$ for an unknown vector-function $u$, and the connection of this problem to the boundedness of commutators of multiplication operators with singular integrals in general, and with the Beurling operator in particular. A conjecture of T. Iwaniec regarding the solvability for general datum $f\in L^p(R^d)$ remains open, but recent partial results in this direction will be presented. These are based on a complete characterisation of the $L^p$-to-$L^q$ boundedness of commutators, where the regime of exponents $p>q$, unexplored until recently, plays a key role. These results have been proved in general dimension $d\geq 2$ elsewhere, but I will here present a simplified approach to the important special case $d=2$, using a framework suggested by S. Lindberg.


title: On Two Conjectures about the Sum of Element Orders

abstract: Let $G$ be a finite group and $\psi(G) = \sum_{g \in G} o(g)$, where $o(g)$ denotes the order of $g \in G$. First, we prove that if $G$ is a group of order $n$ and $\psi(G) >31\psi(C_n)/77$, where $C_n$ is the cyclic group of order $n$, then $G$ is supersolvable. This proves a conjecture of M.~{T\u{a}rn\u{a}uceanu}. Moreover, M. Herzog, P. Longobardi and M. Maj put forward the following conjecture: If $H\leq G$, then $\psi(G) \leqslant \psi(H) |G:H|^2$. In the sequel, by an example we show that this conjecture is not satisfied in general.


title: Dynamic predictions of kidney graft survival in the presence of longitudinal outliers

abstract: Dynamic predictions of survival outcomes are of great interest to physicians and patients, since such predictions are useful elements of clinical decision-making. Joint modelling of longitudinal and survival data has been increasingly used to obtain dynamic predictions. A common assumption of joint modelling is that random-effects and error terms in the longitudinal sub-model are Gaussian. However, this assumption may be too restrictive, e.g. in the presence of outliers as commonly encountered in many real-life applications. A natural extension is to robustify the joint models by assuming more flexible distributions than Gaussian for the random-effects and/or error terms. Previous research reported improved performance of robust joint models compared to the Gaussian version in terms of parameter estimation, but dynamic prediction accuracy obtained from such approach has not been yet evaluated. In this study, we define a general robust joint model with t-distributed random-effects and error terms under a Bayesian paradigm. Dynamic predictions of graft failure were obtained for kidney transplant recipients from the French transplant cohort, DIVAT. Calibration and discrimination performances of Gaussian and robust joint models were compared for a validation sample. Dynamic predictions for two individuals are presented.


title: Gravitational-Wave Asteroseismology with Fundamental Modes from Compact Binary Inspirals

abstract: The first detection of gravitational waves (GWs) from the binary neutron star (NS) inspiral GW170817 has opened a unique channel for probing the fundamental properties of matter at supra-nuclear densities inaccessible elsewhere in the Universe. This observation yielded the first constraints on the equation of state (EoS) of NS matter from the GW imprint of tidal interactions. Tidal signatures in the GW arise from the response of a matter object to the spacetime curvature sourced by its binary companion. They crucially depend on the EoS and are predominantly characterised by the tidal deformability parameters $\Lambda_{\ell}$, where $\ell=2,3$ denotes the quadrupole and octupole respectively. As the binary evolves towards merger, additional dynamical tidal effects become important when the orbital frequency approaches a resonance with the stars' internal oscillation modes. Among these modes, the fundamental ($f_\ell$-)modes have the strongest tidal coupling and can give rise to a cumulative imprint in the GW signal even if the resonance is not fully excited. Here we present the first direct constraints on fundamental oscillation mode frequencies for GW170817 using an inspiral GW phase model with an explicit dependence on the $f$-mode frequency and without assuming any relation between $f_\ell$ and $\Lambda_\ell$. We rule out anomalously small values of $f_\ell$ and, for the larger companion, determine a lower bound on the $f_2$-mode ($f_3$-mode) frequency of $\geq 1.39$ kHz ($\geq 1.86$ kHz) at the 90\% credible interval (CI). We then show that networks of future GW detectors will be able to measure $f$-mode frequencies to within tens of Hz from the inspiral alone. Such precision astroseismology will enable novel tests of fundamental physics and the nature of compact binaries.


title: Frequency domain model of $f$-mode dynamic tides in gravitational waveforms from compact binary inspirals

abstract: The recent detection of gravitational waves (GWs) from the neutron star binary inspiral GW170817 has opened a unique avenue to probe matter and fundamental interactions in previously unexplored regimes. Extracting information on neutron star matter from the observed GWs requires robust and computationally efficient theoretical waveform models. We develop an approximate frequency-domain GW phase model of a main GW signature of matter: dynamic tides associated with the neutron stars' fundamental oscillation modes ($f$-modes). We focus on nonspinning objects on circular orbits and demonstrate that, despite its mathematical simplicity, the new "$f$-mode tidal" (fmtidal) model is in good agreement with the effective-one-body dynamical tides model up to GW frequencies of $\gtrsim 1$ kHz and gives physical meaning to part of the phenomenology captured in tidal models tuned to numerical-relativity. The advantages of the fmtidal model are that it makes explicit the dependence of the GW phasing on the characteristic equation-of-state parameters, i.e., tidal deformabilities and $f$-mode frequencies; it is computationally efficient; and it can readily be added to any frequency-domain baseline waveform. The fmtidal model is easily amenable to future improvements and provides the means for a first step towards independently measuring additional fundamental properties of neutron star matter beyond the tidal deformability as well as performing novel tests of general relativity from GW observations.


title: The cohomology of the Steenrod algebra and the mod $p$ Lannes-Zarati homomorphism

abstract: In this paper, we compute ${\rm Ext}_{A}^{s}(\widetilde{H}^*(B\mathbb{Z}/p),\mathbb{F}_p)$ for $s\leq 1$. Using this result, we investigate the behavior of $\varphi_3^{\mathbb{F}_p}$ and $\varphi_s^{\widetilde{H}^*(B\mathbb{Z}/p)}\ (s\leq1)$ for an odd prime $p$.


title: On the smoothness of nonlinear system identification

abstract: We shed new light on the \textit{smoothness} of optimization problems arising in prediction error parameter estimation of linear and nonlinear systems. We show that for regions of the parameter space where the model is not contractive, the Lipschitz constant and $\beta$-smoothness of the objective function might blow up exponentially with the simulation length, making it hard to numerically find minima within those regions or, even, to escape from them. In addition to providing theoretical understanding of this problem, this paper also proposes the use of multiple shooting as a viable solution. The proposed method minimizes the error between a prediction model and the observed values. Rather than running the prediction model over the entire dataset, multiple shooting splits the data into smaller subsets and runs the prediction model over each subset, making the simulation length a design parameter and making it possible to solve problems that would be infeasible using a standard approach. The equivalence to the original problem is obtained by including constraints in the optimization. The new method is illustrated by estimating the parameters of nonlinear systems with chaotic or unstable behavior, as well as neural networks. We also present a comparative analysis of the proposed method with multi-step-ahead prediction error minimization.


title: Conductance of a subdiffusive random weighted tree

abstract: We work on a Galton--Watson tree with random weights, in the so-called "subdiffusive" regime. We study the rate of decay of the conductance between the root and the $n$-th level of the tree, as $n$ goes to infinity, by a mostly analytic method. It turns out the order of magnitude of the expectation of this conductance can be less than $1/n$ (in contrast with the results of Addario-Berry-Broutin-Lugosi and Chen-Hu-Lin), depending on the value of the second zero of the characteristic function associated to the model. We also prove the almost sure (and in $L^p$ for some $p>1$) convergence of this conductance divided by its expectation towards the limit of the additive martingale.


title: Using In-Game Shot Trajectories to Better Understand Defensive Impact in the NBA

abstract: As 3-point shooting in the NBA continues to increase, the importance of perimeter defense has never been greater. Perimeter defenders are often evaluated by their ability to tightly contest shots, but how exactly does contesting a jump shot cause a decrease in expected shooting percentage, and can we use this insight to better assess perimeter defender ability? In this paper we analyze over 50,000 shot trajectories from the NBA to explain why, in terms of impact on shot trajectories, shooters tend to miss more when tightly contested. We present a variety of results derived from this shot trajectory data. Additionally, pairing trajectory data with features such as defender height, distance, and contest angle, we are able to evaluate not just perimeter defenders, but also shooters' resilience to defensive pressure. Utilizing shot trajectories and corresponding modeled shot-make probabilities, we are able to create perimeter defensive metrics that are more accurate and less variable than traditional metrics like opponent field goal percentage.


title: Universal Block Tridiagonalization in B(H) and Beyond

abstract: For H a separable infinite dimensional complex Hilbert space, we prove that every B(H) operator has a basis with respect to which its matrix representation has a universal block tridiagonal form with block sizes given by a simple exponential formula independent of the operator. From this, such a matrix representation can be further sparsified to slightly sparser forms; it can lead to a direct sum of even sparser forms reflecting in part some of its reducing subspace structure; and in the case of operators without invariant subspaces (if any exists), it gives a plethora of sparser block tridiagonal representations. An extension to unbounded operators occurs for a certain domain of definition condition. Moreover this process gives rise to many different choices of block sizes.


title: Single Image Portrait Relighting

abstract: Lighting plays a central role in conveying the essence and depth of the subject in a portrait photograph. Professional photographers will carefully control the lighting in their studio to manipulate the appearance of their subject, while consumer photographers are usually constrained to the illumination of their environment. Though prior works have explored techniques for relighting an image, their utility is usually limited due to requirements of specialized hardware, multiple images of the subject under controlled or known illuminations, or accurate models of geometry and reflectance. To this end, we present a system for portrait relighting: a neural network that takes as input a single RGB image of a portrait taken with a standard cellphone camera in an unconstrained environment, and from that image produces a relit image of that subject as though it were illuminated according to any provided environment map. Our method is trained on a small database of 18 individuals captured under different directional light sources in a controlled light stage setup consisting of a densely sampled sphere of lights. Our proposed technique produces quantitatively superior results on our dataset's validation set compared to prior works, and produces convincing qualitative relighting results on a dataset of hundreds of real-world cellphone portraits. Because our technique can produce a 640 $\times$ 640 image in only 160 milliseconds, it may enable interactive user-facing photographic applications in the future.


title: Characterizing Attention Cascades in WhatsApp Groups

abstract: An important political and social phenomena discussed in several countries, like India and Brazil, is the use of WhatsApp to spread false or misleading content. However, little is known about the information dissemination process in WhatsApp groups. Attention affects the dissemination of information in WhatsApp groups, determining what topics or subjects are more attractive to participants of a group. In this paper, we characterize and analyze how attention propagates among the participants of a WhatsApp group. An attention cascade begins when a user asserts a topic in a message to the group, which could include written text, photos, or links to articles online. Others then propagate the information by responding to it. We analyzed attention cascades in more than 1.7 million messages posted in 120 groups over one year. Our analysis focused on the structural and temporal evolution of attention cascades as well as on the behavior of users that participate in them. We found specific characteristics in cascades associated with groups that discuss political subjects and false information. For instance, we observe that cascades with false information tend to be deeper, reach more users, and last longer in political groups than in non-political groups.


title: The Classical and Loop Quantum Cosmology Phase Space of Interacting Dark Energy and Superfluid Dark Matter

abstract: In this paper we study in detail the phase space of a cosmological system consisting of two coupled fluids, namely a dark energy fluid coupled with a superfluid dark matter fluid. The dark matter fluid is assumed to have a superfluid equation of state, hence it is not pressureless and our aim is to find the impact of this non-trivial equation of state on the phase space of the coupled system. We shall use two theoretical contexts, namely that of classical cosmology and that of loop quantum cosmology. In the classical case, we investigated the existence and stability of fixed points, and as we will show, no de Sitter fixed points occur, however matter and radiation domination fixed points occur, which are hyperbolic and unstable. We also show that there exist limited sets of initial conditions for which singular solutions occur in the phase space. With regard to the loop quantum cosmology case, we demonstrate that stable de Sitter fixed points exist, for some values of the free parameters of the theory, and interestingly enough, for the same values, singular solutions corresponding to general sets of initial conditions occur. To our knowledge this feature does not occur so frequently in loop quantum cosmological frameworks. We also demonstrate that non-singular solutions corresponding to a general set of initial conditions occur, however these occur when the dark matter superfluid has negative pressure, so it is a rather physically unappealing situation.


title: Some Remarks on Atypical Intersections

abstract: In this paper we show how some known weak forms of the Zilber--Pink conjecture can be strengthened by combining them with the Mordell--Lang conjecture or its variants. We illustrate this idea by proving some theorems on atypical intersections in the semiabelian and modular settings. Given a "finitely generated" set $\Gamma$ with a certain structure, we consider $\Gamma$-special subvarieties -- weakly special subvarieties containing a point of $\Gamma$ -- and show that every variety $V$ contains only finitely many maximal $\Gamma$-atypical subvarieties, i.e. atypical intersections of $V$ with $\Gamma$-special varieties the weakly special closures of which are $\Gamma$-special.


title: Instantons, Bar-Natan homology, and some concordance invariants of knots

abstract: A spectral sequence is established, from Bar-Natan's variant of Khovanov homology to a deformation of instanton homology for knots and links. This spectral sequence arises as a specialization of a spectral sequence from a characteristic-2 version of $F_5$ homology, in Khovanov'sclassification. Concordance invariants of knots are derived from the corresponding instanton homology groups, including a 1-parameter family of homomorphisms $f_r$ from the concordance group to the reals, having the potential to provide independent bounds on the genus and number of double points for immersed surfaces with boundary a given knot.


title: Web data mining for public health purposes

abstract: For a long time, public health events, such as disease incidence or vaccination activity, have been monitored to keep track of the health status of the population, allowing to evaluate the effect of public health initiatives and to decide where resources for improving public health are best spent. This thesis investigates the use of web data mining for public health monitoring, and makes contributions in the following two areas: New approaches for predicting public health events from web mined data, and novel applications of web mined data for public health monitoring.


title: Bose-Einstein condensation in two-dimensional traps

abstract: In two-dimensional traps, since the theoretical study of Bose-Einstein condensation (BEC) will encounter the problem of divergence, the actual contribution of the divergent terms is often estimated in some indirect ways with the accuracy to the leading order. In this paper, by using an analytical continuation method to solve the divergence problem, we obtain the analytical expressions of critical temperature and condensate fraction for Bose gases in a two-dimensional anisotropic box and harmonic trap, respectively. They are consistent with or better than previous studies. Then, we further consider the nonvanishing chemical potential, and obtain the expressions of chemical potential and more precise condensate fraction. These results agree with the numerical calculation well, especially for the case of harmonic traps. The comparison between the grand canonical and canonical ensembles shows that our calculation in the grand canonical ensemble is reliable.


title: ASKAP Commissioning Observations of the GAMA 23 Field

abstract: We have observed the G23 field of the Galaxy And Mass Assembly (GAMA) survey using the Australian Square Kilometre Array Pathfinder (ASKAP) in its commissioning phase, to validate the performance of the telescope and to characterize the detected galaxy populations. This observation covers $\sim$48 deg$^2$ with synthesized beam of 32.7$^{\prime\prime}$ by 17.8$^{\prime\prime}$ at 936 MHz, and $\sim$39 deg$^2$ with synthesized beam of 15.8$^{\prime\prime}$ by 12.0$^{\prime\prime}$ at 1320 MHz. At both frequencies, the r.m.s. (root-mean-square) noise is $\sim$0.1 mJy/beam. We combine these radio observations with the GAMA galaxy data, which includes spectroscopy of galaxies that are i-band selected with a magnitude limit of 19.2. Wide-field Infrared Survey Explorer (WISE) infrared (IR) photometry is used to determine which galaxies host an active galactic nucleus (AGN). In properties including source counts, mass distributions, and IR vs. radio luminosity relation, the ASKAP detected radio sources behave as expected. Radio galaxies have higher stellar mass and luminosity in IR, optical and UV than other galaxies. We apply optical and IR AGN diagnostics and find that they disagree for $\sim$30% of the galaxies in our sample. We suggest possible causes for the disagreement. Some cases can be explained by optical extinction of the AGN, but for more than half of the cases we do not find a clear explanation. Radio sources are more likely ($\sim$6%) to have an AGN than radio quiet galaxies ($\sim$1%), but the majority of AGN are not detected in radio at this sensitivity.


title: Digit expansions of numbers in different bases

abstract: A folklore conjecture in number theory states that the only integers whose expansions in base $3,4$ and $5$ contain solely binary digits are $0, 1$ and $82000$. In this paper, we present the first progress on this conjecture. Furthermore, we investigate the density of the integers containing only binary digits in their base $3$ or $4$ expansion, whereon an exciting transition in behaviour is observed. Our methods shed light on the reasons for this, and relate to several well-known questions, such as Graham's problem and a related conjecture of Pomerance. Finally, we generalise this setting and prove that the set of numbers in $[0, 1]$ who do not contain some digit in their $b$-expansion for all $b \geq 3$ has zero Hausdorff dimension.


title: A globally exponentially stable position observer for interior permanent magnet synchronous motors

abstract: The design of a position observer for the interior permanent magnet synchronous motor is a challenging problem that, in spite of many research efforts, remained open for a long time. In this paper we present the first globally exponentially convergent solution to it, assuming that the saliency is not too large. As expected in all observer tasks, a persistency of excitation condition is imposed. Conditions on the operation of the motor, under which it is verified, are given. In particular, it is shown that at rotor standstill---when the system is not observable---it is possible to inject a probing signal to enforce the persistent excitation condition. {The high performance of the proposed observer, in standstill and high speed regions, is verified by extensive series of test-runs on an experimental setup.


title: Bayesian evidence for $\alpha$-attractor dark energy models

abstract: Dark energy models with tracker properties have gained attention due to the large range of initial conditions leading to the current value of the dark energy density parameter. A well-motivated family of these models are the so-called $\alpha$-attractors, which show the late time behavior of a cosmological constant. In the present paper we perform a model-selection analysis of a variety of $\alpha$-attractor potentials in comparison with a non-flat $\Lambda$CDM model. Specifically, we compute the Bayes Factor for the L-Model, the Oscillatory Tracker Model, the Recliner Model, and the Starobinsky Model, while considering the non-flat $\Lambda$CDM as the base model. Each model is tested through a Bayesian analysis using observations relevant to the current accelerated expansion: we employ the latest SNe Ia data, combined with cosmic clocks, the latest BOSS release of BAO data, and the Planck Compressed 2018 data. The produced Markov Chains for each model are further compared through a Bayesian evidence analysis. From the latter we conclude that the Oscillatory Tracker Model is preferred by data (even if weakly) over the non-flat $\Lambda$CDM model. Our results also suggest at the L-model is the least favoured version of the $\alpha$-attractor models considered.


title: Quasinormal modes in kink excitations and kink-antikink interactions: a toy model

abstract: We study excitations and collisions of kinks in a scalar field theory where the potential has two minima with $Z_2$ symmetry. The field potential is designed to create a square well potential in the stability equation of the kink excitations. The stability equation is analogous to the Schr\"{o}dinger equation, and therefore we use quantum mechanics techniques to study the system. We modify the square well potential continuously, which allows the excitation to tunnel and consequently turns the normal modes of the kink into quasinormal modes. We study the effect of this transition, leading to energy leak, on isolated kink excitations. Finally, we investigate kink-antikink collisions and the resulting scaling and fractal structure of the resonance windows considering both normal and quasinormal modes and compare the results.


title: Invariant Surfaces for Toric Type Foliations in Dimension Three

abstract: A foliation is of toric type when it has a combinatorial reduction of singularities. We show that every toric type foliation on (C3, 0), without saddle-nodes, has invariant surface. We extend the argument of Cano-Cerveau, done for the nondicritical case, to the compact dicritical components of the exceptional divisor. These components are projective toric surfaces and the isolated invariant branches of the induced foliation extend to global curves. We build the invariant surface as a germ along the singular locus and those global invariant curves. The result of Ortiz-Rosales-Voronin, about the distribution of invariant curves in dimension two, is a key argument in our proof.


title: Accelerated Distributed Primal-Dual Dynamics using Adaptive Synchronization

abstract: This paper proposes an adaptive primal-dual dynamics for distributed optimization in multi-agent systems. The proposed dynamics incorporates an adaptive synchronization law that reinforces the interconnection strength between the primal variables of the coupled agents, the given law accelerates the convergence of the proposed dynamics to the saddle-point solution. The resulting dynamics is represented as a feedback interconnected networked system that proves to be passive. The passivity properties of the proposed dynamics are exploited along with the LaSalle's invariance principle for hybrid systems, to establish asymptotic convergence and stability of the saddle-point solution. Further, the primal dynamics is analyzed for the rate of convergence and stronger convergence bounds are established, it is proved that the primal dynamics achieve accelerated convergence under the adaptive synchronization. The robustness of the proposed dynamics is quantified using L2-gain analysis and the correlation between the rate of convergence and robustness of the proposed dynamics is presented. The effectiveness of the proposed dynamics is demonstrated by applying it to solve distributed least squares and distributed support vector machines problems.


title: Neutrino Mixing via the Neutrino Portal

abstract: Relation between the lepton and quark mixings: $U_{PMNS} \approx V_{CKM}^{\dagger} U_X$, where $U_X$ is the BM or TBM mixing matrices, implies the quark-lepton (Grand) unification and existence of hidden sector with certain flavor symmetries. The latter couples to the visible sector via the neutrino portal and is responsible for $U_X$, as well as for smallness of neutrino mass. GUT ensures appearance of $\sim V_{CKM}$ in the lepton mixing. General features of this scenario (inverse or double seesaw, screening of the Dirac structures, basis fixing symmetry) are described and two realizations are presented. The high energy realization is based on $SO(10)$ GUT with the hidden sector at the Planck scale. The low energy realization includes the 100 TeV scale $L-R$ symmetry and the hidden sector at the keV - MeV scale.


title: All Inkjet-Printed Graphene-Silver Composite Inks for Highly Conductive Wearable E-Textiles Applications

abstract: Inkjet-printed wearable electronic textiles (e-textiles) are considered to be very promising due to excellent processing and environmental benefits offered by digital fabrication technique. Inkjet-printing of conductive metallic inks such as silver (Ag) nanoparticles (NPs) are well-established and that of graphene-based inks is of great interest due to multi-functional properties of graphene-based materials. However, poor ink stability at higher graphene concentration and the cost associated with the higher Ag loading in metal inks have limited their wider use. Moreover, graphene-based e-textiles reported so far are mainly based on graphene derivatives such as graphene oxide (GO) or reduced graphene oxide (rGO), which suffers from poor electrical conductivity. Here we report inkjet printing of highly conductive and cost-effective graphene/Ag composite inks for wearable e-textiles applications. The composite inks were formulated, characterised and inkjet-printed onto PEL paper first and then sintered at 150 C for 1 hr. The sheet resistance of the printed patterns is found to be in the range of ~0.08 - 4.74 ohm/sq depending on the number of print layers and the graphene/Ag ratio in the formulation. The optimised composite ink was then successfully printed onto surface pre-treated (by inkjet printing) cotton fabrics in order to produce all-inkjet-printed highly conductive and cost-effective electronic textiles.


title: Knowledge Authoring and Question Answering with KALM

abstract: Knowledge representation and reasoning (KRR) is one of the key areas in artificial intelligence (AI) field. It is intended to represent the world knowledge in formal languages (e.g., Prolog, SPARQL) and then enhance the expert systems to perform querying and inference tasks. Currently, constructing large scale knowledge bases (KBs) with high quality is prohibited by the fact that the construction process requires many qualified knowledge engineers who not only understand the domain-specific knowledge but also have sufficient skills in knowledge representation. Unfortunately, qualified knowledge engineers are in short supply. Therefore, it would be very useful to build a tool that allows the user to construct and query the KB simply via text. Although there is a number of systems developed for knowledge extraction and question answering, they mainly fail in that these system don't achieve high enough accuracy whereas KRR is highly sensitive to erroneous data. In this thesis proposal, I will present Knowledge Authoring Logic Machine (KALM), a rule-based system which allows the user to author knowledge and query the KB in text. The experimental results show that KALM achieved superior accuracy in knowledge authoring and question answering as compared to the state-of-the-art systems.


title: The Delay Times of Type Ia Supernova

abstract: The delay time distribution of Type Ia supernovae (the time-dependent rate of supernovae resulting from a burst of star formation) has been measured using different techniques and in different environments. Here, we study in detail the distribution for field galaxies, using the SDSS DR7 Stripe 82 supernova sample. We improve a technique we introduced earlier, which is based on galaxy color and luminosity, and is insensitive to details of the star formation history, to include the normalization. Assuming a power-law dependence of the supernova rate with time, ${\rm DTD}(t)=A(t/{\rm 1\,Gyr})^{s}$, we find a power-law index $s= -1.34 ^{+0.19} _{-0.17}$ and a normalization $\rm{log}\ A= -12.15 ^{+0.10} _{-0.13}\, {\rm dex}(M_\odot ^{-1}\, \rm{yr}^{-1})$, corresponding to a number of type Ia supernovae integrated over a Hubble time of $PE = 0.004^{+0.002} _{-0.001}\, M_\odot ^{-1}$. We also implement a method used by Maoz and collaborators, which is based on star formation history reconstruction, and find that this gives a consistent result for the slope, but a lower, marginally inconsistent normalization. With our normalization, the distribution for field galaxies is made consistent with that derived for cluster galaxies. Comparing the inferred distribution with predictions from different evolutionary scenarios for type Ia supernovae, we find that our results are intermediate between the various predictions and do not yet constraint the evolutionary path leading to SNe~Ia.


title: Shear-invariant Sliding Contact Perception with a Soft Tactile Sensor

abstract: Manipulation tasks often require robots to be continuously in contact with an object. Therefore tactile perception systems need to handle continuous contact data. Shear deformation causes the tactile sensor to output path-dependent readings in contrast to discrete contact readings. As such, in some continuous-contact tasks, sliding can be regarded as a disturbance over the sensor signal. Here we present a shear-invariant perception method based on principal component analysis (PCA) which outputs the required information about the environment despite sliding motion. A compliant tactile sensor (the TacTip) is used to investigate continuous tactile contact. First, we evaluate the method offline using test data collected whilst the sensor slides over an edge. Then, the method is used within a contour-following task applied to 6 objects with varying curvatures; all contours are successfully traced. The method demonstrates generalisation capabilities and could underlie a more sophisticated controller for challenging manipulation or exploration tasks in unstructured environments. A video showing the work described in the paper can be found at https://youtu.be/wrTM61-pieU


title: Classical polarimetry with a twist: a compact, geometric approach

abstract: We present an approach to classical polarimetry that requires no moving parts, is compact and robust, and that encodes the complete polarization information on a single data frame, accomplished by replacing the rotation of components such as wave plates with position along a spatial axis. We demonstrate the concept with a polarimeter having a quarter wave plate whose fast axis direction changes with location along one axis of a 2D data frame in conjunction with a fixed-direction polarization analyzer, analogous to a classical rotating quarter wave plate polarimeter. The full set of Stokes parameters is obtained, with maximal sensitivity to circular polarization Stokes V if a quarter wave retarder is used. Linear and circular polarization terms are encoded with spatial carrier frequencies that differ by a factor two, which minimizes cross-talk. Other rotating component polarimeters lend themselves to the approach. Since the polarization modulation spatial frequencies do not change greatly, if at all, with wavelength such devices are close to achromatic, simplifying instrument design. Since the polarimetric information is acquired in a single observation, rapidly varying, transient and moving targets are accessible, loss of precision due to sequential data acquisition is avoided, and moving parts are not required.


title: Price of Privacy in the Keynesian Beauty Contest

abstract: The Keynesian Beauty Contest is a classical game in which strategic agents seek to both accurately guess the true state of the world as well as the average action of all agents. We study an augmentation of this game where agents are concerned about revealing their private information and additionally suffer a loss based on how well an observer can infer their private signals. We solve for an equilibrium of this augmented game and quantify the loss of social welfare as a result of agents acting to obscure their private information, which we call the 'price of privacy'. We analyze two versions of this this price: one from the perspective of the agents measuring their diminished ability to coordinate due to acting to obscure their information and another from the perspective of an aggregator whose statistical estimate of the true state of the world is of lower precision due to the agents adding random noise to their actions. We show that these quantities are high when agents care very strongly about protecting their personal information and low when the quality of the signals the agents receive is poor.


title: On Leibniz superalgebras which even part is sl_2

abstract: This article deals with a Leibniz superalgebras $L=L_0\oplus L_1,$ whose even part is a simple Lie algebra $\mathfrak{sl}_2$. We describe all such Leibniz superalgebras when odd part is an irreducible Leibniz bi-module on $\mathfrak{sl}_2 $. We show that there exist such Leibniz superalgebras with nontrivial odd part only in case of $dim L_1=2.$


title: Strong photon coupling to the quadrupole moment of an electron in solid state

abstract: The implementation of circuit quantum electrodynamics allows coupling distant qubits by microwave photons hosted in on-chip superconducting resonators. Typically, the qubit-photon interaction is realized by coupling the photons to the electric dipole moment of the qubit. A recent proposal suggests storing the quantum information in the electric quadrupole moment of an electron in a triple quantum dot. The qubit is expected to have improved coherence since it is insensitive to dipolar noise produced by distant voltage fluctuators. Here we experimentally realize a quadrupole qubit in a linear array of three quantum dots in a GaAs/AlGaAs heterostructure. A high impedance microwave resonator coupled to the middle dot interacts with the qubit quadrupole moment. We demonstrate strong quadrupole qubit--photon coupling and observe improved coherence properties when operating the qubit in the parameter space where the dipole coupling vanishes.


title: Note on Morita Inequality for Planar Noncommutative Inverted Oscillator

abstract: A recent conjecture of Morita predicts a lower bound in temperature $T$ of a chaotic system, $T\geq (\hbar/2\pi)\Lambda$, $\Lambda$ being the Lyapunov exponent, which was demonstrated for a one dimensional inverse harmonic oscillator. In the present work we discuss the robustness of this demonstration in an extended version of the above model, where the inverse harmonic oscillator lives a in two dimensional noncommutative space. We show that, without noncommutativity, Morita's conjecture survives in an essentially unchanged way in two dimensions. However, if noncommutativity is switched on, the noncommutativity induced correction terms conspire to produce, in classical framework, a purely oscillating non-chaotic system without any exponential growth so that Lyapunov exponent is not defined. On the other hand, following Morita's analysis, we show that quantum mechanically an effective temperature with noncommutative corrections is generated. Thus Morita's conjecture is not applicable in the noncommutative plane. A dimensionless parameter $\sigma =m\alpha\theta^2$, (where $m, \alpha, \theta$ are the particle mass, coupling strength with inverse oscillator and the noncommutative parameter respectively) plays a crucial role in our analysis.


title: Budget-Feasible Mechanism Design for Non-Monotone Submodular Objectives: Offline and Online

abstract: The framework of budget-feasible mechanism design studies procurement auctions where the auctioneer (buyer) aims to maximize his valuation function subject to a hard budget constraint. We study the problem of designing truthful mechanisms that have good approximation guarantees and never pay the participating agents (sellers) more than the budget. We focus on the case of general (non-monotone) submodular valuation functions and derive the first truthful, budget-feasible and $O(1)$-approximate mechanisms that run in polynomial time in the value query model, for both offline and online auctions. Prior to our work, the only $O(1)$-approximation mechanism known for non-monotone submodular objectives required an exponential number of value queries. At the heart of our approach lies a novel greedy algorithm for non-monotone submodular maximization under a knapsack constraint. Our algorithm builds two candidate solutions simultaneously (to achieve a good approximation), yet ensures that agents cannot jump from one solution to the other (to implicitly enforce truthfulness). Ours is the first mechanism for the problem where---crucially---the agents are not ordered with respect to their marginal value per cost. This allows us to appropriately adapt these ideas to the online setting as well. To further illustrate the applicability of our approach, we also consider the case where additional feasibility constraints are present. We obtain $O(p)$-approximation mechanisms for both monotone and non-monotone submodular objectives, when the feasible solutions are independent sets of a $p$-system. With the exception of additive valuation functions, no mechanisms were known for this setting prior to our work. Finally, we provide lower bounds suggesting that, when one cares about non-trivial approximation guarantees in polynomial time, our results are asymptotically best possible.


title: Nanoplasmonics within a biofilm

abstract: Biofilm templated gold nanonetwork provide a platform to study the transition of local plasmon to a surface plasmon. The switch from localized surface plasmon resonance (LSPR) to surface plasmon resonance (SPR) is induced by the percolation of metal atoms between gold nano-islands. Formed nano-composites showed a transition in metal percolation state (non-percolating to percolating state), as evident from electrical properties. The optical component of the study followed a previously tested method by our group, in which photonic coherences are induced by biofilms. Peaks were obtained in enhancement spectra that were found to correspond with plasmonic peaks, which in turn depended on Au precursor concentration that had been added.


title: Log Diameter Rounds Algorithms for $2$-Vertex and $2$-Edge Connectivity

abstract: Many modern parallel systems, such as MapReduce, Hadoop and Spark, can be modeled well by the MPC model. The MPC model captures well coarse-grained computation on large data --- data is distributed to processors, each of which has a sublinear (in the input data) amount of memory and we alternate between rounds of computation and rounds of communication, where each machine can communicate an amount of data as large as the size of its memory. This model is stronger than the classical PRAM model, and it is an intriguing question to design algorithms whose running time is smaller than in the PRAM model. In this paper, we study two fundamental problems, $2$-edge connectivity and $2$-vertex connectivity (biconnectivity). PRAM algorithms which run in $O(\log n)$ time have been known for many years. We give algorithms using roughly log diameter rounds in the MPC model. Our main results are, for an $n$-vertex, $m$-edge graph of diameter $D$ and bi-diameter $D'$, 1) a $O(\log D\log\log_{m/n} n)$ parallel time $2$-edge connectivity algorithm, 2) a $O(\log D\log^2\log_{m/n}n+\log D'\log\log_{m/n}n)$ parallel time biconnectivity algorithm, where the bi-diameter $D'$ is the largest cycle length over all the vertex pairs in the same biconnected component. Our results are fully scalable, meaning that the memory per processor can be $O(n^{\delta})$ for arbitrary constant $\delta>0$, and the total memory used is linear in the problem size. Our $2$-edge connectivity algorithm achieves the same parallel time as the connectivity algorithm of Andoni et al. (FOCS 2018). We also show an $\Omega(\log D')$ conditional lower bound for the biconnectivity problem.


title: Lifting Vectorial Variational Problems: A Natural Formulation based on Geometric Measure Theory and Discrete Exterior Calculus

abstract: Numerous tasks in imaging and vision can be formulated as variational problems over vector-valued maps. We approach the relaxation and convexification of such vectorial variational problems via a lifting to the space of currents. To that end, we recall that functionals with polyconvex Lagrangians can be reparametrized as convex one-homogeneous functionals on the graph of the function. This leads to an equivalent shape optimization problem over oriented surfaces in the product space of domain and codomain. A convex formulation is then obtained by relaxing the search space from oriented surfaces to more general currents. We propose a discretization of the resulting infinite-dimensional optimization problem using Whitney forms, which also generalizes recent "sublabel-accurate" multilabeling approaches.


title: A conformal Skorokhod embedding

abstract: Start a planar Brownian motion and let it run until it hits some given barrier. We show that the barrier may be crafted so that the x coordinate at the hitting time has any prescribed centered distribution with finite variance. This provides a new, complex-analytic proof of the Skorokhod embedding theorem. Our method is constructive and can give an explicit description of the barrier.


title: The Declining Price Anomaly is not Universal in Multi-Buyer Sequential Auctions (but almost is)

abstract: The declining price anomaly states that the price weakly decreases when multiple copies of an item are sold sequentially over time. The anomaly has been observed in a plethora of practical applications. On the theoretical side, Gale and Stegeman proved that the anomaly is guaranteed to hold in full information sequential auctions with exactly two buyers. We prove that the declining price anomaly is not guaranteed in full information sequential auctions with three or more buyers. This result applies to both first-price and second-price sequential auctions. Moreover, it applies regardless of the tie-breaking rule used to generate equilibria in these sequential auctions. To prove this result we provide a refined treatment of subgame perfect equilibria that survive the iterative deletion of weakly dominated strategies and use this framework to experimentally generate a very large number of random sequential auction instances. In particular, our experiments produce an instance with three bidders and eight items that, for a specific tie-breaking rule, induces a non-monotonic price trajectory. Theoretic analyses are then applied to show that this instance can be used to prove that for every possible tie-breaking rule there is a sequential auction on which it induces a non-monotonic price trajectory. On the other hand, our experiments show that non-monotonic price trajectories are extremely rare. In over six million experiments only a 0.000183 proportion of the instances violated the declining price anomaly.


title: Control Variates for Stochastic Simulation of Chemical Reaction Networks

abstract: Stochastic simulation is a widely used method for estimating quantities in models of chemical reaction networks where uncertainty plays a crucial role. However, reducing the statistical uncertainty of the corresponding estimators requires the generation of a large number of simulation runs, which is computationally expensive. To reduce the number of necessary runs, we propose a variance reduction technique based on control variates. We exploit constraints on the statistical moments of the stochastic process to reduce the estimators' variances. We develop an algorithm that selects appropriate control variates in an on-line fashion and demonstrate the efficiency of our approach on several case studies.


title: Compression of Acoustic Event Detection Models with Low-rank Matrix Factorization and Quantization Training

abstract: In this paper, we present a compression approach based on the combination of low-rank matrix factorization and quantization training, to reduce complexity for neural network based acoustic event detection (AED) models. Our experimental results show this combined compression approach is very effective. For a three-layer long short-term memory (LSTM) based AED model, the original model size can be reduced to 1% with negligible loss of accuracy. Our approach enables the feasibility of deploying AED for resource-constraint applications.


title: Compactness in Adapted Weak Topologies

abstract: Over the years a number of topologies for the set of laws of stochastic processes have been proposed. Building on the weak topology they all aim to capture more accurately the temporal structure of the processes. In a parallel paper we show that all of these topologies (i.e. the information topology of Hellwig, the nested distance topology of Pflug-Pichler, the extended weak convergence of Aldous and a topology built from Lasalle's notion of a causal transference plan) are equal in finite discrete time. Regrettably, the simple characterization of compactness given by Prokhorov's theorem for the weak topology fails to be true in this finer topology. This phenomenon is closely related to the failure of a natural metric for this topology to be complete. For certain problems, a 'fix' consists in passing to the metric completion. Still, it also seems interesting to find out what compact sets look like in the uncompleted space. Here we give a characterization of compact sets in this adapted weak topology which is strongly reminiscent of the Arzel\`a-Ascoli theorem (with a dash of Prokhorov's theorem). The tools developed are also useful elsewhere. We give a different proof of the continuity of the conditionally independent gluing map of two measures with one marginal in common and in our companion paper the ideas developed here form the main non-algebraic ingredient in showing that the information topology introduced by Hellwig is equal to the nested weak topology of Pflug-Pichler.


title: On period, cycles and fixed points of a quantum channel

abstract: We consider a quantum channel acting on an infinite dimensional von Neumann algebra of operators on a separable Hilbert space. When there exists an invariant normal faithful state, the cyclic properties of such channels are investigated passing through the decoherence free algebra and the fixed points domain. Both these spaces are proved to be images of a normal conditional expectation so that their consequent atomic structure are analyzed in order to give a better description of the action of the channel and, for instance, of its Kraus form and invariant densities.


title: Boosting quantum vacuum signatures by coherent harmonic focusing

abstract: We show that coherent harmonic focusing provides an efficient mechanism to boost all-optical signatures of quantum vacuum nonlinearity in the collision of high-intensity laser fields, thereby offering a promising route to their first experimental detection. Assuming two laser pulses of given parameters at our disposal, we demonstrate a substantial increase of the number of signal photons measurable in experiments where one of the pulses undergoes coherent harmonic focusing before it collides with the fundamental-frequency pulse. Imposing a quantitative criterion to discern the signal photons from the background of the driving laser photons and accounting for the finite purity of polarization filtering, we find that signal photons arising from inelastic scattering processes constitute a promising signature. By contrast, quasi-elastic contributions which are conventionally assumed to form the most prospective signal remain background dominated. Our findings may result in a paradigm shift concerning which photonic signatures of quantum vacuum nonlinearity are accessible in experiment.


title: The pH Dependence of Ultrafast Charge Dynamics in Graphene Oxide Dispersions

abstract: The pH dependence of emission from graphene oxide is believed to be due to the protonation of surface functional groups. In this study we use transient absorption spectroscopy to study the sub-picosecond charge dynamics in graphene oxide over a range of pH values, observing dynamics consistent with an excited state protonation step for pH < 9.3. The timescale of this process is ~ 1.5 ps, and a corresponding change in recombination dynamics follows. A broad photo-induced absorption peak centred at 530 nm associated with excited state protonation is also observed.


title: Consistent Inversion of Noisy Non-Abelian X-Ray Transforms

abstract: For $M$ a simple surface, the non-linear statistical inverse problem of recovering a matrix field $\Phi: M \to \mathfrak{so}(n)$ from discrete, noisy measurements of the $SO(n)$-valued scattering data $C_\Phi$ of a solution of a matrix ODE is considered ($n\geq 2$). Injectivity of the map $\Phi \mapsto C_\Phi$ was established by [Paternain, Salo, Uhlmann; Geom.Funct.Anal. 2012]. A statistical algorithm for the solution of this inverse problem based on Gaussian process priors is proposed, and it is shown how it can be implemented by infinite-dimensional MCMC methods. It is further shown that as the number $N$ of measurements of point-evaluations of $C_\Phi$ increases, the statistical error in the recovery of $\Phi$ converges to zero in $L^2(M)$-distance at a rate that is algebraic in $1/N$, and approaches $1/\sqrt N$ for smooth matrix fields $\Phi$. The proof relies, among other things, on a new stability estimate for the inverse map $C_\Phi \to \Phi$. Key applications of our results are discussed in the case $n=3$ to polarimetric neutron tomography, see [Desai et al., Nature Sc.Rep. 2018] and [Hilger et al., Nature Comm. 2018]


title: A Portalino to the Twin Sector

abstract: Extensions of the Standard Model are often highly constrained by cosmology. The presence of new states can dramatically alter observed properties of the universe by the presence of additional matter or entropy. In particular, attempts too solve the hierarchy problem through naturalness invariably predict new particles near the weak scale which come into thermal equilibrium. Without a means to deposit this energy into the SM, these models are often excluded. Scenarios of "neutral naturalness" especially, such as the Twin Higgs frequently suffer from this. However, the Portalino, a singlet fermion that marries gauge neutral fermion operators, can naturally help provide a portal for entropy to return to the SM and to lift fermionic degrees of freedom in the Twin Sector. Together with spontaneous breaking of the $Z_2$ ${\rm SM \leftrightarrow {\rm Twin}}$ symmetry, there are new opportunities to confront the cosmological challenges of these models. Here, we attempt to develop such ideas. We shall show how one can lift many of the light fields by breaking $\ztwo$ with a $U(1)_Y$ scalar and its Twin partner. The introduction of Portalinos can lift the remaining degrees of freedom. We shall find that such models are highly constrained by precision SM measurements, motivating moderate extensions beyond this. We will discuss two, one with additional weak matter and another with additional colored matter. The weak model will involve simple two Higgs doublet models on top of $\ztwo$ breaking. The strong model will involve the presence of new leptoquarks and diquarks. We will discuss the implications for neutrino masses from radiative corrections and possible colored signals even within these models of neutral naturalness, some of which might appear at the LHC or future colliders.


title: Experimental evidence of laser power oscillations induced by the relative Fresnel (Goos-Haenchen) phase

abstract: The amplification of the relative Fresnel (Goos-Haenchen) phase by an appropriate number of total internal reflections and the choice of favorable incidence angles allow to observe full oscillations in the power of a DPSS laser transmitted through sequential BK7 blocks. The experimental results confirm the theoretical predictions. The optical apparatus used in this letter can be seen as a new type of two-phase ellipsometric system where the phase of the complex refractive index is replaced by the relative Fresnel (Goos-Haenchen) phase.


title: Parity Models: A General Framework for Coding-Based Resilience in ML Inference

abstract: Machine learning models are becoming the primary workhorses for many applications. Production services deploy models through prediction serving systems that take in queries and return predictions by performing inference on machine learning models. In order to scale to high query rates, prediction serving systems are run on many machines in cluster settings, and thus are prone to slowdowns and failures that inflate tail latency and cause violations of strict latency targets. Current approaches to reducing tail latency are inadequate for the latency targets of prediction serving, incur high resource overhead, or are inapplicable to the computations performed during inference. We present ParM, a novel, general framework for making use of ideas from erasure coding and machine learning to achieve low-latency, resource-efficient resilience to slowdowns and failures in prediction serving systems. ParM encodes multiple queries together into a single parity query and performs inference on the parity query using a parity model. A decoder uses the output of a parity model to reconstruct approximations of unavailable predictions. ParM uses neural networks to learn parity models that enable simple, fast encoders and decoders to reconstruct unavailable predictions for a variety of inference tasks such as image classification, speech recognition, and object localization. We build ParM atop an open-source prediction serving system and through extensive evaluation show that ParM improves overall accuracy in the face of unavailability with low latency while using 2-4$\times$ less additional resources than replication-based approaches. ParM reduces the gap between 99.9th percentile and median latency by up to $3.5\times$ compared to approaches that use an equal amount of resources, while maintaining the same median.


title: Elliptic Blowup Equations for 6d SCFTs. II: Exceptional Cases

abstract: The building blocks of 6d $(1,0)$ SCFTs include certain rank one theories with gauge group $G=SU(3),SO(8),F_4,E_{6,7,8}$. In this paper, we propose a universal recursion formula for the elliptic genera of all such theories. This formula is solved from the elliptic blowup equations introduced in our previous paper. We explicitly compute the elliptic genera and refined BPS invariants, which recover all previous results from topological string theory, modular bootstrap, Hilbert series, 2d quiver gauge theories and 4d $\mathcal{N}=2$ superconformal $H_{G}$ theories. We also observe an intriguing relation between the $k$-string elliptic genus and the Schur indices of rank $k$ $H_{G}$ SCFTs, as a generalization of Lockhart-Zotto's conjecture at the rank one cases. In a subsequent paper, we deal with all other non-Higgsable clusters with matters.


title: Small angle limits of Hamilton's footballs

abstract: Compact Ricci solitons on surfaces have at most two cone points, and are known as Hamilton's footballs. In this note we completely describe the degenerations of these footballs as one or both of the cone angles approaches zero. In particular, we show that Hamilton's famous non-compact cigar soliton is the Gromov--Hausdorff limit of Hamilton's compact conical teardrop solitons.


title: Equation of state for hot QCD and compact stars from a mean field approach

abstract: The thermodynamic properties of high temperature and high density QCD-matter are explored within the Chiral SU(3)-flavor parity-doublet Polyakov-loop quark-hadron mean-field model, CMF. The quark sector of the CMF model is tuned to describe the $\mu_B=0$ thermodynamics data of lattice QCD. The resulting lines of constant physical variables as well as the baryon number susceptibilities are studied in some detail in the temperature/chemical potential plane. The CMF model predicts three consecutive transitions, the nuclear first-order liquid-vapor phase transition, chiral symmetry restoration, and the cross-over transition to a quark-dominated phase. All three phenomena are cross-over, for most of the $T-\mu_B$-plane. The deviations from the free ideal hadron gas baseline at $\mu_B=0$ and $T\approx 100-200$ MeV can be attributed to remnants of the liquid-vapor first order phase transition in nuclear matter. The chiral crossing transition determines the baryon fluctuations at much higher $\mu_B\approx1.5$ GeV, and at even higher baryon densities $\mu_B\approx2.4$ GeV, the behavior of fluctuations is controlled by the deconfinement cross-over. The CMF model also describe well the static properties of high $\mu_B$ neutron stars as well as the new neutron star merger observations. The effective EoS presented here describes simultaneously lattice QCD results at $\mu_B=0$, as well as observed physical phenomena (nuclear matter and neutron star matter) at $T\cong0$ and high densities, $\mu_B>1$ GeV.


title: Opinion Diversity and Social Bubbles in Adaptive Sznajd Networks

abstract: Among the several approaches that have been attempted at studying opinion dynamics, the Sznajd model provides some particularly interesting features, such as its simplicity and ability to represent some of the mechanisms believed to be involved in opinion dynamics. The standard Sznajd model at zero temperature is characterized by converging to one stable state, implying null diversity of opinions. In the present work, we develop an approach -- namely the adaptive Sznajd model -- in which changes of opinion by an individual (i.e. a network node) implies in possible alterations in the network topology. This is accomplished by allowing agents to change their connections preferentially to other neighbors with the same state. The diversity of opinions along time is quantified in terms of the exponential of the entropy of the opinions density. Several interesting results are reported, including the possible formation of echo chambers or social bubbles. Additionally, depending on the parameters configuration, the dynamics may converge to different equilibrium states for the same parameter setting, which suggests that this phenomenon can be a phase transition. The average degree of the network strongly influences the resultant opinion distribution, which means that echo chambers are easily formed in lower connected systems.


title: Dissecting the Compton scattering kernel I: Isotropic media

abstract: Compton scattering between electrons and photons plays a crucial role in astrophysical plasmas. Many important aspects of this process can be captured by using the so-called Compton scattering kernel. For isotropic media, exact analytic expressions (valid at all electron and photon energies) do exist but are hampered by numerical issues and often are presented in complicated ways. In this paper, we summarize, simplify and improve existing analytic expressions for the Compton scattering kernel, with an eye on clarity and physical understanding. We provide a detailed overview of important properties of the kernel covering a wide range of energies and highlighting aspects that have not been appreciated as much previously. We discuss analytic expressions for the moments of the kernel, comparing various approximations and demonstrating their precision. We also illustrate the properties of the scattering kernel for thermal electrons at various temperatures and photon energies, introducing new analytic approximations valid to high temperatures. The obtained improved formulae for the kernel and its moments should prove useful in many astrophysical computations, one of them being the evolution of spectral distortions of the cosmic microwave background in the early Universe. A novel code, CSpack, for efficient computations of the Compton scattering kernel and its properties (in the future also including anisotropies in the initial electron and photon distributions) is being developed in a series of papers and will be available within one month.


title: Testing the no-hair theorem with GW150914

abstract: We analyze gravitational-wave data from the first LIGO detection of a binary black-hole merger (GW150914) in search of the ringdown of the remnant black hole. Using observations beginning at the peak of the signal, we find evidence of the fundamental quasinormal mode and at least one overtone, both associated with the dominant angular mode ($\ell=m=2$), with $3.6\sigma$ confidence. A ringdown model including overtones allows us to measure the final mass and spin magnitude of the remnant exclusively from postinspiral data, obtaining an estimate in agreement with the values inferred from the full signal. The mass and spin values we measure from the ringdown agree with those obtained using solely the fundamental mode at a later time, but have smaller uncertainties. Agreement between the postinspiral measurements of mass and spin and those using the full waveform supports the hypothesis that the GW150914 merger produced a Kerr black hole, as predicted by general relativity, and provides a test of the no-hair theorem at the ${\sim}10\%$ level. An independent measurement of the frequency of the first overtone yields agreement with the no-hair hypothesis at the ${\sim 20}\%$ level. As the detector sensitivity improves and the detected population of black hole mergers grows, we can expect that using overtones will provide even stronger tests.


title: Fundamental physics implications on higher-curvature theories from the binary black hole signals in the LIGO-Virgo Catalog GWTC-1

abstract: Gravitational-wave astronomy offers not only new vistas into the realm of astrophysics, but it also opens an avenue for probing, for the first time, general relativity in its strong-field, nonlinear, and dynamical regime, where the theory's predictions manifest themselves in their full glory. We present a study of whether the gravitational wave events detected so far by the LIGO-Virgo scientific collaborations can be used to probe higher-curvature corrections to general relativity. In particular, we focus on two examples: Einstein-dilaton-Gauss-Bonnet and dynamical Chern-Simons gravity. We find that the two events with a low-mass $m \approx 7 M_{\odot}$ BH (GW151226 and GW170608) place stringent constraints on Einstein-dilaton-Gauss-Bonnet gravity, ${\alpha}^{1/2}_{\rm EdGB} \lesssim 5.6$ km, whereas dynamical Chern-Simons gravity remains unconstrained by the gravitational-wave observations analyzed.


title: Elemental composition in quiescent prominences

abstract: The first ionization potential (FIP) bias is currently used to trace the propagation of solar features ejected by the wind and solar eruptions (coronal mass ejections). The FIP bias also helps us to understand the formation of prominences, as it is a tracer for the solar origin of prominence plasma. This work aims to provide elemental composition and FIP bias in quiescent solar prominences. This is key information to link these features to remnants of solar eruptions measured in-situ within the heliosphere and to constrain the coronal or photospheric origin of prominence plasma. We used the differential emission measure technique to derive the FIP bias of two prominences. Quiet Sun chromospheric and transition region data were used to test the atomic data and lines formation processes. We used lines from low stage of ionization of \ion{Si}{}, \ion{S}{}, \ion{Fe}{}, \ion{C}{}, \ion{N}{}, \ion{O}{}, \ion{Ni}{}, \ion{Mg,}{} and \ion{Ne}{}, constraining the FIP bias in the range $4.2 \le \log T \le 5.8$. We adopted a density-dependent ionization equilibrium. We showed that the two prominences have photospheric composition. We confirmed a photospheric composition in the quiet Sun. We also identified opacity and/or radiative excitation contributions to the line formation of a few lines regularly observed in prominences. With our results we thus provide important elements for correctly interpreting the upcoming Solar Orbiter/SPICE spectroscopic data and to constrain prominence formation.


title: Functorial destackification and weak factorization of orbifolds

abstract: Let X be a smooth and tame stack with finite inertia. We prove that there is a functorial sequence of blow-ups with smooth centers after which the stabilizers of X become abelian. Using this result, we can extend the destackification results of the first author to any smooth tame stack. We give applications to resolution of tame quotient singularities, prime-to-l alterations of singularities and weak factorization of Deligne-Mumford stacks. We also extend the abelianization result to infinite stabilizers in characteristic zero, generalizing earlier work of Reichstein-Youssin.


title: Strong converse bounds in quantum network information theory: distributed hypothesis testing and source coding

abstract: We consider a distributed quantum hypothesis testing problem with communication constraints, in which the two hypotheses correspond to two different states of a bipartite quantum system, multiple identical copies of which are shared between Alice and Bob. They are allowed to perform local operations on their respective systems and send quantum information to Charlie at limited rates. By doing measurements on the systems that he receives, Charlie needs to infer which of the two different states the original bipartite state was in, that is, which of the two hypotheses is true. We prove that the Stein exponent for this problem is given by a regularized quantum relative entropy. The latter reduces to a single letter formula when the alternative hypothesis consists of the products of the marginals of the null hypothesis, and there is no rate constraint imposed on Bob. Our proof relies on certain properties of the so-called quantum information bottleneck function. The second part of this paper concerns the general problem of finding finite blocklength strong converse bounds in quantum network information theory. In the classical case, the analogue of this problem has been reformulated in terms of the so-called image size characterization problem. Here, we extend this problem to the classical-quantum setting and prove a second order strong converse bound for it. As a by-product, we obtain a similar bound for the Stein exponent for distributed hypothesis testing in the special case in which the bipartite system is a classical-quantum system, as well as for the task of quantum source coding with compressed classical side information. Our proofs use a recently developed tool from quantum functional inequalities, namely, the tensorization property of reverse hypercontractivity for the quantum depolarizing semigroup.


title: Strong Converse for Classical-Quantum Degraded Broadcast Channels

abstract: We consider the transmission of classical information through a degraded broadcast channel, whose outputs are two quantum systems, with the state of one being a degraded version of the other. Yard et al. proved that the capacity region of such a channel is contained in a region characterized by certain entropic quantities. We prove that this region satisfies the strong converse property, that is, the maximal probability of error incurred in transmitting information at rates lying outside this region converges to one exponentially in the number of uses of the channel. In establishing this result, we prove a second-order Fano-type inequality, which might be of independent interest. A powerful analytical tool which we employ in our proofs is the tensorization property of the quantum reverse hypercontractivity for the quantum depolarizing semigroup.


title: Self-supervised Learning for Video Correspondence Flow

abstract: The objective of this paper is self-supervised learning of feature embeddings that are suitable for matching correspondences along the videos, which we term correspondence flow. By leveraging the natural spatial-temporal coherence in videos, we propose to train a ``pointer'' that reconstructs a target frame by copying pixels from a reference frame. We make the following contributions: First, we introduce a simple information bottleneck that forces the model to learn robust features for correspondence matching, and prevent it from learning trivial solutions, \eg matching based on low-level colour information. Second, to tackle the challenges from tracker drifting, due to complex object deformations, illumination changes and occlusions, we propose to train a recursive model over long temporal windows with scheduled sampling and cycle consistency. Third, we achieve state-of-the-art performance on DAVIS 2017 video segmentation and JHMDB keypoint tracking tasks, outperforming all previous self-supervised learning approaches by a significant margin. Fourth, in order to shed light on the potential of self-supervised learning on the task of video correspondence flow, we probe the upper bound by training on additional data, \ie more diverse videos, further demonstrating significant improvements on video segmentation.


title: On the Schwartz space $ \mathcal S(G(k)\backslash G(\mathbb A)) $

abstract: For a connected reductive group $ G $ defined over a number field $ k $, we construct the Schwartz space $ \mathcal{S}(G(k)\backslash G(\mathbb{A})) $. This space is an adelic version of Casselman's Schwartz space $ \mathcal{S}(\Gamma\backslash G_\infty) $, where $ \Gamma $ is a discrete subgroup of $ G_\infty:=\prod_{v\in V_\infty}G(k_v) $. We study the space of tempered distributions $ \mathcal{S}(G(k)\backslash G(\mathbb A))' $ and investigate applications to automorphic forms on $ G(\mathbb A) $. In particular, we study the representation $ \left(r',\mathcal{S}(G(k)\backslash G(\mathbb{A}))'\right) $ contragredient to the right regular representation $ (r,\mathcal{S}(G(k)\backslash G(\mathbb{A}))) $ of $ G(\mathbb{A}) $ and describe the closed irreducible admissible subrepresentations of $ \mathcal{S}(G(k)\backslash G(\mathbb{A}))' $ assuming that $ G $ is semisimple.


title: You Only Propagate Once: Accelerating Adversarial Training via Maximal Principle

abstract: Deep learning achieves state-of-the-art results in many tasks in computer vision and natural language processing. However, recent works have shown that deep networks can be vulnerable to adversarial perturbations, which raised a serious robustness issue of deep networks. Adversarial training, typically formulated as a robust optimization problem, is an effective way of improving the robustness of deep networks. A major drawback of existing adversarial training algorithms is the computational overhead of the generation of adversarial examples, typically far greater than that of the network training. This leads to the unbearable overall computational cost of adversarial training. In this paper, we show that adversarial training can be cast as a discrete time differential game. Through analyzing the Pontryagin's Maximal Principle (PMP) of the problem, we observe that the adversary update is only coupled with the parameters of the first layer of the network. This inspires us to restrict most of the forward and back propagation within the first layer of the network during adversary updates. This effectively reduces the total number of full forward and backward propagation to only one for each group of adversary updates. Therefore, we refer to this algorithm YOPO (You Only Propagate Once). Numerical experiments demonstrate that YOPO can achieve comparable defense accuracy with approximately 1/5 ~ 1/4 GPU time of the projected gradient descent (PGD) algorithm. Our codes are available at https://https://github.com/a1600012888/YOPO-You-Only-Propagate-Once.


title: Analytical solution of narrow quantum rings with general Rashba and Dresselhaus spin-orbit couplings

abstract: We solve analytically the energy eigenvalue problem of narrow semiconductor quantum rings with a general spin-orbit term that includes as a special case the Rashba and Dresselhaus interactions acting simultaneously. The eigenstates and eigenenergies of the system are found for arbitrary values of the spin-orbit coupling constants without making use of approximations. The general eigenstates are expressed as products of a scalar Mathieu function and a spinor factor which is periodic or pseudo-periodic on the ring. Our general solution reduces to the previously found solutions for particular combinations of the Rashba and Dresselhaus couplings, like the well-studied cases of Rashba-only and of equal coupling constants.