title: Methanol formation via oxygen insertion chemistry in ice

abstract: We present experimental constraints on the insertion of oxygen atoms into methane to form methanol in astrophysical ice analogs. In gas-phase and theoretical studies this process has previously been demonstrated to have a very low or non-existent energy barrier, but the energetics and mechanisms have not yet been characterized in the solid state. We use a deuterium UV lamp filtered by a sapphire window to selectively dissociate O2 within a mixture of O2:CH4 and observe efficient production of CH3OH via O(1D) insertion. CH3OH growth curves are fit with a kinetic model, and we observe no temperature dependence of the reaction rate constant at temperatures below the oxygen desorption temperature of 25K. Through an analysis of side products we determine the branching ratio of ice-phase oxygen insertion into CH4: ~65% of insertions lead to CH3OH with the remainder leading instead to H2CO formation. There is no evidence for CH3 or OH radical formation, indicating that the fragmentation is not an important channel and that insertions typically lead to increased chemical complexity. CH3OH formation from O2 and CH4 diluted in a CO-dominated ice similarly shows no temperature dependence, consistent with expectations that insertion proceeds with a small or non-existent barrier. Oxygen insertion chemistry in ices should therefore be efficient under low-temperature ISM-like conditions, and could provide an important channel to complex organic molecule formation on grain surfaces in cold interstellar regions such as cloud cores and protoplanetary disk midplanes.


title: Defect Properties of Na and K in Cu2ZnSnS4 from Hybrid Functional Calculation

abstract: In-growth or post-deposition treatment of $Cu_{2}ZnSnS_{4}$ (CZTS) absorber layer had led to improved photovoltaic efficiency, however, the underlying physical mechanism of such improvements are less studied. In this study, the thermodynamics of Na and K related defects in CZTS are investigated from first principle approach using hybrid functional, with chemical potential of Na and K established from various phases of their polysulphides. Both Na and K predominantly substitute on Cu sites similar to their behavior in $Cu(In,Ga)Se_{2}$, in contrast to previous results using the generalized gradient approximation (GGA). All substitutional and interstitial defects are shown to be either shallow levels or highly energetically unfavorable. Defect complexing between Na and abundant intrinsic defects did not show possibility of significant incorporation enhancement or introducing deep n-type levels. The possible benefit of Na incorporation on enhancing photovoltaic efficiency is discussed. The negligible defect solubility of K in CZTS also suggests possible surfactant candidate.


title: Hamiltonian formulation of systems with balanced loss-gain and exactly solvable models

abstract: A Hamiltonian formulation of generic many-body systems with balanced loss and gain is presented. It is shown that a Hamiltonian formulation is possible only if the balancing of loss and gain terms occur in a pairwise fashion. It is also shown that with the choice of a suitable co-ordinate, the Hamiltonian can always be reformulated in the background of a pseudo- Euclidean metric. If the equations of motion of some of the well-known many-body systems like Calogero models are generalized to include balanced loss and gain, it appears that the same may not be amenable to a Hamiltonian formulation. A few exactly solvable systems with balanced loss and gain, along with a set of integrals of motion is constructed. The examples include a coupled chain of nonlinear oscillators and a many-particle Calogero-type model with four-body inverse square plus two-body pair-wise harmonic interactions. For the case of nonlinear oscillators, stable solution exists even if the dissipation parameter has unbounded upper range. Further, the range of the parameter for which the stable solutions are obtained is independent of the total number of the oscillators. The set of coupled nonlinear equations are solved exactly for the case when the values of all the constants of motions except the Hamiltonian are equal to zero. Exact, analytical classical solutions are presented for all the examples considered.


title: LittleDarwin: a Feature-Rich and Extensible Mutation Testing Framework for Large and Complex Java Systems

abstract: Mutation testing is a well-studied method for increasing the quality of a test suite. We designed LittleDarwin as a mutation testing framework able to cope with large and complex Java software systems, while still being easily extensible with new experimental components. LittleDarwin addresses two existing problems in the domain of mutation testing: having a tool able to work within an industrial setting, and yet, be open to extension for cutting edge techniques provided by academia. LittleDarwin already offers higher-order mutation, null type mutants, mutant sampling, manual mutation, and mutant subsumption analysis. There is no tool today available with all these features that is able to work with typical industrial software systems.


title: Hyperbolic triangulations and discrete random graphs

abstract: The hyperbolic random graph model (HRG) has proven useful in the analysis of scale-free networks, which are ubiquitous in many fields, from social network analysis to biology. However, working with this model is algorithmically and conceptually challenging because of the nature of the distances in the hyperbolic plane. In this paper we study the algorithmic properties of regularly generated triangulations in the hyperbolic plane. We propose a discrete variant of the HRG model where nodes are mapped to the vertices of such a triangulation; our algorithms allow us to work with this model in a simple yet efficient way. We present experimental results conducted on real world networks to evaluate the practical benefits of DHRG in comparison to the HRG model.


title: Exact solutions for two-body problems in 1D deformed space with minimal length

abstract: We reduce two-body problem to the one-body problem in general case of deformed Heisenberg algebra leading to minimal length.Two-body problems with delta and Coulomb-like interactions are solved exactly. We obtain analytical expression for the energy spectrum for partial cases of deformation function. The dependence of the energy spectrum on the center-of-mass momentum is found. For special case of deformation function, which correspondes to cutoff procedure in momentum space it is shown that this dependence is more likely to observe for identical particles.


title: High temperature thermodynamics of the honeycomb-lattice Kitaev-Heisenberg model: A high temperature series expansion study

abstract: We develop high temperature series expansions for the thermodynamic properties of the honeycomb-lattice Kitaev-Heisenberg model. Numerical results for uniform susceptibility, heat capacity and entropy as a function of temperature for different values of the Kitaev coupling $K$ and Heisenberg exachange coupling $J$ (with $|J|\le |K|$) are presented. These expansions show good convergence down to a temperature of a fraction of $K$ and in some cases down to $T=K/10$. In the Kitaev exchange dominated regime, the inverse susceptibility has a nearly linear temperature dependence over a wide temperature range. However, we show that already at temperatures $10$-times the Curie-Weiss temperature, the effective Curie-Weiss constant estimated from the data can be off by a factor of 2. We find that the magnitude of the heat capacity maximum at the short-range order peak, is substantially smaller for small $J/K$ than for $J$ of order or larger than $K$. We suggest that this itself represents a simple marker for the relative importance of the Kitaev terms in these systems. Somewhat surprisingly, both heat capacity and susceptibility data on Na$_2$IrO$_3$ are consistent with a dominant {\it antiferromagnetic} Kitaev exchange constant of about $300-400$ $K$.


title: The enhanced quotient graph of the quotient of a finite group

abstract: For a finite group $G$ with a normal subgroup $H$, the enhanced quotient graph of $G/H$, denoted by $\mathcal{G}_{H}(G),$ is the graph with vertex set $V=(G\backslash H)\cup \{e\}$ and two vertices $x$ and $y$ are edge connected if $xH = yH$ or $xH,yH\in \langle zH\rangle$ for some $z\in G$. In this article, we characterize the enhanced quotient graph of $G/H$. The graph $\mathcal{G}_{H}(G)$ is complete if and only if $G/H$ is cyclic, and $\mathcal{G}_{H}(G)$ is Eulerian if and only if $|G/H|$ is odd. We show some relation between the graph $\mathcal{G}_{H}(G)$ and the enhanced power graph $\mathcal{G}(G/H)$ that was introduced by Sudip Bera and A.K. Bhuniya (2016). The graph $\mathcal{G}_H(G)$ is complete if and only if $G/H$ is cyclic if and only if $\mathcal{G}(G/H)$ is complete. The graph $\mathcal{G}_H(G)$ is Eulerian if and only if $|G|$ is odd if and only if $\mathcal{G}(G)$ is Eulerian, i.e., the property of being Eulerian does not depend on the normal subgroup $H$.


title: Strongly misaligned triple system in SR 24 revealed by ALMA

abstract: We report the detection of the 1.3 mm continuum and the molecular emission of the disks of the young triple system SR24 by analyzing ALMA (The Atacama Large Millimeter/Submillimter Array) subarcsecond archival observations. We estimate the mass of the disks (0.025 solar masses and 4E-5 earth masses for SR24S and SR24N, respectively) and the dynamical mass of the protostars (1.5 and 1.1 solar masses). A kinematic model of the SR24S disk to fit its C18O (2-1) emission allows us to develop an observational method to learn what is the tilt of a rotating and accreting disk. We derive the size, the inclination, the position angle and the sense of rotation of each disk, finding that they are strongly misaligned (108 degrees) and possibly rotate in opposite directions as seen from Earth, in projection. We compare the ALMA observations with 12CO SMA archival observations, which are more sensitive to extended structures. We find three extended structures and estimate their masses: a molecular bridge joining the disks of the system, a molecular gas reservoir associated with SR24N and a gas streamer associated with SR24S. Finally we discuss on the possible origin of the misaligned SR24 system, pointing out that a closer inspection of the northern gas reservoir is needed to better understand it.


title: Gee-Haw Whammy Diddle

abstract: Gee-Haw Whammy Diddle is a seemingly simple mechanical toy consisting of a wooden stick and a second stick that is made up of a series of notches with a propeller at its end. When the wooden stick is pulled over the notches, the propeller starts to rotate. In spite of its simplicity, physical principles governing the motion of the stick and the propeller are rather complicated and interesting. Here we provide a thorough analysis of the system and parameters influencing the motion. We show that contrary to the results published on this topic so far, neither elliptic motion of the stick nor frequency synchronization is needed for starting the motion of the propeller.


title: Double Reweighted Estimators for the Parameters of the Multivariate t Distribution

abstract: The t-distribution has many useful applications in robust statistical analysis. The parameter estimation of the t-distribution is carried out using ML estimation method, and the ML estimates are obtained via the EM algorithm. In this study, we consider an alternative estimation method for all the parameters of the multivariate-t distribution using the MLq estimation method. We adapt the EM algorithm to obtain the MLq estimates for all the parameters. We provide a small simulation study to illustrate the performance of the MLq estimators over the ML estimators and observe that the MLq estimators have considerable superiority over the ML estimators.


title: $\pi$-Electron Spectrum of Oligoperylene[$N\times\cal N$] -- Graphene Macromolecule and Its Derivatives

abstract: We revisit the model of graphene as a $\pi$-conjugated macromolecule \cite{PRL} and show that it allows to understand the origin and describe, in many cases explicitly, the electronic structure of graphene sheets, achiral graphene ribbons and carbon tubes of any size, and also graphene tori on the basis of the exact solution to the eigenvalue problem for the respective structures. The exact expressions of dispersion relations and detectable observables for these structures are compared with the predictions of other related models demonstrating that the revisited model either suggests the exact versions of widely used approximations or shows their limited applicability.


title: Non-monotonicity of the frictional bimaterial effect

abstract: Sliding along frictional interfaces separating dissimilar elastic materials is qualitatively different from sliding along interfaces separating identical materials due to the existence of an elastodynamic coupling between interfacial slip and normal stress perturbations in the former case. This bimaterial coupling has important implications for the dynamics of frictional interfaces, including their stability and rupture propagation along them. We show that while this bimaterial coupling is a monotonically increasing function of the bimaterial contrast, when it is coupled to interfacial shear stress perturbations through a friction law, various physical quantities exhibit a non-monotonic dependence on the bimaterial contrast. In particular, we show that for a regularized Coulomb friction, the maximal growth rate of unstable interfacial perturbations of homogeneous sliding is a non-monotonic function of the bimaterial contrast, and provide analytic insight into the origin of this non-monotonicity. We further show that for velocity-strengthening rate-and-state friction, the maximal growth rate of unstable interfacial perturbations of homogeneous sliding is also a non-monotonic function of the bimaterial contrast. Results from simulations of dynamic rupture along a bimaterial interface with slip-weakening friction provide evidence that the theoretically predicted non-monotonicity persists in non-steady, transient frictional dynamics.


title: On the cohomology of the affine space

abstract: We compute the p-adic geometric pro-\'etale cohomology of the affine space (in any dimension). This cohomogy is non-zero, contrary to the \'etale cohomology, and can be described by means of differential forms.


title: Achievable Rates for Probabilistic Shaping

abstract: For a layered probabilistic shaping (PS) scheme with a general decoding metric, an achievable rate is derived using Gallager's error exponent approach and the concept of achievable code rates is introduced. Several instances for specific decoding metrics are discussed, including bit-metric decoding, interleaved coded modulation, and hard-decision decoding. It is shown that important previously known achievable rates can also be achieved by layered PS. A practical instance of layered PS is the recently proposed probabilistic amplitude shaping (PAS).


title: Comments on the Properties of Mittag-Leffler Function

abstract: The properties of Mittag-Leffler function is reviewed within the framework of an umbral formalism. We take advantage from the formal equivalence with the exponential function to define the relevant semigroup properties. We analyse the relevant role in the solution of Schr\"odinger type and heat-type fractional partial differential equations and explore the problem of operatorial ordering finding appropriate rules when non-commuting operators are involved. We discuss the coherent states associated with the fractional Sch\"odinger equation, analyze the relevant Poisson type probability amplitude and compare with analogous results already obtained in the literature.


title: Fast Depth Imaging Denoising with the Temporal Correlation of Photons

abstract: This paper proposes a novel method to filter out the false alarm of LiDAR system by using the temporal correlation of target reflected photons. Because of the inevitable noise, which is due to background light and dark counts of the detector, the depth imaging of LiDAR system exists a large estimation error. Our method combines the Poisson statistical model with the different distribution feature of signal and noise in the time axis. Due to selecting a proper threshold, our method can effectively filter out the false alarm of system and use the ToFs of detected signal photons to rebuild the depth image of the scene. The experimental results reveal that by our method it can fast distinguish the distance between two close objects, which is confused due to the high background noise, and acquire the accurate depth image of the scene. Our method need not increase the complexity of the system and is useful in power-limited depth imaging.


title: Refining the scalar and tensor contributions in $\tau\to \pi\pi\pi\nu_\tau$ decays

abstract: In this article we analyze the contribution from intermediate spin-0 and spin-2 resonances to the $\tau\to\nu \pi\pi\pi$ decay by means of a chiral invariant Lagrangian incorporating these mesons. In particular, we study the corresponding axial-vector form-factors. The advantage of this procedure with respect to previous analyses is that it incorporates chiral (and isospin) invariance and, hence, the partial conservation of the axial-vector current. This ensures the recovery of the right low-energy limit, described by chiral perturbation theory, and the transversality of the current in the chiral limit at all energies. Furthermore, the meson form-factors are further improved by requiring appropriate QCD high-energy conditions. We end up with a brief discussion on its implementation in the Tauola Monte Carlo and the prospects for future analyses of Belle's data.


title: Bialgebraic proof of the existence of cup-product in the cohomology of racks and quandles

abstract: We retrieve the graded commutative algebra structure of rack and quandle cohomology by purely algebraic means.


title: Second-grade fluids in curved pipes

abstract: This paper is concerned with the application of finite element methods to obtain solutions for steady fully developed second-grade flows in a curved pipe of circular cross-section and arbitrary curvature ratio, under a given axial pressure gradient. The qualitative and quantitative behavior of the secondary flows is analyzed with respect to inertia and viscoelasticity.


title: Dirac electron in a chiral space-time crystal created by counterpropagating circularly polarized plane electromagnetic waves

abstract: The family of solutions to the Dirac equation for an electron moving in an electromagnetic lattice with the chiral structure created by counterpropagating circularly polarized plane electromagnetic waves is obtained. At any nonzero quasimomentum, the dispersion equation has two solutions which specify bispinor wave functions describing electron states with different energies and mean values of momentum and spin operators. The inversion of the quasimomentum results in two other linearly independent solutions. These four basic wave functions are uniquely defined by eight complex scalar functions (structural functions), which serve as convenient building blocks of the relations describing the electron properties. These properties are illustrated in graphical form over a wide range of quasimomentums. The superpositions of two basic wave functions describing different spin states and corresponding to (i) the same quasimomentum (unidirectional electron states with the spin precession) and (ii) the two equal-in-magnitude but oppositely directed quasimomentums (bidirectional electron states) are also treated.


title: John-Nirenberg Inequalities and Weight Invariant BMO Spaces

abstract: This work explores new deep connections between John-Nirenberg type inequalities and Muckenhoupt weight invariance for a large class of $BMO$-type spaces. The results are formulated in a very general framework in which $BMO$ spaces are constructed using a base of sets, used also to define weights with respect to a non-negative measure (not necessarily doubling), and an appropriate oscillation functional. This includes as particular cases many different function spaces on geometric settings of interest. As a consequence the weight invariance of several $BMO$ and Triebel-Lizorkin spaces considered in the literature is proved. Most of the invariance results obtained under this unifying approach are new even in the most classical settings.


title: Analysis of the Rising Threat of Subverting Privacy Technologies

abstract: Privacy technologies have become extremely prevalent in recent years from secure communication channels to the Tor network. These technologies were designed to provide privacy and security for users, but these ideals have also led to increased criminal use of the technologies. Privacy and anonymity are always sought after by criminals, making these technologies the perfect vehicles for committing crimes on the Internet. This paper will analyze the rising threat of subverting privacy technologies for criminal or nefarious use. It will look at recent research in this area and ultimately reach conclusions on the seriousness of this issue.


title: Estimating Large Precision Matrices via Modified Cholesky Decomposition

abstract: We introduce the $k$-banded Cholesky prior for estimating a high-dimensional bandable precision matrix via the modified Cholesky decomposition. The bandable assumption is imposed on the Cholesky factor of the decomposition. We obtained the P-loss convergence rate under the spectral norm and the matrix $\ell_{\infty}$ norm and the minimax lower bounds. Since the P-loss convergence rate (Lee and Lee (2017)) is stronger than the posterior convergence rate, the rates obtained are also posterior convergence rates. Furthermore, when the true precision matrix is a $k_0$-banded matrix with some finite $k_0$, the obtained P-loss convergence rates coincide with the minimax rates. The established convergence rates are slightly slower than the minimax lower bounds, but these are the fastest rates for bandable precision matrices among the existing Bayesian approaches. A simulation study is conducted to compare the performance to the other competitive estimators in various scenarios.


title: Absorption of electromagnetic and gravitational waves by Kerr black holes: Shadows, superradiance and the spin-helicity effect

abstract: We study the absorption of plane waves by Kerr black holes. We calculate the absorption cross section: the area of the black hole shadow at a finite wavelength. We present a unified picture of the absorption of all massless bosonic fields, focussing on the on-axis incidence case. We investigate the spin-helicity effect, arising from a coupling between dragging of frames and the helicity of a polarized wave. We introduce and calibrate an extended sinc approximation which provides new quantitative data on the spin-helicity effect in strong-field gravity.


title: Quasi-coherent sheaves in differential geometry

abstract: It is proved that the category of simplicial complete bornological spaces over $\mathbb R$ carries a combinatorial monoidal model structure satisfying the monoid axiom. For any commutative monoid in this category the category of modules is also a monoidal model category with all cofibrant objects being flat. In particular, weak equivalences between these monoids induce Quillen equivalences between the corresponding categories of modules. On the other hand, it is also proved that the functor of pre-compact bornology applied to simplicial $C^\infty$-rings preserves and reflects weak equivalences, thus assigning stable model categories of modules to simplicial $C^\infty$-rings.


title: Data-driven discovery of Koopman eigenfunctions for control

abstract: Data-driven transformations that reformulate nonlinear systems in a linear framework have the potential to enable the prediction, estimation, and control of strongly nonlinear dynamics using linear systems theory. The Koopman operator has emerged as a principled linear embedding of nonlinear dynamics, and its eigenfunctions establish intrinsic coordinates along which the dynamics behave linearly. Previous studies have used finite-dimensional approximations of the Koopman operator for model-predictive control approaches. In this work, we illustrate a fundamental closure issue of this approach and argue that it is beneficial to first validate eigenfunctions and then construct reduced-order models in these validated eigenfunctions. These coordinates form a Koopman-invariant subspace by design and, thus, have improved predictive power. We show then how the control can be formulated directly in these intrinsic coordinates and discuss potential benefits and caveats of this perspective. The resulting control architecture is termed Koopman Reduced Order Nonlinear Identification and Control (KRONIC). It is demonstrated that these eigenfunctions can be approximated with data-driven regression and power series expansions, based on the partial differential equation governing the infinitesimal generator of the Koopman operator. Validating discovered eigenfunctions is crucial and we show that lightly damped eigenfunctions may be faithfully extracted from EDMD or an implicit formulation. These lightly damped eigenfunctions are particularly relevant for control, as they correspond to nearly conserved quantities that are associated with persistent dynamics, such as the Hamiltonian. KRONIC is then demonstrated on a number of relevant examples, including 1) a nonlinear system with a known linear embedding, 2) a variety of Hamiltonian systems, and 3) a high-dimensional double-gyre model for ocean mixing.


title: Smooth and topological almost concordance

abstract: We investigate the disparity between smooth and topological almost concordance of knots in general 3-manifolds Y. Almost concordance is defined by considering knots in Y modulo concordance in Yx[0,1] and the action of the concordance group of knots in the 3-sphere that ties in local knots. We prove that the trivial free homotopy class in every 3-manifold other than the 3-sphere contains an infinite family of knots, all topologically concordant, but not smoothly almost concordant to one another. Then, in every lens space and for every free homotopy class, we find a pair of topologically concordant but not smoothly almost concordant knots. Finally, as a topological counterpoint to these results, we show that in every lens space every free homotopy class contains infinitely many topological almost concordance classes.


title: Biquasile Colorings of Oriented Surface-Links

abstract: We introduce colorings of oriented surface-links by biquasiles using marked graph diagrams. We use these colorings to define counting invariants and Boltzmann enhancements of the biquasile counting invariants for oriented surface-links. We provide examples to show that the invariants can distinguish both closed surface-links and cobordisms and are sensitive to orientation.


title: Analyzing the Spread of Chagas Disease with Mobile Phone Data

abstract: We use mobile phone records for the analysis of mobility patterns and the detection of possible risk zones of Chagas disease in two Latin American countries. We show that geolocalized call records are rich in social and individual information, which can be used to infer whether an individual has lived in an endemic area. We present two case studies, in Argentina and in Mexico, using data provided by mobile phone companies from each country. The risk maps that we generate can be used by health campaign managers to target specific areas and allocate resources more effectively.


title: Gopakumar-Vafa invariants do not determine flops

abstract: Two 3-fold flops are exhibited, both of which have precisely one flopping curve. One of the two flops is new, and is distinct from all known algebraic D4-flops. It is shown that the two flops are neither algebraically nor analytically isomorphic, yet their curve-counting Gopakumar-Vafa invariants are the same. We further show that the contraction algebras associated to both are not isomorphic, so the flops are distinguished at this level. This shows that the contraction algebra is a finer invariant than various curve-counting theories, and it also provides more evidence for the proposed analytic classification of 3-fold flops via contraction algebras.


title: Asymptotic periodicity in outer billiards with contraction

abstract: We show that for almost every $(P,\lambda)$ where $P$ is a convex polygon and $\lambda\in(0,1)$, the corresponding outer billiard about $P$ with contraction $\lambda$ is asymptotically periodic, i.e., has a finite number of periodic orbits and every orbit is attracted to one of them.


title: Improving Foot-Mounted Inertial Navigation Through Real-Time Motion Classification

abstract: We present a method to improve the accuracy of a foot-mounted, zero-velocity-aided inertial navigation system (INS) by varying estimator parameters based on a real-time classification of motion type. We train a support vector machine (SVM) classifier using inertial data recorded by a single foot-mounted sensor to differentiate between six motion types (walking, jogging, running, sprinting, crouch-walking, and ladder-climbing) and report mean test classification accuracy of over 90% on a dataset with five different subjects. From these motion types, we select two of the most common (walking and running), and describe a method to compute optimal zero-velocity detection parameters tailored to both a specific user and motion type by maximizing the detector F-score. By combining the motion classifier with a set of optimal detection parameters, we show how we can reduce INS position error during mixed walking and running motion. We evaluate our adaptive system on a total of 5.9 km of indoor pedestrian navigation performed by five different subjects moving along a 130 m path with surveyed ground truth markers.


title: TOSC: an algorithm for the tomography of spotted transit chords

abstract: Photometric observations of planetary transits may show localized bumps, called transit anomalies, due to the possible crossing of photospheric starspots. The aim of this work is to analyze the transit anomalies and derive the temperature profile inside the transit belt along the transit direction. We develop the algorithm TOSC, a tomographic inverse-approach tool which, by means of simple algebra, reconstructs the flux distribution along the transit belt. We test TOSC against some simulated scenarios. We find that TOSC provides robust results for light curves with photometric accuracies better than 1~mmag, returning the spot-photosphere temperature contrast with an accuracy better than 100~K. TOSC is also robust against the presence of unocculted spots, provided that the apparent planetary radius given by the fit of the transit light curve is used in place of the true radius. The analysis of real data with TOSC returns results consistent with previous studies.


title: Interpretable & Explorable Approximations of Black Box Models

abstract: We propose Black Box Explanations through Transparent Approximations (BETA), a novel model agnostic framework for explaining the behavior of any black-box classifier by simultaneously optimizing for fidelity to the original model and interpretability of the explanation. To this end, we develop a novel objective function which allows us to learn (with optimality guarantees), a small number of compact decision sets each of which explains the behavior of the black box model in unambiguous, well-defined regions of feature space. Furthermore, our framework also is capable of accepting user input when generating these approximations, thus allowing users to interactively explore how the black-box model behaves in different subspaces that are of interest to the user. To the best of our knowledge, this is the first approach which can produce global explanations of the behavior of any given black box model through joint optimization of unambiguity, fidelity, and interpretability, while also allowing users to explore model behavior based on their preferences. Experimental evaluation with real-world datasets and user studies demonstrates that our approach can generate highly compact, easy-to-understand, yet accurate approximations of various kinds of predictive models compared to state-of-the-art baselines.


title: Stochastic, Distributed and Federated Optimization for Machine Learning

abstract: We study optimization algorithms for the finite sum problems frequently arising in machine learning applications. First, we propose novel variants of stochastic gradient descent with a variance reduction property that enables linear convergence for strongly convex objectives. Second, we study distributed setting, in which the data describing the optimization problem does not fit into a single computing node. In this case, traditional methods are inefficient, as the communication costs inherent in distributed optimization become the bottleneck. We propose a communication-efficient framework which iteratively forms local subproblems that can be solved with arbitrary local optimization algorithms. Finally, we introduce the concept of Federated Optimization/Learning, where we try to solve the machine learning problems without having data stored in any centralized manner. The main motivation comes from industry when handling user-generated data. The current prevalent practice is that companies collect vast amounts of user data and store them in datacenters. An alternative we propose is not to collect the data in first place, and instead occasionally use the computational power of users' devices to solve the very same optimization problems, while alleviating privacy concerns at the same time. In such setting, minimization of communication rounds is the primary goal, and we demonstrate that solving the optimization problems in such circumstances is conceptually tractable.


title: A remark on descent for Coxeter groups

abstract: Let $\Gamma$ be a finite Coxeter group with reflection representation $R$. We show that a $\Gamma$-equivariant quasicoherent sheaf on $R$ descends to the quotient space $R//\Gamma$ if it descends to the quotient space $R//\langle s_i\rangle$ for every simple reflection $s_i\in \Gamma$.


title: On Petri Nets with Hierarchical Special Arcs

abstract: We investigate the decidability of termination, reachability, coverability and deadlock-freeness of Petri nets endowed with a hierarchy on places, and with inhibitor arcs, reset arcs and transfer arcs that respect this hierarchy. We also investigate what happens when we have a mix of these special arcs, some of which respect the hierarchy, while others do not. We settle the decidability status of the above four problems for all combinations of hierarchy, inhibitor, reset and transfer arcs, except the termination problem for two combinations. For both these combinations, we show that the termination problem is as hard as deciding positivity for linear recurrent sequences -- a long-standing open problem.


title: Canonical models of arithmetic $(1; \infty)$ curves

abstract: In 1983 Takeuchi showed that up to conjugation there are exactly 4 arithmetic subgroups of $\textrm{PSL}_2 (\mathbb{R})$ with signature $(1; \infty)$. Shinichi Mochizuki gave a purely geometric characterization of the corresponding arithmetic $(1; \infty)$-curves, which also arise naturally in the context of his recent work on inter-universal Teichm\"uller theory. Using Bely\u{\i} maps, we explicitly determine the canonical models of these curves. We also study their arithmetic properties and modular interpretations.


title: UPSET and ANGRI : Breaking High Performance Image Classifiers

abstract: In this paper, targeted fooling of high performance image classifiers is achieved by developing two novel attack methods. The first method generates universal perturbations for target classes and the second generates image specific perturbations. Extensive experiments are conducted on MNIST and CIFAR10 datasets to provide insights about the proposed algorithms and show their effectiveness.


title: Minimum Glitch of the Crab Pulsar and the Crustquake as a Trigger Mechanism

abstract: We discuss the minimum glitch size of Crab observed by Espinoza et al. (2014). Modelling the crustquake as a trigger mechanism we estimate the size of the broken plate. The plate size obtained, D $\sim 100 m$ is comparable to plate size estimates for PSR J1119--6127. The plate size naturally leads to an estimate of the number of unpinned vortices involved in the glitch, $N \sim 10^{13} $. This number is of the same order in all Crab and Vela pulsar glitches. The mimimum glitch relates the constancy of all these numbers among different pulsars to the basic plate size involved in crust breaking. This in turn depends on the critical strain angle $\theta_{cr}$ of the Coulomb lattice in the neutron star crust. The minimum glitch size implies $\theta_{cr} \sim 10^{-1}$ in agreement with theoretical and computational estimates.


title: Shakespearizing Modern Language Using Copy-Enriched Sequence-to-Sequence Models

abstract: Variations in writing styles are commonly used to adapt the content to a specific context, audience, or purpose. However, applying stylistic variations is still by and large a manual process, and there have been little efforts towards automating it. In this paper we explore automated methods to transform text from modern English to Shakespearean English using an end to end trainable neural model with pointers to enable copy action. To tackle limited amount of parallel data, we pre-train embeddings of words by leveraging external dictionaries mapping Shakespearean words to modern English words as well as additional text. Our methods are able to get a BLEU score of 31+, an improvement of ~6 points above the strongest baseline. We publicly release our code to foster further research in this area.


title: Publish or impoverish: An investigation of the monetary reward system of science in China (1999-2016)

abstract: Purpose: The purpose of this study is to present the landscape of the cash-per-publication reward policy in China and reveal its trend since the late 1990s. Design/methodology/approach: This study is based on the analysis of 168 university documents regarding the cash-per-publication reward policy at 100 Chinese universities. Findings: Chinese universities offer cash rewards from 30 to 165,000 USD for papers published in journals indexed by Web of Science (WoS), and the average reward amount has been increasing for the past 10 years. Originality/value: The cash-per-publication reward policy in China has never been systematically studied and investigated before except for in some case studies. This is the first paper that reveals the landscape of the cash-per-publication reward policy in China.


title: Nonequilibrium dressing in a cavity with a movable reflecting mirror

abstract: We consider a movable mirror coupled to a one-dimensional massless scalar field in a cavity. Both the field and the mirror's mechanical degrees of freedom are described quantum-mechanically, and they can interact each other via the radiation pressure operator. We investigate the dynamical evolution of mirror and field starting from a nonequilibrium initial state, and their local interaction which brings the system to a stationary configuration for long times. This allows us to study the time-dependent dressing process of the movable mirror interacting with the field, and its dynamics leading to a local equilibrium dressed configuration. Also, in order to explore the effect of the radiation pressure on both sides of the movable mirror, we generalize the effective field-mirror Hamiltonian and previous results to the case of two cavities sharing the same mobile boundary. This leads us to address, in the appropriate limit, the dynamical dressing problem of a single mobile wall, bounded by a harmonic potential, in the vacuum space.


title: Kernel Feature Selection via Conditional Covariance Minimization

abstract: We propose a method for feature selection that employs kernel-based measures of independence to find a subset of covariates that is maximally predictive of the response. Building on past work in kernel dimension reduction, we show how to perform feature selection via a constrained optimization problem involving the trace of the conditional covariance operator. We prove various consistency results for this procedure, and also demonstrate that our method compares favorably with other state-of-the-art algorithms on a variety of synthetic and real data sets.


title: Connectivity keeping stars or double-stars in 2-connected graphs

abstract: In [W. Mader, Connectivity keeping paths in $k$-connected graphs, J. Graph Theory 65 (2010) 61-69.], Mader conjectured that for every positive integer $k$ and every finite tree $T$ with order $m$, every $k$-connected, finite graph $G$ with $\delta(G)\geq \lfloor\frac{3}{2}k\rfloor+m-1$ contains a subtree $T'$ isomorphic to $T$ such that $G-V(T')$ is $k$-connected. In the same paper, Mader proved that the conjecture is true when $T$ is a path. Diwan and Tholiya [A.A. Diwan, N.P. Tholiya, Non-separating trees in connected graphs, Discrete Math. 309 (2009) 5235-5237.] verified the conjecture when $k=1$. In this paper, we will prove that Mader's conjecture is true when $T$ is a star or double-star and $k=2$.


title: Unsupervised Submodular Rank Aggregation on Score-based Permutations

abstract: Unsupervised rank aggregation on score-based permutations, which is widely used in many applications, has not been deeply explored yet. This work studies the use of submodular optimization for rank aggregation on score-based permutations in an unsupervised way. Specifically, we propose an unsupervised approach based on the Lovasz Bregman divergence for setting up linear structured convex and nested structured concave objective functions. In addition, stochastic optimization methods are applied in the training process and efficient algorithms for inference can be guaranteed. The experimental results from Information Retrieval, Combining Distributed Neural Networks, Influencers in Social Networks, and Distributed Automatic Speech Recognition tasks demonstrate the effectiveness of the proposed methods.


title: Instantaneous order impact and high-frequency strategy optimization in limit order books

abstract: We propose a limit order book (LOB) model with dynamics that account for both the impact of the most recent order and the shape of the LOB. We present an empirical analysis showing that the type of the last order significantly alters the submission rate of immediate future orders, even after accounting for the state of the LOB. To model these effects jointly we introduce a discrete Markov chain model. Then on these improved LOB dynamics, we find the policy for optimal order choice and placement in the share purchasing problem by framing it as a Markov decision process. The optimal policy derived numerically uses limit orders, cancellations and market orders. It looks to exploit the state of the LOB summarized by the volume at the bid/ask and the type of the most recent order to obtain the best execution price, avoiding non-execution and adverse selection risk simultaneously. Market orders are used aggressively when the mid-price is expected to move adversely. Limit orders are placed under favorable LOB conditions and canceled when non-execution or adverse selection probability is high. Using ultra high-frequency data from the NASDAQ stock exchange we compare our optimal policy with other submission strategies that use a subset of all available order types and show that ours significantly outperforms them.


title: Nonlocal bunching of composite bosons

abstract: It was suggested that two entangled fermions can behave like a single boson and that the bosonic quality is proportional to the degree of entanglement between the two particles. The relation between bosonic quality and entanglement is quite natural if one takes into account the fact that entanglement appears in bound states of interacting systems. However, entanglement can still be present in spatially separated subsystems that do not interact anymore. These systems are often a subject of studies on quantum nonlocality and foundations of quantum physics. Here, we ask whether an entangled spatially separated fermionic pair can exhibit bosonic properties. We show that in certain conditions the answer to this question can be positive. In particular, we propose a nonlocal bunching scenario in which two such pairs form an analogue of a two-partite bosonic Fock state.


title: Gravitational Wave Solutions to Linearized Jordan-Brans-Dicke Theory on a Cosmological Background

abstract: Approximate vacuum solutions of Jordan-Brans-Dicke theory for perturbed scalar field and perturbed Robertson-Walker metric, are found. Solutions for the scale factor and the scalar field in unperturbed JBD theory are dependent on the $\omega$ parameter which determines how the scalar field is coupled to geometry of space-time. After adding a metric perturbation to Robertson-Walker metric and a perturbation to the scalar field, we solved the linearized JBD equations and found the scale factor and the scalar field as $a\propto t$ and $\phi\propto t^{-2}$ with $\omega=$-3/2. The results are necessary conditions for ordinary and scalar gravitational waves to exist in the vacuum case. Despite omega is a large positive number for current solar system environment observations, this value of omega makes JBD theory conformally invariant and fits recent supernovae type Ia data. We also looked for the value of omega for the case which has nonzero spatial curvature parameter.


title: Direct interactive visualization of locally refined spline volumes for scalar and vector fields

abstract: We present a novel approach enabling interactive visualization of volumetric Locally Refined B-splines (LR-splines). To this end we propose a highly efficient algorithm for direct visualization of scalar and vector fields given by an LR-spline. In both cases, our main contribution to achieve interactive frame rates is an acceleration structure for fast element look-up and a change of basis for efficient evaluation. To further improve the efficiency, we present a heuristic for adaptive sampling distance for the numerical integration. A comparison with existing adaptive approaches is performed. The algorithms are designed to fully utilize modern graphics processing unit (GPU) capabilities. Important applications where LR-spline volumes emerge are given for instance by approximation of large-scale simulation and sensor data, and Isogeometric Analysis (IGA). We showcase interactive rendering achieved by our approach on different representative use cases, stemming from simulations of wind flow around a telescope, Magnetic Resonance (MR) imaging of a human brain, and simulations of a fluidized bed used for mixing and coating particles in industrial processes.


title: Long-range non-Coulombic electron-electron interactions between coupled LaAlO$_3$/SrTiO$_3$ nanowires

abstract: The LaAlO$_3$/SrTiO$_3$ system exhibits unusual magnetic and superconducting behavior arising from electron-electron interactions whose physical origin is not well understood. Quantum transport techniques, especially those involving mesoscopic geometries, can offer insight into these interactions. Here we report evidence for long-range electron-electron interactions in LaAlO$_3$/SrTiO$_3$ nanowires, measured through the phenomenon of frictional drag, in which current passing through one nanowire induces a voltage across a nearby electrically isolated nanowire. Frictional drag mediated by the Coulomb interaction is predicted to decay exponentially with interwire separation, but with the LaAlO$_3$/SrTiO$_3$ nanowire system it is found to be nearly independent of separation. Frictional drag experiments performed with three parallel wires demonstrates long-range frictional coupling even in the presence of an electrically grounded central wire. Collectively, these results provides evidence for a new long-range non-Coulombic electron-electron interaction unlike anything previously reported for semiconducting systems.


title: Polynomial bases: positivity and Schur multiplication

abstract: We establish a poset structure on combinatorial bases of multivariate polynomials defined by positive expansions, and study properties common to bases in this poset. Included are the well-studied bases of Schubert polynomials, Demazure characters and Demazure atoms; the quasi-key, fundamental and monomial slide bases introduced in 2017 by Assaf and the author; and a new basis we introduce completing this poset structure. We show the product of a Schur polynomial and an element of a basis in this poset expands positively in that basis; in particular, we give the first Littlewood-Richardson rule for the product of a Schur polynomial and a quasi-key polynomial. This rule simultaneously extends Haglund, Luoto, Mason and van Willigenburg's (2011) Littlewood-Richardson rule for quasi-Schur polynomials and refines their Littlewood-Richardson rule for Demazure characters. We also establish bijections connecting combinatorial models for these polynomials including semi-skyline fillings and quasi-key tableaux.


title: B tensors and tensor complementarity problems

abstract: In this paper, one of our main purposes is to prove the boundedness of solution set of tensor complementarity problem with B tensor such that the specific bounds only depend on the structural properties of tensor. To achieve this purpose, firstly, we present that each B tensor is strictly semi-positive and each B$_0$ tensor is semi-positive. Subsequencely, the strictly lower and upper bounds of different operator norms are given for two positively homogeneous operators defined by B tensor. Finally, with the help of the upper bounds of different operator norms, we show the strcitly lower bound of solution set of tensor complementarity problem with B tensor. Furthermore, the upper bounds of spectral radius and $E$-spectral radius of B (B$_0$) tensor are obtained, respectively, which achieves our another objective. In particular, such the upper bounds only depend on the principal diagonal entries of tensors.


title: Direct Exoplanet Investigation using Interstellar Space Probes

abstract: Experience in exploring our own solar system has shown that direct investigation of planetary bodies using space probes invariably yields scientific knowledge not otherwise obtainable. In the case of exoplanets, such direct investigation may be required to confirm inferences made by astronomical observations, especially with regard to planetary interiors, surface processes, geological evolution, and possible biology. This will necessitate transporting sophisticated scientific instruments across interstellar space, and some proposed methods for achieving this with flight-times measured in decades are reviewed. It is concluded that, with the possible exception of very lightweight (and thus scientifically limited) probes accelerated to velocities of ~0.1c with powerful Earth-based lasers, achieving such a capability may have to wait until the development of a space-based civilization capable of leveraging the material and energy resources of the solar system.


title: Insensitivity of The Distance Ladder Hubble Constant Determination to Cepheid Calibration Modeling Choices

abstract: Recent determination of the Hubble constant via Cepheid-calibrated supernovae by \citet{riess_2.4_2016} (R16) find $\sim 3\sigma$ tension with inferences based on cosmic microwave background temperature and polarization measurements from $Planck$. This tension could be an indication of inadequacies in the concordance $\Lambda$CDM model. Here we investigate the possibility that the discrepancy could instead be due to systematic bias or uncertainty in the Cepheid calibration step of the distance ladder measurement by R16. We consider variations in total-to-selective extinction of Cepheid flux as a function of line-of-sight, hidden structure in the period-luminosity relationship, and potentially different intrinsic color distributions of Cepheids as a function of host galaxy. Considering all potential sources of error, our final determination of $H_0 = 73.3 \pm 1.7~{\rm km/s/Mpc}$ (not including systematic errors from the treatment of geometric distances or Type Ia Supernovae) shows remarkable robustness and agreement with R16. We conclude systematics from the modeling of Cepheid photometry, including Cepheid selection criteria, cannot explain the observed tension between Cepheid-variable and CMB-based inferences of the Hubble constant. Considering a `model-independent' approach to relating Cepheids in galaxies with known distances to Cepheids in galaxies hosting a Type Ia supernova and finding agreement with the R16 result, we conclude no generalization of the model relating anchor and host Cepheid magnitude measurements can introduce significant bias in the $H_0$ inference.


title: CharManteau: Character Embedding Models For Portmanteau Creation

abstract: Portmanteaus are a word formation phenomenon where two words are combined to form a new word. We propose character-level neural sequence-to-sequence (S2S) methods for the task of portmanteau generation that are end-to-end-trainable, language independent, and do not explicitly use additional phonetic information. We propose a noisy-channel-style model, which allows for the incorporation of unsupervised word lists, improving performance over a standard source-to-target model. This model is made possible by an exhaustive candidate generation strategy specifically enabled by the features of the portmanteau task. Experiments find our approach superior to a state-of-the-art FST-based baseline with respect to ground truth accuracy and human evaluation.


title: Can we reconcile the TA excess and hotspot with Auger observations?

abstract: The Telescope Array (TA) shows a 20$^{\circ}$ hotspot as well as an excess of UHECRs above 50~EeV when compared with the Auger spectrum. We consider the possibility that both the TA excess and hotspot are due to a dominant source in the Northern sky. We carry out detailed simulations of UHECR propagation in both the intergalactic medium and the Galaxy, using different values for the intergalactic magnetic field. We consider two general classes of sources: transients and steady, adopting a mixed UHECR composition that is consistent with the one found by Auger. The spatial location of the sources is draw randomly. We generate Auger-like and TA-like data sets from which we determine the spectrum, the sky maps and the level of anisotropy. We find that, while steady sources are favored over transients, it is unlikely to account for all the currently available observational data. While we reproduce fairly well the Auger spectrum for the vast majority of the simulated data sets, most of the simulated data sets with a spectrum compatible with that of TA (at most a few percent depending on density model tested) show a much stronger anisotropy than the one observed. We find that the rare cases in which both the spectrum and the anisotropy are consistent require a steady source within $\sim 10$ Mpc, to account for the flux excess, and a strong extragalactic magnetic field $\sim 10$ nG, to reduce the excessive anisotropy.


title: Buy-and-Hold Property for Fully Incomplete Markets when Super-replicating Markovian Claims

abstract: We show that when the price process $S$ represents a fully incomplete market, the optimal super-replication of any Markovian claim $g(S_T)$ with $g(\cdot)$ being nonnegative and lower semicontinuous is of buy-and-hold type. Since both (unbounded) stochastic volatility models and rough volatility models are examples of fully incomplete markets, one can interpret the buy-and-hold property when super-replicating Markovian claims as a natural phenomenon in incomplete markets.


title: Strong homotopy types of acyclic categories and $\Delta$-complexes

abstract: We extend the homotopy theories based on point reduction for finite spaces and simplicial complexes to finite acyclic categories and $\Delta$-complexes, respectively. The functors of classifying spaces and face posets are compatible with these homotopy theories. In contrast with the classical settings of finite spaces and simplicial complexes, the universality of morphisms and simplices plays a central role in this paper.


title: Exotic tetraquark states with the $qq\bar{Q}\bar{Q}$ configuration

abstract: In this work, we study systematically the mass splittings of the $qq\bar{Q}\bar{Q}$ ($q=u$, $d$, $s$ and $Q=c$, $b$) tetraquark states with the color-magnetic interaction by considering color mixing effects and estimate roughly their masses. We find that the color mixing effect is relatively important for the $J^P=0^+$ states and possible stable tetraquarks exist in the $nn\bar{Q}\bar{Q}$ ($n=u$, $d$) and $ns\bar{Q}\bar{Q}$ systems either with $J=0$ or with $J=1$. Possible decay patterns of the tetraquarks are briefly discussed.


title: Semisimple Weakly Symmetric Pseudo--Riemannian Manifolds

abstract: We develop the classification of weakly symmetric pseudo--riemannian manifolds $G/H$ where $G$ is a semisimple Lie group and $H$ is a reductive subgroup. We derive the classification from the cases where $G$ is compact, and then we discuss the (isotropy) representation of $H$ on the tangent space of $G/H$ and the signature of the invariant pseudo--riemannian metric. As a consequence we obtain the classification of semisimple weakly symmetric manifolds of Lorentz signature $(n-1,1)$ and trans--Lorentz (conformal Lorentz) signature $(n-2,2)$.


title: Biased Predecessor Search

abstract: We consider the problem of performing predecessor searches in a bounded universe while achieving query times that depend on the distribution of queries. We obtain several data structures with various properties: in particular, we give data structures that achieve expected query times logarithmic in the entropy of the distribution of queries but with space bounded in terms of universe size, as well as data structures that use only linear space but with query times that are higher (but still sublinear) functions of the entropy. For these structures, the distribution is assumed to be known. We also consider individual query times on universe elements with general weights, as well as the case when the distribution is not known in advance.


title: Complexity Metric for Code-Mixed Social Media Text

abstract: An evaluation metric is an absolute necessity for measuring the performance of any system and complexity of any data. In this paper, we have discussed how to determine the level of complexity of code-mixed social media texts that are growing rapidly due to multilingual interference. In general, texts written in multiple languages are often hard to comprehend and analyze. At the same time, in order to meet the demands of analysis, it is also necessary to determine the complexity of a particular document or a text segment. Thus, in the present paper, we have discussed the existing metrics for determining the code-mixing complexity of a corpus, their advantages, and shortcomings as well as proposed several improvements on the existing metrics. The new index better reflects the variety and complexity of a multilingual document. Also, the index can be applied to a sentence and seamlessly extended to a paragraph or an entire document. We have employed two existing code-mixed corpora to suit the requirements of our study.


title: Sentiment Identification in Code-Mixed Social Media Text

abstract: Sentiment analysis is the Natural Language Processing (NLP) task dealing with the detection and classification of sentiments in texts. While some tasks deal with identifying the presence of sentiment in the text (Subjectivity analysis), other tasks aim at determining the polarity of the text categorizing them as positive, negative and neutral. Whenever there is a presence of sentiment in the text, it has a source (people, group of people or any entity) and the sentiment is directed towards some entity, object, event or person. Sentiment analysis tasks aim to determine the subject, the target and the polarity or valence of the sentiment. In our work, we try to automatically extract sentiment (positive or negative) from Facebook posts using a machine learning approach.While some works have been done in code-mixed social media data and in sentiment analysis separately, our work is the first attempt (as of now) which aims at performing sentiment analysis of code-mixed social media text. We have used extensive pre-processing to remove noise from raw text. Multilayer Perceptron model has been used to determine the polarity of the sentiment. We have also developed the corpus for this task by manually labeling Facebook posts with their associated sentiments.


title: Attitude Control of Spacecraft Formations Subject To Distributed Communication Delays

abstract: This paper considers the problem of achieving attitude consensus in spacecraft formations with bounded, time-varying communication delays between spacecraft connected as specified by a strongly connected topology. A state feedback con- troller is proposed and investigated using a time domain approach (via LMIs) and a frequency domain approach (via the small-gain theorem) to obtain delay depen- dent stability criteria to achieve the desired consensus. Simulations are presented to demonstrate the application of the strategy in a specific scenario.


title: Probing the Extragalactic Cosmic Rays origin with gamma-ray and neutrino backgrounds

abstract: GeV-TeV gamma-ray and PeV-EeV neutrino backgrounds provide a unique window on the nature of the ultra-high-energy cosmic-rays (UHECRs). We discuss the implications of the recent Fermi-LAT data regarding the extragalactic gamma-ray background (EGB) and related estimates of the contribution of point sources as well as IceCube neutrino data on the origin of the UHECRs. We calculate the diffuse flux of cosmogenic $\gamma$-rays and neutrinos produced during the UHECRs propagation and derive constraints on the possible cosmological evolution of UHECR sources. In particular, we show that the mixed-composition scenario which is in agreement with both (i) Auger measurements of the energy spectrum and composition up to the highest energies and (ii) the ankle-like feature in the light component detected by KASCADE-Grande, is compatible with both the Fermi-LAT measurements and with current IceCube limits.


title: Dining Philosophers, Leader Election and Ring Size problems, in the quantum setting

abstract: We provide the first quantum (exact) protocol for the Dining Philosophers problem (DP), a central problem in distributed algorithms. It is well known that the problem cannot be solved exactly in the classical setting. We then use our DP protocol to provide a new quantum protocol for the tightly related problem of exact leader election (LE) on a ring, improving significantly in both time and memory complexity over the known LE protocol by Tani et. al. To do this, we show that in some sense the exact DP and exact LE problems are equivalent; interestingly, in the classical non-exact setting they are not. Hopefully, the results will lead to exact quantum protocols for other important distributed algorithmic questions; in particular, we discuss interesting connections to the ring size problem, as well as to a physically motivated question of breaking symmetry in 1D translationally invariant systems.


title: Crystal structure and magnetic modulation in beta-Ce2O2FeSe2

abstract: We report a combination of X-ray and neutron diffraction studies, Mossbauer spectroscopy and muon spin relaxation (muSR) measurements to probe the structure and magnetic properties of the semiconducting beta-Ce2O2FeSe2 oxychalcogenide. We report a new structural description in space group Pna21 which is consistent with diffraction data and second harmonic generation measurements and reveal an order-disorder transition on one Fe site at TOD ~ 330 K. Susceptibility measurements, Mossbauer and muSR reveal antiferromagnetic ordering below TN = 86 K and more complex short range order above this temperature. 12 K neutron diffraction data reveal a modulated magnetic structure with q = 0.444 bN*.


title: More Flexible Differential Privacy: The Application of Piecewise Mixture Distributions in Query Release

abstract: There is an increasing demand to make data "open" to third parties, as data sharing has great benefits in data-driven decision making. However, with a wide variety of sensitive data collected, protecting privacy of individuals, communities and organizations, is an essential factor in making data "open". The approaches currently adopted by industry in releasing private data are often ad hoc and prone to a number of attacks, including re-identification attacks, as they do not provide adequate privacy guarantees. While differential privacy has attracted significant interest from academia and industry by providing rigorous and reliable privacy guarantees, the reduced utility and inflexibility of current differentially private algorithms for data release is a barrier to their use in real-life. This paper aims to address these two challenges. First, we propose a novel mechanism to augment the conventional utility of differential privacy by fusing two Laplace or geometric distributions together. We derive closed form expressions for entropy, variance of added noise, and absolute expectation of noise for the proposed piecewise mixtures. Then the relevant distributions are utilised to theoretically prove the privacy and accuracy guarantees of the proposed mechanisms. Second, we show that our proposed mechanisms have greater flexibility, with three parameters to adjust, giving better utility in bounding noise, and mitigating larger inaccuracy, in comparison to typical one-parameter differentially private mechanisms. We then empirically evaluate the performance of piecewise mixture distributions with extensive simulations and with a real-world dataset for both linear count queries and histogram queries. The empirical results show an increase in all utility measures considered, while maintaining privacy, for the piecewise mixture mechanisms compared to standard Laplace or geometric mechanisms.


title: On the second boundary value problem for Monge-Ampere type equations and geometric optics

abstract: In this paper, we prove the existence of classical solutions to second boundary value prob- lems for generated prescribed Jacobian equations, as recently developed by the second author, thereby obtaining extensions of classical solvability of optimal transportation problems to problems arising in near field geometric optics. Our results depend in particular on a priori second derivative estimates recently established by the authors under weak co-dimension one convexity hypotheses on the associated matrix functions with respect to the gradient variables, (A3w). We also avoid domain deformations by using the convexity theory of generating functions to construct unique initial solutions for our homotopy family, thereby enabling application of the degree theory for nonlinear oblique boundary value problems.


title: Switching Magnetism and Superconductivity with Spin-Polarized Current in Iron-Based Superconductor

abstract: We have explored a new mechanism for switching magnetism and superconductivity in a magnetically frustrated iron-based superconductor using spin-polarized scanning tunneling microscopy (SPSTM). Our SPSTM study on single crystal Sr$_2$VO$_3$FeAs shows that a spin-polarized tunneling current can switch the Fe-layer magnetism into a non-trivial $C_4$ (2$\times$2) order, not achievable by thermal excitation with unpolarized current. Our tunneling spectroscopy study shows that the induced $C_4$ (2$\times$2) order has characteristics of plaquette antiferromagnetic order in Fe layer and strongly suppressed superconductivity. Also, thermal agitation beyond the bulk Fe spin ordering temperature erases the $C_4$ state. These results suggest a new possibility of switching local superconductivity by changing the symmetry of magnetic order with spin-polarized and unpolarized tunneling currents in iron-based superconductors.


title: K-theory of line bundles and smooth varieties

abstract: We give a $K$-theoretic criterion for a quasi-projective variety to be smooth. If $\mathbb{L}$ is a line bundle corresponding to an ample invertible sheaf on $X$, it suffices that $K_q(X) = K_q(\mathbb{L})$ for all $q\le\dim(X)+1$.


title: On eigenstates for some $sl_2$ related Hamiltonian

abstract: In this paper we consider the stationary Schroedinger equation for a self-conjugated Hamiltonian $H = \frac{e+f}{i}$, where $e$ and $f$ is an anti-unitary pair of the canonical Cartan "creating" and "annihilation" operators for the classical Lie algebra $sl_2$ taken in the representation with "the lowest weight equals to $1$". In this paper we prove that this operator has the continuous spectrum. Construction of eigenstates for $H$ is given in details.


title: Effects of Temperature and Near Ultraviolet Light on Current-Voltage Characteristics of Colemanite

abstract: We investigate current-voltage (I-V) characteristics of the ferroelectric material colemanite at room temperature, at a high temperature, and also under the influence of near ultraviolet light. We demonstrate that all three I-V plots exhibit hysteresis effects, and these new results shed new light on the resistance of colemanite. These novel properties are explained on the basis of its microstructure indicating potential applications in devices with negative resistance as well as in photovoltaic devices.


title: The impossibility of "fairness": a generalized impossibility result for decisions

abstract: Various measures can be used to estimate bias or unfairness in a predictor. Previous work has already established that some of these measures are incompatible with each other. Here we show that, when groups differ in prevalence of the predicted event, several intuitive, reasonable measures of fairness (probability of positive prediction given occurrence or non-occurrence; probability of occurrence given prediction or non-prediction; and ratio of predictions over occurrences for each group) are all mutually exclusive: if one of them is equal among groups, the other two must differ. The only exceptions are for perfect, or trivial (always-positive or always-negative) predictors. As a consequence, any non-perfect, non-trivial predictor must necessarily be "unfair" under two out of three reasonable sets of criteria. This result readily generalizes to a wide range of well-known statistical quantities (sensitivity, specificity, false positive rate, precision, etc.), all of which can be divided into three mutually exclusive groups. Importantly, The results applies to all predictors, whether algorithmic or human. We conclude with possible ways to handle this effect when assessing and designing prediction methods.


title: Temperley-Lieb at roots of unity, a fusion category and the Jones quotient

abstract: When the parameter $q$ is a root of unity, the Temperley-Lieb algebra $TL_n(q)$ is non-semisimple for almost all $n$. In this work, using cellular methods, we give explicit generating functions for the dimensions of all the simple $TL_n(q)$-modules. Jones showed that if the order $|q^2|=\ell$ there is a canonical symmetric bilinear form on $TL_n(q)$, whose radical $R_n(q)$ is generated by a certain idempotent $E_\ell\in TL_{\ell-1}(q)\subseteq TL_n(q)$, which is now referred to as the Jones-Wenzl idempotent, for which an explicit formula was subsequently given by Graham and Lehrer. Although the algebras $Q_n(\ell):=TL_n(q)/R_n(q)$, which we refer to as the Jones algebras (or quotients), are not the largest semisimple quotients of the $TL_n(q)$, our results include dimension formulae for all the simple $Q_n(\ell)$-modules. This work could therefore be thought of as generalising that of Jones et al. on the algebras $Q_n(\ell)$. We also treat a fusion category $\mathcal{C}_{\rm red}$ introduced by Reshitikhin, Turaev and Andersen, whose objects are the quantum $\mathfrak{sl}_2$-tilting modules with non-zero quantum dimension, and which has an associative truncated tensor product (the fusion product). We show $Q_n(\ell)$ is the endomorphism algebra of a certain module in $\mathcal{C}_{\rm red}$ and use this fact to recover a dimension formula for $Q_n(\ell)$. We also show how to construct a "stable limit" $K(Q_\infty)$ of the corresponding fusion category of the $Q_n(\ell)$, whose structure is determined by the fusion rule of $\mathcal{C}_{\rm red}$, and observe a connection with a fusion category of affine $\mathfrak{sl}_2$ and the Virosoro algebra.


title: Reconstruction of optical parameters for molecular tomographic imaging

abstract: Optical molecular tomographic imaging is to reconstruct the concentration distribution of photon-molecular probes in a small animal from measured photon fluence rates. The localization and quantification of molecular probes is related to tissue optical properties. The optical parameters can be reconstructed by the optimization method, in which the objective function is not convex, and there are multiple local optimal solutions. The gradient-based optimization algorithm could converge prematurely to an inaccurate solution if the initial guess is not close enough to the true solution. In this paper, we develop a hybrid algorithm combined global optimization and gradient-based optimization methods to reconstruct optical parameters. Differential evolution is an effective global optimizer, and could yield an estimated solution near the global optimal region to eliminate the need of initial guess of the optical parameters. The gradient-based optimization method is further performed with initial values obtained from DE to obtain local optimal solution for more accurate reconstruction of optical parameters. This proposed reconstruction method is evaluated by comprehensive numerical simulation experiments. The results show that the proposed method is stable and accurate for the reconstruction of optical parameters.


title: Compactness of solutions to nonlocal elliptic equations

abstract: We show that all nonnegative solutions of the critical semilinear elliptic equation involving the regional fractional Laplacian are locally universally bounded. This strongly contrasts with the standard fractional Laplacian case. Second, we consider the fractional critical elliptic equations with nonnegative potentials. We prove compactness of solutions provided the potentials only have non-degenerate zeros. Corresponding to Schoen's Weyl tensor vanishing conjecture for the Yamabe equation on manifolds, we establish a Laplacian vanishing rate of the potentials at blow-up points of solutions.


title: A clustering algorithm for multivariate data streams with correlated components

abstract: Common clustering algorithms require multiple scans of all the data to achieve convergence, and this is prohibitive when large databases, with data arriving in streams, must be processed. Some algorithms to extend the popular K-means method to the analysis of streaming data are present in literature since 1998 (Bradley et al. in Scaling clustering algorithms to large databases. In: KDD. p. 9-15, 1998; O'Callaghan et al. in Streaming-data algorithms for high-quality clustering. In: Proceedings of IEEE international conference on data engineering. p. 685, 2001), based on the memorization and recursive update of a small number of summary statistics, but they either don't take into account the specific variability of the clusters, or assume that the random vectors which are processed and grouped have uncorrelated components. Unfortunately this is not the case in many practical situations. We here propose a new algorithm to process data streams, with data having correlated components and coming from clusters with different covariance matrices. Such covariance matrices are estimated via an optimal double shrinkage method, which provides positive definite estimates even in presence of a few data points, or of data having components with small variance. This is needed to invert the matrices and compute the Mahalanobis distances that we use for the data assignment to the clusters. We also estimate the total number of clusters from the data.


title: Major index over descent for pattern-avoiding permutations

abstract: An open conjecture in pattern avoidance theory is that the distribution of the major index among 321-avoiding permutations is distributed unimodally. We construct a formula for this distribution, and in the case of 2 descents prove unimodality, with unimodality for 3 through 5 descents likely being little more complicated. The formula refines the $q$-analogue of the Frame-Robinson-Thrall hooklength formula for two-rowed partitions, and in the latter part of the paper we discuss another theorem of the same type, and further exploration toward this question. We also give observations on the analogous behaviors for other permutation patterns of length 3.


title: A theory of nice triples and a theorem due to O.Gabber

abstract: In a series of papers [Pan0], [Pan1], [Pan2], [Pan3] we give a detailed and better structured proof of the Grothendieck--Serre's conjecture for semi-local regular rings containing a finite field. The outline of the proof is the same as in [P1], [P2], [P3]. If the semi-local regular ring contains an infinite field, then the conjecture is proved in [FP]. Thus the conjecture is true for regular local rings containing a field. The present paper is the one [Pan0] in that series. Theorem 1.2 is one of the main result of the paper. The proof of the latter theorem is completely geometric. It is based on a theory of nice triples from [PSV] and on its extension from [P]. The theory of nice triples is inspired by the Voevodsky theory of standart triples [V]. Theorem 1.2 yields an unpublished result due to O.Gabber (see Theorem 1.1=Theorem 3.1). It states that the Grothendieck--Serre's conjecture for semi-local regular rings containing a finite field is true providing that the group is simply-connected reductive and is extended from the base field.


title: A Survey of Recent Advances in CNN-based Single Image Crowd Counting and Density Estimation

abstract: Estimating count and density maps from crowd images has a wide range of applications such as video surveillance, traffic monitoring, public safety and urban planning. In addition, techniques developed for crowd counting can be applied to related tasks in other fields of study such as cell microscopy, vehicle counting and environmental survey. The task of crowd counting and density map estimation is riddled with many challenges such as occlusions, non-uniform density, intra-scene and inter-scene variations in scale and perspective. Nevertheless, over the last few years, crowd count analysis has evolved from earlier methods that are often limited to small variations in crowd density and scales to the current state-of-the-art methods that have developed the ability to perform successfully on a wide range of scenarios. The success of crowd counting methods in the recent years can be largely attributed to deep learning and publications of challenging datasets. In this paper, we provide a comprehensive survey of recent Convolutional Neural Network (CNN) based approaches that have demonstrated significant improvements over earlier methods that rely largely on hand-crafted representations. First, we briefly review the pioneering methods that use hand-crafted representations and then we delve in detail into the deep learning-based approaches and recently published datasets. Furthermore, we discuss the merits and drawbacks of existing CNN-based approaches and identify promising avenues of research in this rapidly evolving field.


title: Estimating the Fundamental Limits is Easier than Achieving the Fundamental Limits

abstract: We show through case studies that it is easier to estimate the fundamental limits of data processing than to construct explicit algorithms to achieve those limits. Focusing on binary classification, data compression, and prediction under logarithmic loss, we show that in the finite space setting, when it is possible to construct an estimator of the limits with vanishing error with $n$ samples, it may require at least $n\ln n$ samples to construct an explicit algorithm to achieve the limits.


title: The Complexity of Human Computation: A Concrete Model with an Application to Passwords

abstract: What can humans compute in their heads? We are thinking of a variety of Crypto Protocols, games like Sudoku, Crossword Puzzles, Speed Chess, and so on. The intent of this paper is to apply the ideas and methods of theoretical computer science to better understand what humans can compute in their heads. For example, can a person compute a function in their head so that an eavesdropper with a powerful computer --- who sees the responses to random input --- still cannot infer responses to new inputs? To address such questions, we propose a rigorous model of human computation and associated measures of complexity. We apply the model and measures first and foremost to the problem of (1) humanly computable password generation, and then consider related problems of (2) humanly computable "one-way functions" and (3) humanly computable "pseudorandom generators". The theory of Human Computability developed here plays by different rules than standard computability, and this takes some getting used to. For reasons to be made clear, the polynomial versus exponential time divide of modern computability theory is irrelevant to human computation. In human computability, the step-counts for both humans and computers must be more concrete. Specifically, we restrict the adversary to at most 10^24 (Avogadro number of) steps. An alternate view of this work is that it deals with the analysis of algorithms and counting steps for the case that inputs are small as opposed to the usual case of inputs large-in-the-limit.


title: The minimal measurement number problem in phase retrieval: a review of recent developments

abstract: Phase retrieval is to recover the signals from phaseless measurements which is raised in many areas. A fundamental problem in phase retrieval is to determine the minimal measurement number $m$ so that one can recover $d$-dimensional signals from $m$ phaseless measurements. This problem attracts much attention of experts from different areas. In this paper, we review the recent development on the minimal measurement number and also raise many interesting open questions.


title: Weak-Light Nonlinearity Using a Dark State in Coupled Quantum Dots

abstract: We propose a scheme to induce weak-light nonlinearity in a double quantum dot. The scheme positively utilizes locality and dissipation of an external auxiliary system. As a plausible setup, we consider a complex system in which a localized plasmon field from a metallic nanotip couples with only one of the coupled quantum dots. The perturbative calculation with respect to the light intensity shows that, even by a sufficiently weak light, a dipole-forbidden two-exciton NOON state is prepared as the steady state. This result can be explained by combining the two factors: decoherence-induced quantum state preparation and two-photon resonance. The present work implies that the positive usage of both the locality and the dissipation in the external auxiliary system is promising for inducing two-photon processes effectively, and provides one guideline to weak-light nonlinearities.


title: The Sup-norm Perturbation of HOSVD and Low Rank Tensor Denoising

abstract: The higher order singular value decomposition (HOSVD) of tensors is a generalization of matrix SVD. The perturbation analysis of HOSVD under random noise is more delicate than its matrix counterpart. Recently, polynomial time algorithms have been proposed where statistically optimal estimates of the singular subspaces and the low rank tensors are attainable in the Euclidean norm. In this article, we analyze the sup-norm perturbation bounds of HOSVD and introduce estimators of the singular subspaces with sharp deviation bounds in the sup-norm. We also investigate a low rank tensor denoising estimator and demonstrate its fast convergence rate with respect to the entry-wise errors. The sup-norm perturbation bounds reveal unconventional phase transitions for statistical learning applications such as the exact clustering in high dimensional Gaussian mixture model and the exact support recovery in sub-tensor localizations. In addition, the bounds established for HOSVD also elaborate the one-sided sup-norm perturbation bounds for the singular subspaces of unbalanced (or fat) matrices.

categories: math.ST cs.IT math.IT math.PR stat.ML stat.TH


title: Indications of spin polarized transport in Ba$_2$FeMoO$_6$ thin films

abstract: We have investigated the magnetic and magnetotransport properties of Ba$_2$FeMoO$_6$ thin films produced by pulsed laser deposition from optimized bulk material. The films are comprised of grains of crystalline Ba$_2$FeMoO$_6$ with a disordered grain boundary region that lowers the net saturation magnetization of the film and prevents full magnetic alignment below a Curie temperature $T_C$$\sim$305 K. Magnetotransport measurements point to the Ba$_2$FeMoO$_6$ grains retaining the high spin polarization of a half-metal up to $T_C$, while the grain boundaries greatly reduce the spin polarization of the intergrain electrical current due to spin-flip scattering. Our results show that a strong spin polarization of the electronic charge carriers is present even in Ba$_2$FeMoO$_6$ films that do not show the ideal bulk magnetic character.


title: Model compression as constrained optimization, with application to neural nets. Part I: general framework

abstract: Compressing neural nets is an active research problem, given the large size of state-of-the-art nets for tasks such as object recognition, and the computational limits imposed by mobile devices. We give a general formulation of model compression as constrained optimization. This includes many types of compression: quantization, low-rank decomposition, pruning, lossless compression and others. Then, we give a general algorithm to optimize this nonconvex problem based on the augmented Lagrangian and alternating optimization. This results in a "learning-compression" algorithm, which alternates a learning step of the uncompressed model, independent of the compression type, with a compression step of the model parameters, independent of the learning task. This simple, efficient algorithm is guaranteed to find the best compressed model for the task in a local sense under standard assumptions. We present separately in several companion papers the development of this general framework into specific algorithms for model compression based on quantization, pruning and other variations, including experimental results on compressing neural nets and other models.


title: Per-Tone model for Common Mode sensor based alien noise cancellation for Downstream xDSL

abstract: For xDSL systems, alien noise cancellation using an additional common mode sensor at the downstream receiver can be thought of as interference cancellation in a Single Input Dual Output (SIDO) system. The coupling between the common mode and differential mode can be modelled as an LTI system with a long impulse response, resulting in high complexity for cancellation. Frequency domain per-tone cancellation offers a low complexity approach to the problem besides having other advantages like faster training, but suffers from loss in cancellation performance due to approximations in the per-tone model. We analyze this loss and show that it is possible to minimize it by a convenient post-training "delay" adjustment. We also show via measurements that the loss of cancellation performance due to the per-tone model is not very large for real scenarios.


title: SqORAM: Read-Optimized Sequential Write-Only Oblivious RAM

abstract: Oblivious RAM protocols (ORAMs) allow a client to access data from an untrusted storage device without revealing the access patterns. Typically, the ORAM adversary can observe both read and write accesses. Write-only ORAMs target a more practical, {\em multi-snapshot adversary} only monitoring client writes -- typical for plausible deniability and censorship-resilient systems. This allows write-only ORAMs to achieve significantly-better asymptotic performance. However, these apparent gains do not materialize in real deployments primarily due to the random data placement strategies used to break correlations between logical and physical namespaces, a required property for write access privacy. Random access performs poorly on both rotational disks and SSDs (often increasing wear significantly, and interfering with wear-leveling mechanisms). In this work, we introduce SqORAM, a new locality-preserving write-only ORAM that preserves write access privacy without requiring random data access. Data blocks close to each other in the logical domain land in close proximity on the physical media. Importantly, SqORAM maintains this data locality property over time, significantly increasing read throughput. A full Linux kernel-level implementation of SqORAM is 100x faster than non locality-preserving solutions for standard workloads and is 60-100% faster than the state-of-the-art for typical file system workloads.


title: Efficient Data Representation by Selecting Prototypes with Importance Weights

abstract: Prototypical examples that best summarizes and compactly represents an underlying complex data distribution communicate meaningful insights to humans in domains where simple explanations are hard to extract. In this paper we present algorithms with strong theoretical guarantees to mine these data sets and select prototypes a.k.a. representatives that optimally describes them. Our work notably generalizes the recent work by Kim et al. (2016) where in addition to selecting prototypes, we also associate non-negative weights which are indicative of their importance. This extension provides a single coherent framework under which both prototypes and criticisms (i.e. outliers) can be found. Furthermore, our framework works for any symmetric positive definite kernel thus addressing one of the key open questions laid out in Kim et al. (2016). By establishing that our objective function enjoys a key property of that of weak submodularity, we present a fast ProtoDash algorithm and also derive approximation guarantees for the same. We demonstrate the efficacy of our method on diverse domains such as retail, digit recognition (MNIST) and on publicly available 40 health questionnaires obtained from the Center for Disease Control (CDC) website maintained by the US Dept. of Health. We validate the results quantitatively as well as qualitatively based on expert feedback and recently published scientific studies on public health, thus showcasing the power of our technique in providing actionability (for retail), utility (for MNIST) and insight (on CDC datasets) which arguably are the hallmarks of an effective data mining method.


title: Data-Driven Sparse Structure Selection for Deep Neural Networks

abstract: Deep convolutional neural networks have liberated its extraordinary power on various tasks. However, it is still very challenging to deploy state-of-the-art models into real-world applications due to their high computational complexity. How can we design a compact and effective network without massive experiments and expert knowledge? In this paper, we propose a simple and effective framework to learn and prune deep models in an end-to-end manner. In our framework, a new type of parameter -- scaling factor is first introduced to scale the outputs of specific structures, such as neurons, groups or residual blocks. Then we add sparsity regularizations on these factors, and solve this optimization problem by a modified stochastic Accelerated Proximal Gradient (APG) method. By forcing some of the factors to zero, we can safely remove the corresponding structures, thus prune the unimportant parts of a CNN. Comparing with other structure selection methods that may need thousands of trials or iterative fine-tuning, our method is trained fully end-to-end in one training pass without bells and whistles. We evaluate our method, Sparse Structure Selection with several state-of-the-art CNNs, and demonstrate very promising results with adaptive depth and width selection.


title: The Mean Curvature Flow in Minkowski Spaces

abstract: Studying the geometric flow plays a powerful role in mathematics and physics. In this paper, we introduce the mean curvature flow on Finsler manifolds and give a number of examples of the mean curvature flow. For Minkowski spaces, a special case of Finsler manifolds, we will prove the existence and uniqueness for solution of the mean curvature flow and prove that the flow preserves the convexity and mean convexity. We also derive some comparison principles for the mean curvature flow.


title: Self-testing Dicke states

abstract: We show that, upon the observation of a specific measurement statistic, Dicke states can be self-tested. Our work is based on a generalization of the protocol considered by Wu et al. [PRA 90 042339 (2014)], and constitutes a device-independent method for the characterization of a physical device. For realistic situations where experimental imperfections lead to a deviation from the ideal statistics, we give an estimate for the fidelity of the physical state compared to the ideal Dicke state.


title: Mustafin varieties, moduli spaces and tropical geometry

abstract: Mustafin varieties are flat degenerations of projective spaces, induced by a choice of an $n-$tuple of lattices in a vector space over a non-archimedean field. They were introduced by Mustafin in the 70s in order to generalise Mumford's groundbreaking work on the unformisation of curves to higher dimension. These varieties have a rich combinatorial structure as can be seen in pioneering work of Cartwright, H\"abich, Sturmfels and Werner. In this paper, we introduce a new approach to Mustafin varieties in terms of images of rational maps, which were studied by Li. Applying tropical intersection theory and tropical convex hull computations, we use this method to give a new combinatorial description of the irreducible components of the special fibers of Mustafin varieties. This enables connections to various topics. In particular, we see that any multiview variety appears as an irreducible component of the special fiber of some Mustafin variety. Furthermore, we use an interpretation of Mustafin varieties as a moduli functor introduced by Faltings to relate them to certain moduli functors, called linked Grassmannians. These objects are featured in limit linear series theory. The focal point of study regarding linked Grassmannians are so-called \textit{simple points}. As a direct consequence of the new combinatorial description of Mustafin varieties, we prove that the simple points of linked Grassmannians are dense in every fiber. Finally, we use the connection to linked Grassmannians, to relate the special fibers of Mustafin varieties to certain local models of unitary Shimura varieties.


title: Wasserstein Distance Guided Representation Learning for Domain Adaptation

abstract: Domain adaptation aims at generalizing a high-performance learner on a target domain via utilizing the knowledge distilled from a source domain which has a different but related data distribution. One solution to domain adaptation is to learn domain invariant feature representations while the learned representations should also be discriminative in prediction. To learn such representations, domain adaptation frameworks usually include a domain invariant representation learning approach to measure and reduce the domain discrepancy, as well as a discriminator for classification. Inspired by Wasserstein GAN, in this paper we propose a novel approach to learn domain invariant feature representations, namely Wasserstein Distance Guided Representation Learning (WDGRL). WDGRL utilizes a neural network, denoted by the domain critic, to estimate empirical Wasserstein distance between the source and target samples and optimizes the feature extractor network to minimize the estimated Wasserstein distance in an adversarial manner. The theoretical advantages of Wasserstein distance for domain adaptation lie in its gradient property and promising generalization bound. Empirical studies on common sentiment and image classification adaptation datasets demonstrate that our proposed WDGRL outperforms the state-of-the-art domain invariant representation learning approaches.


title: Amplitude death and resurgence of oscillation in network of mobile oscillators

abstract: The phenomenon of amplitude death has been explored using a variety of different coupling strategies in the last two decades. In most of the work, the basic coupling arrangement is considered to be static over time, although many realistic systems exhibit significant changes in the interaction pattern as time varies. In this article, we study the emergence of amplitude death in a dynamical network composed of time-varying interaction amidst a collection of random walkers in a finite region of three dimensional space. We consider an oscillator for each walker and demonstrate that depending upon the network parameters and hence the interaction between them, global oscillation in the network gets suppressed. In this framework, vision range of each oscillator decides the number of oscillators with which it interacts. In addition, with the use of an appropriate feedback parameter in the coupling strategy, we articulate how the suppressed oscillation can be resurrected in the systems' parameter space. The phenomenon of amplitude death and the resurgence of oscillation is investigated taking limit cycle and chaotic oscillators for broad ranges of parameters, like interaction strength k between the entities, vision range r and the speed of movement v.