title: Extending means to several variables

abstract: We begin the study of how to extend few variable means to several variable ones and how to shrink means of several variables to less variables. With the help of one of the techniques we show that it is enough to check an inequality between two quasi-arithmetic means in 2-variables and that simply implies the inequality in m-variables. The technique has some relation to Markov chains. This method can be applied to symmetrization and compounding means as well.


title: Positive Semidefiniteness of Matrices arising from Ramsey Theory

abstract: We resolve a conjecture of Cooper-Fenner-Purewal that a certain sequence of combinatorial matrices which can be used to bound small product-Ramsey numbers is positive semidefinite. Because the connection to Ramsey Theory involves solving quadratic integer programs associated to these matrices, this implies that there are relatively efficient algorithms for bounding said numbers. The proof is direct, and yields important structural information: we enumerate the eigenvalues and eigenspaces explicitly by employing hypergeometric identities.


title: Guided Lock of a Suspended Optical Cavity Enhanced by a Higher Order Extrapolation

abstract: Lock acquisition of a suspended optical cavity can be a highly stochastic process and is therefore nontrivial. Guided lock is a method to make lock acquisition less stochastic by decelerating the motion of the cavity length based on an extrapolation of the motion from an instantaneous velocity measurement. We propose an improved scheme which is less susceptible to seismic disturbances by incorporating the acceleration as a higher order correction in the extrapolation. We implemented the new scheme in a 300-m suspended Fabry-Perot cavity and improved the success rate of lock acquisition by a factor of 30.


title: Streaming Pattern Matching with d Wildcards

abstract: In the pattern matching with $d$ wildcards problem one is given a text $T$ of length $n$ and a pattern $P$ of length $m$ that contains $d$ wildcard characters, each denoted by a special symbol $'?'$. A wildcard character matches any other character. The goal is to establish for each $m$-length substring of $T$ whether it matches $P$. In the streaming model variant of the pattern matching with $d$ wildcards problem the text $T$ arrives one character at a time and the goal is to report, before the next character arrives, if the last $m$ characters match $P$ while using only $o(m)$ words of space. In this paper we introduce two new algorithms for the $d$ wildcard pattern matching problem in the streaming model. The first is a randomized Monte Carlo algorithm that is parameterized by a constant $0\leq \delta \leq 1$. This algorithm uses $\tilde{O}(d^{1-\delta})$ amortized time per character and $\tilde{O}(d^{1+\delta})$ words of space. The second algorithm, which is used as a black box in the first algorithm, is a randomized Monte Carlo algorithm which uses $O(d+\log m)$ worst-case time per character and $O(d\log m)$ words of space.


title: Finiteness theorems for K3 surfaces and abelian varieties of CM type

abstract: We study abelian varieties and K3 surfaces with complex multiplication defined over number fields of fixed degree. We show that these varieties fall into finitely many isomorphism classes over an algebraic closure of the field of rational numbers. As an application we confirm finiteness conjectures of Shafarevich and Coleman in the CM case. In addition we prove the uniform boundedness of the Galois invariant subgroup of the geometric Brauer group for forms of a smooth projective variety satisfying the integral Mumford--Tate conjecture. When applied to K3 surfaces, this affirms a conjecture of V\'arilly-Alvarado in the CM case.


title: Proca Q Balls and their Coupling to Gravity

abstract: Extending the Proca Lagrangian of a massive complex-valued vector field by self-interaction potential, we construct a large class of spherically symmetric solutions in flat Minkowski background as well as in the self-gravitating case. Our solutions encompass Proca Q-balls and Proca stars known in the literature, but present new features and go beyond the limited region of parameter space charted so far. A special emphasis is set to the domain of existence of the solutions in relation with the coupling constants of the potential and to the critical phenomena limiting this domain.


title: Generating large Ising models with Markov structure via simple linear relations

abstract: We extend the notion of a tree graph to sequences of prime graphs which are cycles and edges and name these non-chordal graphs hollow trees. These structures are especially attractive for palindromic Ising models, which mimic a symmetry of joint Gaussian distributions. We show that for an Ising model all defining independences are captured by zero partial correlations and conditional correlations agree with partial correlations within each prime graph if and only if the model is palindromic and has a hollow-tree structure. This implies that the strength of dependences can be assessed locally. We use the results to find a well-fitting general Ising model with hollow-tree structure for a set of longitudinal data.


title: Invitation to the Bethe ansatz

abstract: We review the algebraic Bethe ansatz for the Heisenberg model. The exposition includes some of recent advancements with emphasis on a relation with the rigged configurations. We also provide somewhat thorough review of the crystal bases and the rigged configurations. In particular, we provide the inverse scattering transform for the type $D^{(1)}_n$ box-ball systems. We also provide a reformulation of a result of arXiv:0711.4185.


title: Einstein Equations, Cosmological Constant and all that

abstract: We suggest an interpretation of Einstein Equations of General Relativity at large scales in which the Cosmological constant is exactly zero in the limit of zero spacetime variations of fundamental constants. We argue that in a quasiclassical Universe such variation should be tiny which leads to a tiny value for the Dark Energy. Next, we suggest that the are two sources of the Dark Energy. The first is the variation in Newton's constant $G_N$. It is a form of Dark Energy in that it has negative pressure, but it differs from the Cosmological Constant by a negative contribution to the energy. The second is the contribution of (causal) nonlocalities to the Dark Energy. This comes together with a particular view of Quantum Mechanics and the wavefunction collapse, in particular. The collapse is neither dynamical nor subjective.


title: Greed is Good: Near-Optimal Submodular Maximization via Greedy Optimization

abstract: It is known that greedy methods perform well for maximizing monotone submodular functions. At the same time, such methods perform poorly in the face of non-monotonicity. In this paper, we show - arguably, surprisingly - that invoking the classical greedy algorithm $O(\sqrt{k})$-times leads to the (currently) fastest deterministic algorithm, called Repeated Greedy, for maximizing a general submodular function subject to $k$-independent system constraints. Repeated Greedy achieves $(1 + O(1/\sqrt{k}))k$ approximation using $O(nr\sqrt{k})$ function evaluations (here, $n$ and $r$ denote the size of the ground set and the maximum size of a feasible solution, respectively). We then show that by a careful sampling procedure, we can run the greedy algorithm only once and obtain the (currently) fastest randomized algorithm, called Sample Greedy, for maximizing a submodular function subject to $k$-extendible system constraints (a subclass of $k$-independent system constrains). Sample Greedy achieves $(k + 3)$-approximation with only $O(nr/k)$ function evaluations. Finally, we derive an almost matching lower bound, and show that no polynomial time algorithm can have an approximation ratio smaller than $ k + 1/2 - \varepsilon$. To further support our theoretical results, we compare the performance of Repeated Greedy and Sample Greedy with prior art in a concrete application (movie recommendation). We consistently observe that while Sample Greedy achieves practically the same utility as the best baseline, it performs at least two orders of magnitude faster.


title: Automatic Measurement of Pre-aspiration

abstract: Pre-aspiration is defined as the period of glottal friction occurring in sequences of vocalic/consonantal sonorants and phonetically voiceless obstruents. We propose two machine learning methods for automatic measurement of pre-aspiration duration: a feedforward neural network, which works at the frame level; and a structured prediction model, which relies on manually designed feature functions, and works at the segment level. The input for both algorithms is a speech signal of an arbitrary length containing a single obstruent, and the output is a pair of times which constitutes the pre-aspiration boundaries. We train both models on a set of manually annotated examples. Results suggest that the structured model is superior to the frame-based model as it yields higher accuracy in predicting the boundaries and generalizes to new speakers and new languages. Finally, we demonstrate the applicability of our structured prediction algorithm by replicating linguistic analysis of pre-aspiration in Aberystwyth English with high correlation.


title: The absolutely Koszul property of Veronese subrings and Segre products

abstract: Absolutely Koszul algebras are a class of rings over which any finite graded module has a rational Poincar\'e series. We provide a criterion to detect non-absolutely Koszul rings. Combining the criterion with machine computations, we identify large families of Veronese subrings and Segre products of polynomial rings which are not absolutely Koszul. In particular, we classify completely the absolutely Koszul algebras among Segre products of polynomial rings, at least in characteristic $0$.


title: Quantifying protein densities on cell membranes using super-resolution optical fluctuation imaging

abstract: Surface molecules, distributed in diverse patterns and clusters on cell membranes, influence vital functions of living cells. It is therefore important to understand their molecular surface organisation under different physiological and pathological conditions. Here, we present a model-free, quantitative method to determine the distribution of cell surface molecules based on TIRF illumination and super-resolution optical fluctuation imaging (SOFI). This SOFI-based approach is robust towards single emitter multiple-blinking events, high labelling densities and high blinking rates. In SOFI, the molecular density is not based on counting events, but results as an intrinsic property due to the correlation of the intensity fluctuations. The effectiveness and robustness of the method was validated using simulated data, as well as experimental data investigating the impact of palmitoylation on CD4 protein nanoscale distribution in the plasma membrane of resting T cells.


title: Equivariant maps between representation spheres

abstract: Let $G$ be a compact Lie group. We prove that if $V$ and $W$ are orthogonal $G$-representations such that $V^G=W^G=\{0\}$, then a $G$-equivariant map $S(V) \to S(W)$ exists provided that $\dim V^H \leq \dim W^H$ for any closed subgroup $H\subseteq G$. This result is complemented by a reinterpretation in terms of divisibility of certain Euler classes when $G$ is a torus.


title: New Planar P-time Computable Six-Vertex Models and a Complete Complexity Classification

abstract: We discover new P-time computable six-vertex models on planar graphs beyond Kasteleyn's algorithm for counting planar perfect matchings. We further prove that there are no more: Together, they exhaust all P-time computable six-vertex models on planar graphs, assuming #P is not P. This leads to the following exact complexity classification: For every parameter setting in ${\mathbb C}$ for the six-vertex model, the partition function is either (1) computable in P-time for every graph, or (2) #P-hard for general graphs but computable in P-time for planar graphs, or (3) #P-hard even for planar graphs. The classification has an explicit criterion. The new P-time cases in (2) provably cannot be subsumed by Kasteleyn's algorithm. They are obtained by a non-local connection to #CSP, defined in terms of a "loop space". This is the first substantive advance toward a planar Holant classification with not necessarily symmetric constraints. We introduce M\"obius transformation on ${\mathbb C}$ as a powerful new tool in hardness proofs for counting problems.


title: Explicit Determination in ${\Bbb R}^{N}$ of $(N-1)$-Dimensional Area Minimizing Surfaces with Arbitrary Boundaries

abstract: Let $N\ge3$ be an integer and $B$ be a smooth, compact, oriented, $(N-2)$-dimensional boundary in ${\Bbb R}^{N}$. In 1960, H. Federer and W. Fleming proved that there is an $(N-1)$-dimensional integral current spanning surface of least area. The proof was by compactness methods and non-constructive. In 1970 H. Federer proved the definitive regularity result for such a codimension one minimizing surface. Thus it is a question of long standing whether there is a numerical algorithm that will closely approximate the area minimizing surface. The principal result of this paper is an algorithm that solves this problem. Specifically, given a neighborhood $U$ around $B$ in ${\Bbb R}^{N}$ and a tolerance $\epsilon>0$, we prove that one can explicitly compute in finite time an $(N-1)$-dimensional integral current $T$ with the following approximation requirements: (1) spt$(\partial T)\subset U$. (2) $B$ and $\partial T$ are within distance $\epsilon$ in the Hausdorff distance. (3) $B$ and $\partial T$ are within distance $\epsilon$ in the flat norm distance. (4) ${\mathbb M}(T)<\epsilon+\inf\{{\mathbb M}(S):\partial S=B\}$. (5) Every area minimizing current $R$ with $\partial R=\partial T$ is within flat norm distance $\epsilon$ of $T$.


title: Transient Superdiffusive Motion on a Disordered Ratchet Potential

abstract: The relationship between anomalous superdiffusive behavior and particle trapping probability is analyzed on a rocking ratchet potential with spatially correlated weak disorder. The trapping probability density is shown, analytically and numerically, to have an exponential form as a function of space. The trapping processes with a low or no thermal noise are only transient, but they can last much longer than the characteristic time scale of the system and therefore might be detected experimentally. Using the result for the trapping probability we obtain an analytical expression for the number of wells where a given number of particles are trapped. We have also obtained an analytical approximation for the second-moment of the particle distribution function C2 as a function of time, when trapped particles coexist with constant velocity untrapped particles. We also use the expression for C2 to characterize the anomalous superdiffusive motion in the absence of thermal noise for the transient time.


title: The impact of random actions on opinion dynamics

abstract: Opinion dynamics have fascinated researchers for centuries. The ability of societies to learn as well as the emergence of irrational {\it herding} are equally evident. The simplest example is that of agents that have to determine a binary action, under peer pressure coming from the decisions observed. By modifying several popular models for opinion dynamics so that agents internalize actions rather than smooth estimates of what other people think, we are able to prove that almost surely the actions final outcome remains random, even though actions can be consensual or polarized depending on the model. This is a theoretical confirmation that the mechanism that leads to the emergence of irrational herding behavior lies in the loss of nuanced information regarding the privately held beliefs behind the individuals decisions.


title: Double helix nodal line superconductor

abstract: Time-reversal invariant superconductors in three dimensions may contain nodal lines in the Brillouin zone, which behave exactly as Wilson loops of 3d momentum-space Chern-Simons theory of the Berry connection. Here we study the conditions of realizing linked nodal lines (Wilson loops), which yield a topological contribution to the thermal magnetoelectric coefficient that is given by the Chern-Simons action. We find the essential conditions are the existence of torus or higher genus fermi surfaces and spiral spin textures. We construct such a model with two torus fermi surfaces, where a generic spin-dependent interaction leads to double-helix-like linked nodal lines as the superconductivity is developed.


title: A Higher Bachmann-Howard Principle

abstract: We present a higher well-ordering principle which is equivalent (over Simpson's set theoretic version of $\text{ATR}_0$) to the existence of transitive models of Kripke-Platek set theory, and thus to $\Pi^1_1$-comprehension. This is a partial solution to a conjecture of Montalb\'an and Rathjen: partial in the sense that our well-ordering principle is less constructive than demanded in the conjecture.


title: No two starlikes have equal index

abstract: The index of a graph is the largest eigenvalue of its adjacency matrix. A starlike is a tree having a unique vertex of degree $r>2$. We show how to order the starlike trees with $n>3$ by their indices. In particular, the indices of starlike trees are all distinct.


title: The Relative Performance of Ensemble Methods with Deep Convolutional Neural Networks for Image Classification

abstract: Artificial neural networks have been successfully applied to a variety of machine learning tasks, including image recognition, semantic segmentation, and machine translation. However, few studies fully investigated ensembles of artificial neural networks. In this work, we investigated multiple widely used ensemble methods, including unweighted averaging, majority voting, the Bayes Optimal Classifier, and the (discrete) Super Learner, for image recognition tasks, with deep neural networks as candidate algorithms. We designed several experiments, with the candidate algorithms being the same network structure with different model checkpoints within a single training process, networks with same structure but trained multiple times stochastically, and networks with different structure. In addition, we further studied the over-confidence phenomenon of the neural networks, as well as its impact on the ensemble methods. Across all of our experiments, the Super Learner achieved best performance among all the ensemble methods in this study.


title: Learning Combinatorial Optimization Algorithms over Graphs

abstract: The design of good heuristics or approximation algorithms for NP-hard combinatorial optimization problems often requires significant specialized knowledge and trial-and-error. Can we automate this challenging, tedious process, and learn the algorithms instead? In many real-world applications, it is typically the case that the same optimization problem is solved again and again on a regular basis, maintaining the same problem structure but differing in the data. This provides an opportunity for learning heuristic algorithms that exploit the structure of such recurring problems. In this paper, we propose a unique combination of reinforcement learning and graph embedding to address this challenge. The learned greedy policy behaves like a meta-algorithm that incrementally constructs a solution, and the action is determined by the output of a graph embedding network capturing the current state of the solution. We show that our framework can be applied to a diverse range of optimization problems over graphs, and learns effective algorithms for the Minimum Vertex Cover, Maximum Cut and Traveling Salesman problems.


title: Optimal transport and integer partitions

abstract: We link the theory of optimal transportation to the theory of integer partitions. Let $\mathscr P(n)$ denote the set of integer partitions of $n \in \mathbb N$ and write partitions $\pi \in \mathscr P(n)$ as $(n_1, \dots, n_{k(\pi)})$. Using terminology from optimal transport, we characterize certain classes of partitions like symmetric partitions and those in Euler's identity $|\{ \pi \in \mathscr P(n) |$ all $ n_i $ distinct $ \} | = | \{ \pi \in \mathscr P(n) | $ all $ n_i $ odd $ \}|$. Then we sketch how optimal transport might help to understand higher dimensional partitions.


title: The origin of the Debye relaxation in liquid water and fitting the high frequency excess response

abstract: We critically review the literature on the Debye absorption peak of liquid water and the excess response found on the high frequency side of the Debye peak. We find a lack of agreement on the microscopic phenomena underlying both of these features. To better understand the molecular origin of Debye peak we ran large scale molecular dynamics simulations and performed several different distance-dependent decompositions of the low frequency dielectric spectra, finding that it involves processes that take place on scales of 1.5-2.0 nm. We also calculated the $k$-dependence of the Debye relaxation, finding it to be highly dispersive. These findings are inconsistent with models that relate Debye relaxation to local processes such as the rotation/translation of molecules after H-bond breaking. We introduce the spectrumfitter Python package for fitting dielectric spectra and analyze different ways of fitting the high frequency excess, such as including one or two additional Debye peaks. We propose using the generalized Lydanne-Sachs-Teller (gLST) equation as a way of testing the physicality of model dielectric functions. Our attempts at fitting the experimental spectrum using the gLST relation as a constraint indicate that the traditional way of fitting the excess response with secondary and tertiary Debye relaxations is problematic. All of our work is consistent with the recent theory of Popov et al. (2016) that Debye relaxation is due to the migration of Bjerrum-like defects in the hydrogen bond network. Under this theory, the mechanism of Debye relaxation in liquid water is similar to the mechanism in ice, but the heterogeneity and power-law dynamics of the H-bond network in water results in excess response on the high frequency side of the peak.


title: Dynamics of dwarf galaxies disfavor stellar-mass black hole dark matter

abstract: We study the effects of black hole dark matter on the dynamical evolution of stars in dwarf galaxies. We find that mass segregation leads to a depletion of stars in the center of dwarf galaxies and the appearance of a ring in the projected stellar surface density profile. Using Segue 1 as an example we show that current observations of the projected surface stellar density rule out at the 99.9% confidence level the possibility that more than 6% of the dark matter is composed of black holes with a mass of few tens of solar masses.


title: Vico-Greengard-Ferrando quadratures in the tensor solver for integral equations

abstract: Convolution with Green's function of a differential operator appears in a lot of applications e.g. Lippmann-Schwinger integral equation. Algorithms for computing such are usually non-trivial and require non-uniform mesh. However, recently Vico, Greengard and Ferrando developed method for computing convolution with smooth functions with compact support with spectral accuracy, requiring nothing more than Fast Fourier Transform (FFT). Their approach is very suitable for the low-rank tensor implementation which we develop using Quantized Tensor Train (QTT) decomposition.


title: Joint Maximum a Posteriori State Path and Parameter Estimation in Stochastic Differential Equations

abstract: In this article, we introduce the joint maximum a posteriori state path and parameter estimator (JME) for continuous-time systems described by stochastic differential equations (SDEs). This estimator can be applied to nonlinear systems with discrete-time (sampled) measurements with a wide range of measurement distributions. We also show that the minimum-energy state path and parameter estimator (MEE) obtains the joint maximum a posteriori noise path, initial conditions, and parameters. These estimators are demonstrated in simulated experiments, in which they are compared to the prediction error method (PEM) using the unscented Kalman filter and smoother. The experiments show that the MEE is biased for the damping parameters of the drift function. Furthermore, for robust estimation in the presence of outliers, the JME attains lower state estimation errors than the PEM.


title: Lattice duality for families of $K3$ surfaces associated to transpose duality

abstract: The aim of this article is to show that the transpose-dual pairs in the sense of Ebeling-Ploog of singularities $(Z_{1,0},\, Z_{1,0})$, $(U_{1,0},\, U_{1,0})$, $(Q_{17},\, Z_{2,0})$, $(W_{1,0},\, W_{1,0})$ that are concluded to be polytope-dual by the author are actually lattice-dual.


title: Control refinement for discrete-time descriptor systems: a behavioural approach via simulation relations

abstract: The analysis of industrial processes, modelled as descriptor systems, is often computationally hard due to the presence of both algebraic couplings and difference equations of high order. In this paper, we introduce a control refinement notion for these descriptor systems that enables analysis and control design over related reduced-order systems. Utilising the behavioural framework, we extend upon the standard hierarchical control refinement for ordinary systems and allow for algebraic couplings inherent to descriptor systems.


title: On Tests for Complete Independence of Normal Random Vectors

abstract: Consider a random sample of $n$ independently and identically distributed $p$-dimensional normal random vectors. A test statistic for complete independence of high-dimensional normal distributions, proposed by Schott (2005), is defined as the sum of squared Pearson's correlation coefficients. A modified test statistic has been proposed by Mao (2014). Under the assumption of complete independence, both test statistics are asymptotically normal if the limit $\lim_{n\to\infty}p/n$ exists and is finite. In this paper, we investigate the limiting distributions for both Schott's and Mao's test statistics. We show that both test statistics, after suitably normalized, converge in distribution to the standard normal as long as both $n$ and $p$ tend to infinity. Furthermore, we show that the distribution functions of the test statistics can be approximated very well by a chi-square distribution function with $p(p-1)/2$ degrees of freedom as $n$ tends to infinity regardless of how $p$ changes with $n$.


title: Constructive Stabilization and Pole Placement by Arbitrary Decentralized Architectures

abstract: A seminal result in decentralized control is the development of fixed modes by Wang and Davison in 1973 - that plant modes which cannot be moved with a static decentralized controller cannot be moved by a dynamic one either, and that the other modes which can be moved can be shifted to any chosen location with arbitrary precision. These results were developed for perfectly decentralized, or block diagonal, information structure, where each control input may only depend on a single corresponding measurement. Furthermore, the results were claimed after a preliminary step was demonstrated, omitting a rigorous induction for each of these results, and the remaining task is nontrivial. In this paper, we consider fixed modes for arbitrary information structures, where certain control inputs may depend on some measurements but not others. We provide a comprehensive proof that the modes which cannot be altered by a static controller with the given structure cannot be moved by a dynamic one either, and that the modes which can be altered by a static controller with the given structure can be moved by a dynamic one to any chosen location with arbitrary precision, thus generalizing and solidifying Wang and Davison's results. This shows that a system can be stabilized by a linear time-invariant controller with the given information structure as long as all of the modes which are fixed with respect to that structure are in the left half-plane; an algorithm for synthesizing such a stabilizing decentralized controller is then distilled from the proof.


title: Period map of triple coverings of $\mathbf P^2$ and mixed Hodge structures

abstract: We study a period map for triple coverings of $\mathbf P^2$branching along special configurations of $6$ lines. Though the moduli space of special configurations isa two dimensional variety,the minimal models of the coverings form a oneparameter family of K3 surfaces.We extract extra one dimensionalinformation from the mixed Hodge structure on the second relative homology group.


title: Multi-Personality Partitioning for Heterogeneous Systems

abstract: Design flows use graph partitioning both as a precursor to place and route for single devices, and to divide netlists or task graphs among multiple devices. Partitioners have accommodated FPGA heterogeneity via multi-resource constraints, but have not yet exploited the corresponding ability to implement some computations in multiple ways (e.g., LUTs vs. DSP blocks), which could enable a superior solution. This paper introduces multi-personality graph partitioning, which incorporates aspects of resource mapping into partitioning. We present a modified multi-level KLFM partitioning algorithm that also performs heterogeneous resource mapping for nodes with multiple potential implementations (multiple personalities). We evaluate several variants of our multi-personality FPGA circuit partitioner using 21 circuits and benchmark graphs, and show that dynamic resource mapping improves cut size on average by 27% over static mapping for these circuits. We further show that it improves deviation from target resource utilizations by 50% over post-partitioning resource mapping.


title: Spectra of Laplacian matrices of weighted graphs: structural genericity properties

abstract: This article deals with the spectra of Laplacians of weighted graphs. In this context, two objects are of fundamental importance for the dynamics of complex networks: the second eigenvalue of such a spectrum (called algebraic connectivity) and its associated eigenvector, the so-called Fiedler vector. Here we prove that, given a Laplacian matrix, it is possible to perturb the weights of the existing edges in the underlying graph in order to obtain simple eigenvalues and a Fiedler vector composed of only non-zero entries. These structural genericity properties with the constraint of not adding edges in the underlying graph are stronger than the classical ones, for which arbitrary structural perturbations are allowed. These results open the opportunity to understand the impact of structural changes on the dynamics of complex systems.


title: Mrk 71/NGC 2366: The nearest Green Pea analog

abstract: We present the remarkable discovery that the dwarf irregular galaxy NGC 2366 is an excellent analog of the Green Pea (GP) galaxies, which are characterized by extremely high ionization parameters. The similarities are driven predominantly by the giant H II region Markarian 71 (Mrk 71). We compare the system with GPs in terms of morphology, excitation properties, specific star-formation rate, kinematics, absorption of low-ionization species, reddening, and chemical abundance, and find consistencies throughout. Since extreme GPs are associated with both candidate and confirmed Lyman continuum (LyC) emitters, Mrk 71/NGC 2366 is thus also a good candidate for LyC escape. The spatially resolved data for this object show a superbubble blowout generated by mechanical feedback from one of its two super star clusters (SSCs), Knot B, while the extreme ionization properties are driven by the <1 Myr-old, enshrouded SSC Knot A, which has ~ 10 times higher ionizing luminosity. Very massive stars (> 100 Msun) may be present in this remarkable object. Ionization-parameter mapping indicates the blowout region is optically thin in the LyC, and the general properties also suggest LyC escape in the line of sight. Mrk 71/NGC 2366 does differ from GPs in that it is 1 - 2 orders of magnitude less luminous. The presence of this faint GP analog and candidate LyC emitter (LCE) so close to us suggests that LCEs may be numerous and commonplace, and therefore could significantly contribute to the cosmic ionizing budget. Mrk 71/NGC 2366 offers an unprecedentedly detailed look at the viscera of a candidate LCE, and could clarify the mechanisms of LyC escape.


title: Instability and Singularity of Projective Hypersurfaces

abstract: In this paper, we will show that the Hesselink stratification of a Hilbert scheme of hypersurfaces is independent of the choice of Pl\"ucker coordinate and there is a positive relation between the length of Hesselink's worst virtual 1-parameter subgroup and multiplicity of a projective hypersurface.


title: Testing the Multiverse: Bayes, Fine-Tuning and Typicality

abstract: Theory testing in the physical sciences has been revolutionized in recent decades by Bayesian approaches to probability theory. Here, I will consider Bayesian approaches to theory extensions, that is, theories like inflation which aim to provide a deeper explanation for some aspect of our models (in this case, the standard model of cosmology) that seem unnatural or fine-tuned. In particular, I will consider how cosmologists can test the multiverse using observations of this universe.


title: Randomized Verblunsky Parameters in Steklov's Problem

abstract: We consider randomized Verblunsky parameters for orthogonal polynomials on the unit circle as they relate to the problem of Steklov, bounding the polynomials' uniform norm independent of $n$.


title: A statistical study of super-luminous supernovae in the magnetar engine model and implications for their connection with gamma-ray bursts and hypernovae

abstract: By fitting the bolometric light curves of 31 super-luminous supernovae (SLSNe) with the magnetar engine model, we derive the ejecta masses and magnetar parameters for these SLSNe. The lower boundary of magnetic field strengths of SLSN magnetars can be set just around the critical field strength $B_{\rm c}$ of electron Landau quantization. In more details, SLSN magnetars can further be divided into two subclasses of magnetic fields of $\sim(1-5)B_{\rm c}$ and $\sim(5-10)B_{\rm c}$, respectively. It is revealed that these two subclasses of magnetars are just associated with the slow-evolving and fast-evolving bolometric light curves of SLSNe. In comparison, the magnetars harbored in gamma-ray bursts (GRBs) and associated hypernovae are usually inferred to have much higher magnetic fields with a lower boundary about $\sim10B_{\rm c}$. This robustly suggests that it is the magnetic fields that play the crucial role in distinguishing SLSNe from GRBs/hypernovae. The rotational energy of SLSN magnetars are found to be correlated with the masses of supernova ejecta, which provides a clue to explore the nature of their progenitors. Moreover, the distribution of ejecta masses of SLSNe is basically intermediate between those of normal core-collapse supernovae and hypernovae. This could indicate an intrinsic connection among these different stellar explosions.


title: Representability theorem in derived analytic geometry

abstract: We prove the representability theorem in derived analytic geometry. The theorem asserts that an analytic moduli functor is a derived analytic stack if and only if it is compatible with Postnikov towers, has a global analytic cotangent complex, and its truncation is an analytic stack. Our result applies to both derived complex analytic geometry and derived non-archimedean analytic geometry (rigid analytic geometry). The representability theorem is of both philosophical and practical importance in derived geometry. The conditions of representability are natural expectations for a moduli functor. So the theorem confirms that the notion of derived analytic space is natural and sufficiently general. On the other hand, the conditions are easy to verify in practice. So the theorem enables us to enhance various classical moduli spaces with derived structures, thus provides plenty of down-to-earth examples of derived analytic spaces. For the purpose of proof, we study analytification, square-zero extensions, analytic modules and cotangent complexes in the context of derived analytic geometry. We will explore applications of the representability theorem in our subsequent works. In particular, we will establish the existence of derived mapping stacks via the representability theorem.


title: Vector bundles and modular forms for Fuchsian groups of genus zero

abstract: This article lays the foundations for the study of modular forms transforming with respect to representations of Fuchsian groups of genus zero. More precisely, we define geometrically weighted graded modules of such modular forms, where the graded structure comes from twisting with all isomorphism classes of line bundles on the corresponding compactified modular curve, and we study their structure by relating it to the structure of vector bundles over orbifold curves of genus zero. We prove that these modules are free whenever the Fuchsian group has at most two elliptic points. For three or more elliptic points, we give explicit constructions of indecomposable vector bundles of rank two over modular orbifold curves, which give rise to non-free modules of geometrically weighted modular forms.


title: A lower bound on the 2-adic complexity of modified Jacobi sequence

abstract: Let $p,q$ be distinct primes satisfying $\mathrm{gcd}(p-1,q-1)=d$ and let $D_i$, $i=0,1,\cdots,d-1$, be Whiteman's generalized cyclotomic classes with $Z_{pq}^{\ast}=\cup_{i=0}^{d-1}D_i$. In this paper, we give the values of Gauss periods based on the generalized cyclotomic sets $D_0^{\ast}=\sum_{i=0}^{\frac{d}{2}-1}D_{2i}$ and $D_1^{\ast}=\sum_{i=0}^{\frac{d}{2}-1}D_{2i+1}$. As an application, we determine a lower bound on the 2-adic complexity of modified Jacobi sequence. Our result shows that the 2-adic complexity of modified Jacobi sequence is at least $pq-p-q-1$ with period $N=pq$. This indicates that the 2-adic complexity of modified Jacobi sequence is large enough to resist the attack of the rational approximation algorithm (RAA) for feedback with carry shift registers (FCSRs).


title: Magnetic field "flyby" measurement using simultaneously magnetometer and accelerometer

abstract: The spatial dependence of magnetic fields in simple configurations is an usual topic in introductory electromagnetism lessons, both in high school and in university courses. In typical experiments, magnetic fields are obtained taking point-by-point values using a Hall sensor and distances are measured using a ruler. Here, we show how to take advantage of the smartphone capabilities to get simultaneous measures with the built-in accelerometer and magnetometer and to obtain the spatial dependence of magnetic fields. We consider a simple set up consisting of a smartphone mounted on a track whose direction coincides with the axis of a coil. While the smartphone is smoothly accelerated, both the magnetic field and the distance from the center of the coil (integrated numerically from the acceleration values) are simultaneously obtained. This methodology can be easily extended to more complicated setups.


title: Computational determination of the largest lattice polytope diameter

abstract: A lattice (d, k)-polytope is the convex hull of a set of points in dimension d whose coordinates are integers between 0 and k. Let {\delta}(d, k) be the largest diameter over all lattice (d, k)-polytopes. We develop a computational framework to determine {\delta}(d, k) for small instances. We show that {\delta}(3, 4) = 7 and {\delta}(3, 5) = 9; that is, we verify for (d, k) = (3, 4) and (3, 5) the conjecture whereby {\delta}(d, k) is at most (k + 1)d/2 and is achieved, up to translation, by a Minkowski sum of lattice vectors.


title: Worlds Without Moons: Exomoon Constraints for Compact Planetary Systems

abstract: One of the primary surprises of exoplanet detections has been the discovery of compact planetary systems, whereby numerous planets reside within ~0.5 AU of the host star. Many of these kinds of systems have been discovered in recent years, indicating that they are fairly common orbital architecture. Of particular interest are those systems for which the host star is low-mass, thus potentially enabling one or more of the planets to lie within the Habitable Zone of the host star. One of the contributors to the habitability of the Earth is the presence of a substantial moon whose tidal effects can stabilize axial tilt variations and increase the rate of tidal pool formation. Here we explore the constraints on the presence of moons for planets in compact systems based on Hill radii and Roche limit considerations. We apply these constraints to the TRAPPIST-1 system and demonstrate that most of the planets are very likely to be worlds without moons.


title: Existence and stability of circular orbits in static and axisymmetric spacetimes

abstract: The existence and stability of timelike and null circular orbits (COs) in the equatorial plane of general static and axisymmetric (SAS) spacetime are investigated in this work. Using the fixed point approach, we first obtained a necessary and sufficient condition for the non-existence of timelike COs. It is then proven that there will always exist timelike COs at large $\rho$ in an asymptotically flat SAS spacetime with a positive ADM mass and moreover, these timelike COs are stable. Some other sufficient conditions on the stability of timelike COs are also solved. We then found the necessary and sufficient condition on the existence of null COs. It is generally shown that the existence of timelike COs in SAS spacetime does not imply the existence of null COs, and vice-versa, regardless whether the spacetime is asymptotically flat or the ADM mass is positive or not. These results are then used to show the existence of timelike COs and their stability in an SAS Einstein-Yang-Mills-Dilaton spacetimes whose metric is not completely known. We also used the theorems to deduce the existence of timelike and null COs in some known SAS spacetimes.


title: Evolution of shot noise in suspended lithographic gold break junctions with bias and temperature

abstract: Shot noise is a powerful tool to probe correlations and microscopic transport details that conductance measurements alone cannot reveal. Even in atomic-scale Au devices that are well described by Landauer-B{\"u}ttiker physics, complications remain such as local heating and electron-phonon interactions. We report systematic rf measurements of shot noise in individual atomic-scale gold break junctions at multiple temperatures, with most bias voltages well above the energy of the Au optical phonon mode. Motivated by the previous experimental evidence that electron-phonon interactions can modify Fano factors and result in kinked features in bias dependence of shot noise, we find that the temperature dependence of shot noise from 4.2~K to 100~K is minimal. Enhanced Fano factors near 0.5$~G_0$ and features beyond simply linear bias dependence of shot noise near the 1$~G_0$ plateau are observed. Both are believed to have non-interacting origins and the latter likely results from slightly bias-dependent transmittance of the dominant quantum channel.


title: Multi-space Variational Encoder-Decoders for Semi-supervised Labeled Sequence Transduction

abstract: Labeled sequence transduction is a task of transforming one sequence into another sequence that satisfies desiderata specified by a set of labels. In this paper we propose multi-space variational encoder-decoders, a new model for labeled sequence transduction with semi-supervised learning. The generative model can use neural networks to handle both discrete and continuous latent variables to exploit various features of data. Experiments show that our model provides not only a powerful supervised framework but also can effectively take advantage of the unlabeled data. On the SIGMORPHON morphological inflection benchmark, our model outperforms single-model state-of-art results by a large margin for the majority of languages.


title: Jost Solutions and the Direct Scattering Problem of the Benjamin--Ono Equation

abstract: In this paper, we present a rigorous study of the direct scattering problem that arises from the complete integrability of the Benjamin--Ono (BO) equation. In particular, we establish existence, uniqueness, and asymptotic properties of the Jost solutions to the scattering operator in the Fokas--Ablowitz inverse scattering transform (IST). Formulas relating different scattering coefficients are proven, together with their asymptotic behavior with respect to the spectral parameter. This work is an initial step toward the construction of general solutions to the BO equation by IST.


title: Switch-like enhancement of epithelial-mesenchymal transition by YAP through feedback regulation of WT1 and small Rho-family GTPases

abstract: Collective cell migration is a hallmark of developmental and patho-physiological states, including wound healing and invasive cancer growth. The integrity of the expanding epithelial sheets can be influenced by extracellular cues, including cell-cell and cell-matrix interactions. We show the nano-scale topography of the extracellular matrix underlying epithelial cell layers can have a strong effect on the speed and morphology of the fronts of the expanding sheet triggering epithelial-mesenchymal transition (EMT). We further demonstrate that this behavior depends on the mechano-sensitivity of the transcription regulator YAP and two new feedback cross-regulation mechanisms: through Wilms Tumor-1 and E-cadherin, loosening cell-cell contacts, and through Rho GTPase family proteins, enhancing cell migration. These YAP-dependent regulatory feedback loops result in a switch-like change in the signaling and expression of EMT-related markers, leading to a robust enhancement in invasive epithelial sheet expansion, which might lead to a poorer clinical outcome in renal and other cancers.


title: Photoinduced coherent acoustic phonon dynamics inside Mott insulator Sr2IrO4 films observed by femtosecond X-ray pulses

abstract: We investigate the transient photoexcited lattice dynamics in a layered perovskite Mott insulator Sr2IrO4 by femtosecond X-ray diffraction using a laser plasma-based X-ray source. Ultrafast structural dynamics of Sr2IrO4 thin films are determined by observing the shift and broadening of the (0012) Bragg diffraction after excitation by 1.5 eV and 3.0 eV pump photons for films with different thicknesses. The observed transient lattice response can be well interpreted as a distinct three-step dynamics due to the propagation of coherent acoustic phonons generated by the photoinduced quasiparticles (QP). Employing a normalized phonon propagation model, we found that the photoinduced angular shifts of the Bragg peak collapse into a universal curve after introducing a normalized coordinates to account for different thicknesses and pump photon energies, pinpointing the origin of the lattice distortion and its early evolution. In addition, a transient photocurrent measurement indicates that the photoinduced QPs are charge neutral excitons. Mapping the phonon propagation and correlating its dynamics with the QP by ultrafast X-ray diffraction (UXRD) establish a powerful way to study electron-phonon coupling and uncover the exotic physics in strongly correlated systems under nonequilibrium conditions.


title: Ultrafast Triplet Pair Formation and Subsequent Thermally Activated Dissociation Control Efficient Endothermic Singlet Exciton Fission

abstract: Singlet exciton fission (SF), the conversion of one spin-singlet exciton (S1) into two spin-triplet excitons (T1), could provide a means to overcome the Shockley-Queisser limit in photovoltaics. SF as measured by the decay of S1 has been shown to occur efficiently and independently of temperature even when the energy of S1 is as much as 200 meV less than 2T1. Here, we study films of TIPS-tetracene using transient optical spectroscopy and show that the initial rise of the triplet pair state (TT) occurs in 300 fs, matched by rapid loss of S1 stimulated emission, and that this process is mediated by the strong coupling of electronic and vibrational degrees of freedom. This is followed by a slower 10 ps morphology-dependent phase of S1 decay and TT growth. We observe the TT to be thermally dissociated on 10-100 ns timescales to form free triplets. This provides a model for "temperature independent", efficient TT formation and thermally activated TT separation.


title: A Syntactic Neural Model for General-Purpose Code Generation

abstract: We consider the problem of parsing natural language descriptions into source code written in a general-purpose programming language like Python. Existing data-driven methods treat this problem as a language generation task without considering the underlying syntax of the target programming language. Informed by previous work in semantic parsing, in this paper we propose a novel neural architecture powered by a grammar model to explicitly capture the target syntax as prior knowledge. Experiments find this an effective way to scale up to generation of complex programs from natural language descriptions, achieving state-of-the-art results that well outperform previous code generation and semantic parsing approaches.


title: Explosion of red-supergiant stars: influence of the atmospheric structure on shock breakout and the early-time supernova radiation

abstract: Early-time observations of the Type II supernovae (SNe) 2013cu and 2013fs have revealed an interaction of ejecta with material near the star surface. Unlike the Type IIn SN2010jl, which interacts with a dense wind for ~1yr, the interaction ebbs after 2-3d, suggesting a dense and compact circumstellar envelope. Here, we use multi-group radiation-hydrodynamics and non-local-thermodynamic-equilibrium radiative transfer to explore the properties of red supergiant (RSG) star explosions embedded in a variety of dense envelopes. We consider the cases of an extended static atmosphere or a steady-state wind, adopting a range of mass loss rates. The shock-breakout signal, the SN radiation up to 10d, and the ejecta dynamics are strongly influenced by the properties of this nearby environment. This compromises the use of early-time observations to constrain Rstar. The presence of narrow lines for 2-3d in 2013fs and 2013cu require a cocoon of material of ~0.01Msun out to 5-10Rstar. Spectral lines evolve from electron-scattering to Doppler broadened, with a growing blueshift of their emission peaks. Recent studies propose a super-wind phase with a mass loss rate from 0.001 up to 1Msun/yr in the last months/years of the RSG life, although there is no observational constraint that this external material is a steady-state outflow. Alternatively, observations may be explained by the explosion of a RSG star inside its complex atmosphere. Indeed, spatially resolved observations reveal that RSG stars have extended atmospheres, with the presence of downflows and upflows out to several Rstar, even in a standard RSG like Betelgeuse. Mass loading in the region intermediate between star and wind can accommodate the 0.01Msun needed to explain the observations of 2013fs. A puzzling super-wind phase prior to core-collapse may be therefore superfluous [Abridged].


title: Correlation functions and renormalization in a scalar field theory on the fuzzy sphere

abstract: We study renormalization in a scalar field theory on the fuzzy sphere. The theory is realized by a matrix model, where the matrix size plays the role of a UV cutoff. We define correlation functions by using the Berezin symbol identified with a field and calculate them nonperturbatively by Monte Carlo simulation. We find that the 2-point and 4-point functions are made independent of the matrix size by tuning a parameter and performing a wave function renormalization. The results strongly suggest that the theory is nonperturbatively renormalizable in the ordinary sense.


title: RANS predictions for high-speed flows using enveloping models

abstract: In this investigation, we outline an enveloping models methodology for estimating structural uncertainty bounds on RANS closures. This methodology incorporates both eigenvalue and eigenvector perturbations in the spectral representation of the Reynolds stress tensor. The underlying rationale of this enveloping models methodology are explicated in detail and the mathematical nuances are outlined. This methodology is validated via its application to a canonical case of separated turbulent flow, while contrasted against numerical data. It is exhibited that this procedure is able to provide prudent estimates on the uncertainty of quantities of interest. Furthermore, uncertainty bounds of engineering utility can be engendered using just two specific RANS simulations, minimizing the computational overheads associated with uncertainty estimation. Thence, this methodology is applied to a supersonic axisymmetric "submerged" jet flow. The epistemic uncertainty envelopes are contrasted against the aleatoric uncertainty bounds predicated upon the predictions of the RANS closure. The methodology is able to provide satisfactory results for this high-speed flow.


title: Accelerated Stochastic Quasi-Newton Optimization on Riemann Manifolds

abstract: We propose an L-BFGS optimization algorithm on Riemannian manifolds using minibatched stochastic variance reduction techniques for fast convergence with constant step sizes, without resorting to linesearch methods designed to satisfy Wolfe conditions. We provide a new convergence proof for strongly convex functions without using curvature conditions on the manifold, as well as a convergence discussion for nonconvex functions. We discuss a couple of ways to obtain the correction pairs used to calculate the product of the gradient with the inverse Hessian, and empirically demonstrate their use in synthetic experiments on computation of Karcher means for symmetric positive definite matrices and leading eigenvalues of large scale data matrices. We compare our method to VR-PCA for the latter experiment, along with Riemannian SVRG for both cases, and show strong convergence results for a range of datasets.


title: Learning Certifiably Optimal Rule Lists for Categorical Data

abstract: We present the design and implementation of a custom discrete optimization technique for building rule lists over a categorical feature space. Our algorithm produces rule lists with optimal training performance, according to the regularized empirical risk, with a certificate of optimality. By leveraging algorithmic bounds, efficient data structures, and computational reuse, we achieve several orders of magnitude speedup in time and a massive reduction of memory consumption. We demonstrate that our approach produces optimal rule lists on practical problems in seconds. Our results indicate that it is possible to construct optimal sparse rule lists that are approximately as accurate as the COMPAS proprietary risk prediction tool on data from Broward County, Florida, but that are completely interpretable. This framework is a novel alternative to CART and other decision tree methods for interpretable modeling.


title: Haro 11: Where is the Lyman continuum source?

abstract: Identifying the mechanism by which high energy Lyman continuum (LyC) photons escaped from early galaxies is one of the most pressing questions in cosmic evolution. Haro 11 is the best known local LyC leaking galaxy, providing an important opportunity to test our understanding of LyC escape. The observed LyC emission in this galaxy presumably originates from one of the three bright, photoionizing knots known as A, B, and C. It is known that Knot C has strong Ly$\alpha$ emission, and Knot B hosts an unusually bright ultraluminous X-ray source, which may be a low-luminosity AGN. To clarify the LyC source, we carry out ionization-parameter mapping (IPM) by obtaining narrow-band imaging from the Hubble Space Telescope WFC3 and ACS cameras to construct spatially resolved ratio maps of [OIII]/[OII] emission from the galaxy. IPM traces the ionization structure of the interstellar medium and allows us to identify optically thin regions. To optimize the continuum subtraction, we introduce a new method for determining the best continuum scale factor derived from the mode of the continuum-subtracted, image flux distribution. We find no conclusive evidence of LyC escape from Knots B or C, but instead, we identify a high-ionization region extending over at least 1 kpc from Knot A. Knot A shows evidence of an extremely young age ($\lesssim 1$ Myr), perhaps containing very massive stars ($>100$ M$_\odot$). It is weak in Ly$\alpha$, so if it is confirmed as the LyC source, our results imply that LyC emission may be independent of Ly$\alpha$ emission.


title: Active sorting of orbital angular momentum states of light with cascaded tunable resonators

abstract: Light carrying orbital angular momentum (OAM) has been shown to be of use in a disparate range of fields ranging from astronomy to optical trapping, and as a promising new dimension for multiplexing signals in optical communications and data storage. A challenge to many of these applications is a reliable and dynamic method that sorts incident OAM states without altering them. Here we report a wavelength-independent technique capable of dynamically filtering individual OAM states based on the resonant transmission of a tunable optical cavity. The cavity length is piezo-controlled to facilitate dynamic reconfiguration, and the sorting process leaves both the transmitted and reflected signals in their original states for subsequent processing. As a result, we also show that a reconfigurable sorting network can be constructed by cascading such optical resonators to handle multiple OAM states simultaneously. This approach to sorting OAM states is amenable to integration into optical communication networks and has implications in quantum optics, astronomy, optical data storage and optical trapping.


title: Adequacy of the Gradient-Descent Method for Classifier Evasion Attacks

abstract: Despite the wide use of machine learning in adversarial settings including computer security, recent studies have demonstrated vulnerabilities to evasion attacks---carefully crafted adversarial samples that closely resemble legitimate instances, but cause misclassification. In this paper, we examine the adequacy of the leading approach to generating adversarial samples---the gradient descent approach. In particular (1) we perform extensive experiments on three datasets, MNIST, USPS and Spambase, in order to analyse the effectiveness of the gradient-descent method against non-linear support vector machines, and conclude that carefully reduced kernel smoothness can significantly increase robustness to the attack; (2) we demonstrate that separated inter-class support vectors lead to more secure models, and propose a quantity similar to margin that can efficiently predict potential susceptibility to gradient-descent attacks, before the attack is launched; and (3) we design a new adversarial sample construction algorithm based on optimising the multiplicative ratio of class decision functions.


title: Generate To Adapt: Aligning Domains using Generative Adversarial Networks

abstract: Domain Adaptation is an actively researched problem in Computer Vision. In this work, we propose an approach that leverages unsupervised data to bring the source and target distributions closer in a learned joint feature space. We accomplish this by inducing a symbiotic relationship between the learned embedding and a generative adversarial network. This is in contrast to methods which use the adversarial framework for realistic data generation and retraining deep models with such data. We demonstrate the strength and generality of our approach by performing experiments on three different tasks with varying levels of difficulty: (1) Digit classification (MNIST, SVHN and USPS datasets) (2) Object recognition using OFFICE dataset and (3) Domain adaptation from synthetic to real data. Our method achieves state-of-the art performance in most experimental settings and by far the only GAN-based method that has been shown to work well across different datasets such as OFFICE and DIGITS.


title: Joint Inference of User Community and Interest Patterns in Social Interaction Networks

abstract: Online social media have become an integral part of our social beings. Analyzing conversations in social media platforms can lead to complex probabilistic models to understand social interaction networks. In this paper, we present a modeling approach for characterizing social interaction networks by jointly inferring user communities and interests based on social media interactions. We present several pattern inference models: i) Interest pattern model (IPM) captures population level interaction topics, ii) User interest pattern model (UIPM) captures user specific interaction topics, and iii) Community interest pattern model (CIPM) captures both community structures and user interests. We test our methods on Twitter data collected from Purdue University community. From our model results, we observe the interaction topics and communities related to two big events within Purdue University community, namely Purdue Day of Giving and Senator Bernie Sanders' visit to Purdue University as part of Indiana Primary Election 2016. Constructing social interaction networks based on user interactions accounts for the similarity of users' interactions on various topics of interest and indicates their community belonging further beyond connectivity. We observed that the degree-distributions of such networks follow power-law that is indicative of the existence of fewer nodes in the network with higher levels of interactions, and many other nodes with less interactions. We also discuss the application of such networks as a useful tool to effectively disseminate specific information to the target audience towards planning any large-scale events and demonstrate how to single out specific nodes in a given community by running network algorithms.


title: On The Modified Newman-Watts Small World and Its Random Walk

abstract: It is well known that adding "long edges (shortcuts)" to a regularly constructed graph will make the resulted model a small world. Recently, \cite{W} indicated that, among all long edges, those edges with length proportional to the diameter of the regularly constructed graph may play the key role. In this paper, we modify the original Newman-Watts small world by adding only long special edges to the $d$-dimensional lattice torus (with size $n^d$) according to \cite{W}, and show that the diameter of the modified model and the mixing time of random walk on it grow polynomially fast in $\ln n$.


title: Monte Carlo study of magnetoresistance in a chiral soliton lattice

abstract: Monoaxial chiral magnets can form a peculiar noncollinear spin structure called the chiral soliton lattice in an applied magnetic field perpendicular to the helical axis. We study magnetic properties and electrical transport in the chiral soliton lattice by a Monte Carlo simulation for a one-dimensional Kondo lattice model including the Dzyaloshinskii-Moriya interaction between classical localized spins. We show that the model exhibits a helical spin structure at a zero magnetic field, which turns into the chiral soliton lattice, and finally, to a forced ferromagnetic state with increasing the external magnetic field. In the chiral soliton lattice state, we find negative magnetoresistance proportional to the number of solitons at low temperature, which corroborates the spin scattering of electrons by chiral solitons. We also discuss the temperature and magnetic field dependence of the spin structure factor and electrical resistivity, in comparison with experiments for CrNb$_{3}$S$_{6}$.


title: On The Waiting Time for A M/M/1 Queue with Impatience

abstract: This paper focuses on the problem of modeling the correspondence pattern for ordinary people. Suppose that letters arrive at a rate $\lambda$ and are answered at a rate $\mu$. Furthermore, we assume that, for a constant $T$, a letter is disregarded when its waiting time exceeds $T$, and the remains are answered in {\it last in first out} order. Let $W_n$ be the waiting time of the $n$-th {\it answered} letter. It is proved that $W_n$ converges weekly to $W_T$, a non-negative random variable which possesses a density with {\it power-law} tail when $\lambda=\mu$ and with exponential tail otherwise. Note that this may provide a reasonable explanation to the phenomenons reported by Oliveira and Barab\'asi in \cite{OB}.


title: The one step fermionic ladder

abstract: The one step fermionic ladder refers to two parallel Luttinger Liquids (poles of the ladder) placed such that there is a finite probability of electrons hopping between the two poles at a pair of opposing points along each of the poles. The many-body Green function for such a system is calculated in presence of forward scattering interactions using the powerful non-chiral bosonization technique (NCBT). This technique is based on a non-standard harmonic analysis of the rapidly varying parts of the density fields appropriate for the study of strongly inhomogeneous ladder systems. The closed analytical expression for the correlation function obtained from NCBT is nothing but the series involving the RPA (Random Phase Approximation) diagrams in powers of the forward scattering coupling strength resummed to include only the most singular terms with the source of inhomogeneities treated exactly. Finally the correlation functions are used to study physical phenomena such as Friedel oscillations and the conductance of such systems with the potential difference applied across various ends.


title: Many-particle limits and non-convergence of dislocation wall pile-ups

abstract: The starting point of our analysis is a class of one-dimensional interacting particle systems with two species. The particles are confined to an interval and exert a nonlocal, repelling force on each other, resulting in a nontrivial equilibrium configuration. This class of particle systems covers the setting of pile-ups of dislocation walls, which is an idealised setup for studying the microscopic origin of several dislocation density models in the literature. Such density models are used to construct constitutive relations in plasticity models. Our aim is to pass to the many-particle limit. The main challenge is the combination of the nonlocal nature of the interactions, the singularity of the interaction potential between particles of the same type, the non-convexity of the the interaction potential between particles of the opposite type, and the interplay between the length-scale of the domain with the length-scale $\ell_n$ of the decay of the interaction potential. Our main results are the $\Gamma$-convergence of the energy of the particle positions, the evolutionary convergence of the related gradient flows for $\ell_n$ sufficiently large, and the non-convergence of the gradient flows for $\ell_n$ sufficiently small.


title: Electronic structure and magnetic properties of magnetically dead layers in epitaxial CoFe2O4/Al2O3/Si(111) films studied by X-ray magnetic circular dichroism

abstract: Epitaxial CoFe2O4/Al2O3 bilayers are expected to be highly efficient spin injectors into Si owing to the spin filter effect of CoFe2O4. To exploit the full potential of this system, understanding the microscopic origin of magnetically dead layers at the CoFe2O4/Al2O3 interface is necessary. In this paper, we study the crystallographic and electronic structures and the magnetic properties of CoFe2O4(111) layers with various thicknesses (thickness d = 1.4, 2.3, 4, and 11 nm) in the epitaxial CoFe2O4(111)/Al2O3(111)/Si(111) structures using soft X-ray absorption spectroscopy (XAS) and X-ray magnetic circular dichroism (XMCD) combined with cluster-model calculation. The magnetization of CoFe2O4 measured by XMCD gradually decreases with decreasing thickness d and finally a magnetically dead layer is clearly detected at d = 1.4 nm. The magnetically dead layer has frustration of magnetic interactions which is revealed from comparison between the magnetizations at 300 and 6 K. From analysis using configuration-interaction cluster-model calculation, the decrease of d leads to a decrease in the inverse-to-normal spinel structure ratio and also a decrease in the average valence of Fe at the octahedral sites. These results strongly indicate that the magnetically dead layer at the CoFe2O4/Al2O3 interface originates from various complex networks of superexchange interactions through the change in the crystallographic and electronic structures. Furthermore, from comparison of the magnetic properties between d = 1.4 and 2.3 nm, it is found that ferrimagnetic order of the magnetically dead layer at d = 1.4 nm is restored by the additional growth of the 0.9-nm-thick CoFe2O4 layer on it.


title: Effect of alignment on polarized infrared emission from polycyclic aromatic hydrocarbons

abstract: Polarized emission from polycyclic aromatic hydrocarbons (PAHs) potentially provides a new way to test basic physics of the alignment of ultrasmall grains. In this paper, we present a new model of polarized PAH emission that takes into account the effect of PAH alignment with the magnetic field. We first generate a large sample of the grain angular momentum $\bf J$ by simulating the alignment of PAHs due to resonance paramagnetic relaxation that accounts for various interaction processes. We then calculate the polarization level of PAH emission features, for the different phases of the ISM, including the cold neutral medium (CNM), reflection nebulae (RN), and photodissociation regions (PDRs). We find that a moderate degree of PAH alignment can significantly enhance the polarization degree of PAH emission compared to the previous results obtained with randomly oriented $\bf J$. In particular, we find that smallest, negatively charged PAHs in RN can be excited to slightly suprathermal rotation due to enhanced ion collisional excitation, resulting in an increase of the polarization with the ionization fraction. Our results suggest that RN is the most favorable environment to observe polarized PAH emission and to test alignment physics of nanoparticles. Finally, we present an explicit relationship between the polarization level of PAH emission and the degree of external alignment for the CNM and RN. The obtained relationship will be particularly useful for testing alignment physics of PAHs by future observations.


title: An approach to QCD perturbative and non-perturbative beta functions

abstract: Using the global properties of the QCD partition function we determine an all order perturbative beta function in the background gauge field method to find out that it has a simple expressions whose properties and consequences align with other recent results in the QCD literature. We further compute the non-perturbative beta functions for the coupling constant and the theta angle in the background of an instanton field with winding number $n$. We solve for the theta angle in the non-perturbative region to determine that it is approximately zero. By extrapolating to the full QCD beta functions our result may constitute a solution to the strong CP problem.


title: Topological phase transitions in an inverted InAs/GaSb quantum well driven by tilted magnetic fields

abstract: The helical edge states in a quantum spin Hall insulator are presumably protected by time- reversal symmetry. However, even in the presence of magnetic field which breaks time-reversal symmetry, the helical edge conduction can still exist, dubbed as pseudo quantum spin Hall effect. In this work, the effects of the magnetic fields on the pseudo quantum spin Hall effect and the phase transitions are studied. We show that an in-plane magnetic field drives a pseudo quantum spin Hall state to metallic state at a high field. Moreover, at a fixed in-plane magnetic field, an increasing out-of-plane magnetic field leads to a reentrance of pseudo quantum spin Hall state in an inverted InAs/GaSb quantum well. The edge state probability distribution and Chern numbers are calculated to verify that the reentrant states are topologically nontrivial. The origin of the reentrant behavior is attributed to the nonmonotonic bending of Landau levels and the Landau level mixing caused by the orbital effect induced by the in-plane magnetic field. The robustness to disorder is demonstrated by the numerically calculated quantized conductance for disordered nanowires within Landauer-B\"uttiker formalism.


title: Action Representation Using Classifier Decision Boundaries

abstract: Most popular deep learning based models for action recognition are designed to generate separate predictions within their short temporal windows, which are often aggregated by heuristic means to assign an action label to the full video segment. Given that not all frames from a video characterize the underlying action, pooling schemes that impose equal importance to all frames might be unfavorable. In an attempt towards tackling this challenge, we propose a novel pooling scheme, dubbed SVM pooling, based on the notion that among the bag of features generated by a CNN on all temporal windows, there is at least one feature that characterizes the action. To this end, we learn a decision hyperplane that separates this unknown yet useful feature from the rest. Applying multiple instance learning in an SVM setup, we use the parameters of this separating hyperplane as a descriptor for the video. Since these parameters are directly related to the support vectors in a max-margin framework, they serve as robust representations for pooling of the CNN features. We devise a joint optimization objective and an efficient solver that learns these hyperplanes per video and the corresponding action classifiers over the hyperplanes. Showcased experiments on the standard HMDB and UCF101 datasets demonstrate state-of-the-art performance.


title: $L_p+L_\infty$ and $L_p\cap L_\infty$ are not isomorphic for all $1\le p<\infty,$ $p\ne 2$

abstract: Isomorphic classification of symmetric spaces is an important problem related to the study of symmetric structures in arbitrary Banach spaces. This research was initiated in the seminal work of Johnson, Maurey, Schechtman and Tzafriri (JMST, 1979). Somewhat later it was extended by Kalton to lattice structures (1993). In particular, in JMST (see also Lindenstrauss-Tzafriri book [1979, Section 2.f]) it was shown that the space $L_2 \cap L_p$ for $2 \leq p < \infty$ (resp. $L_2+L_p$ for $1 < p \leq 2$) is isomorphic to $L_p$. A detailed investigation of various properties of separable sums and intersections of $L_p$-spaces (i.e., with $p<\infty$) was undertaken by Dilworth in the papers from 1988 and 1990. In contrast to that, we focus here on the problem if the nonseparable spaces $L_p +L_{\infty}$ and $L_p \cap L_{\infty}$, $1\le p<\infty$, are isomorphic or not. We prove that these spaces are not isomorphic if $1 \leq p < \infty$, $p \neq 2$. It comes as a consequence of the fact that the space $L_p \cap L_{\infty}$, $1\le p<\infty$, $p\ne 2$, does not contain a complemented subspace isomorphic to $L_p$. In particular, as a subproduct, we show that $L_p \cap L_{\infty}$ contains a complemented subspace isomorphic to $l_2$ if and only if $p = 2$. The problem if $L_2 +L_{\infty}$ and $L_2 \cap L_{\infty}$ are isomorphic or not remains open.


title: Vertical Distribution and Kinematics of Planetary Nebulae in the Milky Way

abstract: Based on published data, we have produced a sample of planetary nebulae (PNe) that is complete within 2 kpc of the Sun. We have estimated the total number of PNe in the Galaxy from this sample to be 17000+/-3000 and determined the vertical scale height of the thin disk based on an exponential density distribution to be 197+/-10 pc. The next sample includes PNe from the Stanghellini-Haywood catalog with minor additions. For this purpose, we have used about 200 PNe with Peimbert's types I, II, and III. In this case, we have obtained a considerably higher value of the vertical scale height that increases noticeably with sample radius. We have experimentally found that it is necessary to reduce the distance scale of this catalog approximately by 20%. Then, for example, for PNe with heliocentric distances less than 4 kpc the vertical scale height is 256+/-12 kpc. A kinematic analysis has confirmed the necessity of such a reduction of the distance scale.


title: Beyond triplet loss: a deep quadruplet network for person re-identification

abstract: Person re-identification (ReID) is an important task in wide area video surveillance which focuses on identifying people across different cameras. Recently, deep learning networks with a triplet loss become a common framework for person ReID. However, the triplet loss pays main attentions on obtaining correct orders on the training set. It still suffers from a weaker generalization capability from the training set to the testing set, thus resulting in inferior performance. In this paper, we design a quadruplet loss, which can lead to the model output with a larger inter-class variation and a smaller intra-class variation compared to the triplet loss. As a result, our model has a better generalization ability and can achieve a higher performance on the testing set. In particular, a quadruplet deep network using a margin-based online hard negative mining is proposed based on the quadruplet loss for the person ReID. In extensive experiments, the proposed network outperforms most of the state-of-the-art algorithms on representative datasets which clearly demonstrates the effectiveness of our proposed method.


title: Theory update on the inlcusive determination of $|V_{cb}|$

abstract: In this talk I update the precision determination of the CKM element $|V_{cb}|$ from the inclusive decay $B\to X_c\ell\nu_{\ell}$.


title: Quantitative Polarimetry: A Unified Model of Dust Grain Alignment by Magnetic Radiative Torques

abstract: Polarization of optical starlight and far-infrared thermal dust emission due to alignment of interstellar grains offers a powerful window to study magnetic fields in the various astrophysical environments, from the diffuse interstellar medium to accretion disks surrounding young stars. Precision cosmology requires accurate model of Galactic dust polarization for the first detection of Cosmic Microwave Background (CMB) B-modes signal. Such an accurate model is only achieved when a quantitative theory of grain alignment that links grain alignment efficiency with local physical conditions and dust properties is developed and tested. In this paper, we review the successful development of such a quantitative alignment theory, focusing on a unified model of grain alignment based on radiative torques and magnetic relaxation for dust grains incorporated with iron inclusions. We discuss the implication of the unified alignment model for interpreting the latest observational results by Planck and ALMA.


title: On the equivalence between multiclass processor sharing and random order scheduling policies

abstract: Consider a single server system serving a multiclass population. Some popular scheduling policies for such system are the discriminatory processor sharing (DPS), discriminatory random order service (DROS), generalized processor sharing (GPS) and weighted fair queueing (WFQ). In this paper, we propose two classes of policies, namely MPS (multiclass processor sharing) and MROS (multiclass random order service), that generalize the four policies mentioned above. For the special case when the multiclass population arrive according to Poisson processes and have independent and exponential service requirement with parameter $\mu$, we show that the tail of the sojourn time distribution for a class $i$ customer in a system with the MPS policy is a constant multiple of the tail of the waiting time distribution of a class $i$ customer in a system with the MROS policy. This result implies that for a class $i$ customer, the tail of the sojourn time distribution in a system with the DPS (GPS) scheduling policy is a constant multiple of the tail of the waiting time distribution in a system with the DROS (respectively WFQ) policy.


title: Thermoelectric power factor of Bi-Sb-Te and Bi-Te-Se alloys and doping strategy: First-principles study

abstract: By performing first principles calculations combined with Boltzmann transport equations, we calculate the thermoelectric power factor (PF) of Bi-Sb-Te and Bi-Te-Se ternary alloys as a function of alloy composition ratio, carrier concentration, and temperature. The point defect formation energy calculations also perform to search potential n-type dopant candidates in ternaries.


title: MOA-2016-BLG-227Lb: A Massive Planet Characterized by Combining Lightcurve Analysis and Keck AO Imaging

abstract: We report the discovery of a microlensing planet --- MOA-2016-BLG-227Lb --- with a large planet/host mass ratio of $q \simeq 9 \times 10^{-3}$. This event was located near the $K2$ Campaign 9 field that was observed by a large number of telescopes. As a result, the event was in the microlensing survey area of a number of these telescopes, and this enabled good coverage of the planetary light curve signal. High angular resolution adaptive optics images from the Keck telescope reveal excess flux at the position of the source above the flux of the source star, as indicated by the light curve model. This excess flux could be due to the lens star, but it could also be due to a companion to the source or lens star, or even an unrelated star. We consider all these possibilities in a Bayesian analysis in the context of a standard Galactic model. Our analysis indicates that it is unlikely that a large fraction of the excess flux comes from the lens, unless solar type stars are much more likely to host planets of this mass ratio than lower mass stars. We recommend that a method similar to the one developed in this paper be used for other events with high angular resolution follow-up observations when the follow-up observations are insufficient to measure the lens-source relative proper motion.


title: On equivariant formal deformation theory

abstract: Using the set-up of deformation categories of Talpo and Vistoli, we re-interpret and generalize, in the context of cartesian morphisms in abstract categories, some results of Rim concerning obstructions against extensions of group actions in infinitesimal deformations. Furthermore, we observe that finite \'etale coverings can be infinitesimally extended and the resulting formal scheme is algebraizable. Finally, we show that pre-Tango structures survive under pullbacks with respect to finite, generically \'etale surjections $\pi:X\rightarrow Y$, and record some consequences regarding Kodaira vanishing in degree one.


title: On bounding exact models of epidemic spread on networks

abstract: In this paper we use comparison theorems from classical ODE theory in order to rigorously show that the N-Intertwined Mean-Field Approximation (NIMFA) model provides an upper estimate on the exact stochastic process. The proof of the results relies on the observation that the epidemic process is negatively correlated (in the sense that the probability of an edge being in the susceptible-infected state is smaller than the product of the probabilities of the nodes being in the susceptible and infected states, respectively), which we also prove rigorously. The results in the paper hold for arbitrary weighted and directed networks. We cast the results in a more general framework where alternative closures, other than that assuming the independence of nodes connected by an edge, are possible and provide a succinct summary of the stability analysis of the resulting more general mean-field models.


title: Spin-valley half-metal as a prospective material for spin-valley-tronics

abstract: Half-metallicity (full spin polarization of the Fermi surface) usually occurs in strongly correlated electron systems. We demonstrate that doping a spin-density wave insulator in the weak-coupling regime may also stabilize half-metallic states. The undoped spin-density wave is formed by four nested bands [i.e., each band is characterized by charge (electron/hole) and spin (up/down) labels]. Of these four bands only two accumulate the doped carriers, forming a half-metallic two-valley Fermi surface. Depending on parameters, the spin polarizations of the electron-like and hole-like valleys may be (i) parallel or (ii) antiparallel. The Fermi surface of (i) is fully spin-polarized (similar to usual half-metals). Case (ii), referred to as "a spin-valley half-metal", corresponds to complete polarization with respect to the spin-valley operator. The properties of these states are discussed.


title: Global Phase Diagram of Disordered Type-II Weyl Semimetals

abstract: With electron and hole pockets touching at the Weyl node, type-II Weyl semimetal is a newly proposed topological state distinct from its type-I cousin. We numerically study the localization effect for tilted type-I as well as type-II Weyl semimetals and give the global phase diagram. For dis- ordered type-I Weyl semimetal, an intermediate three-dimensional quantum anomalous Hall phase is confirmed between Weyl semimetal phase and diffusive metal phase. However, this intermediate phase is absent for disordered type-II Weyl semimetal. Besides, near the Weyl nodes, comparing to its type-I cousin, type-II Weyl semimetal possesses even larger ratio between the transport lifetime along the direction of tilt and the quantum lifetime. Near the phase boundary between the type-I and the type-II Weyl semimetals, infinitesimal disorder will induce an insulating phase so that in this region, the concept of Weyl semimetal is meaningless for real materials.


title: The number of quartic $D_4$-fields ordered by conductor

abstract: We consider families of number fields of degree 4 whose normal closures over $\mathbb{Q}$ have Galois group isomorphic to $D_4$, the symmetries of a square. To any such field $L$, one can associate the Artin conductor of the corresponding 2-dimensional irreducible Galois representation with image $D_4$. We determine the asymptotic number of such quartic $D_4$-fields ordered by conductor, and compute the leading term explicitly as a mass formula, verifying heuristics of Kedlaya and Wood. Additionally, we are able to impose any local splitting conditions at any finite number of primes (sometimes, at an infinite number of primes), and as a consequence, we also compute the asymptotic number of order 4 elements in class groups and narrow class groups of quadratic fields ordered by discriminant. Traditionally, there have been two approaches to counting quartic fields, using arithmetic invariant theory in combination with geometry-of-number techniques, and applying Kummer theory together with L-function methods. Both of these strategies fall short in the case of $D_4$-fields ordered by conductor since counting quartic fields containing a quadratic subfield with large discriminant is difficult. However, when ordering by conductor, we utilize additional algebraic structure arising from the outer automorphism of $D_4$ combined with both approaches mentioned above to obtain exact asymptotics.


title: Quasimap SYZ for toric Calabi-Yau manifolds

abstract: In this note, we study the SYZ mirror construction for a toric Calabi-Yau manifold using instanton corrections coming from Woodward's quasimap Floer theory instead of Fukaya-Oh-Ohta-Ono's Lagrangian Floer theory. We show that the resulting SYZ mirror coincides with the one written down via physical means (as expected).


title: Origin of Temperature Gradient in Nonequilibrium Steady States in Weakly Coupled Quantum Spin Systems

abstract: We study nonequilibrium steady states (NESSs) in quantum spin-1/2 chains in contact with two heat baths at different temperatures. We consider the weak-coupling limit both for spin-spin coupling in the system and for system-bath coupling. This setting allows us to treat NESSs with a nonzero temperature gradient analytically. We develop a perturbation theory for this weak-coupling situation and show a simple condition for the existence of nonzero temperature gradient. This condition is independent of the integrability of the system.


title: A Mathematically Sensible Explanation of the Concept of Statistical Population

abstract: In statistics education, the concept of population is widely felt hard to grasp, as a result of vague explanations in textbooks. Some textbook authors therefore chose not to mention it. This paper offers a new explanation by proposing a new theoretical framework of population and sampling, which aims to achieve high mathematical sensibleness. In the explanation, the term population is given clear definition, and the relationship between simple random sampling and iid random variables are examined mathematically.


title: A stochastic molecular scheme for an artificial cell to infer its environment from partial observations

abstract: The notion of entropy is shared between statistics and thermodynamics, and is fundamental to both disciplines. This makes statistical problems particularly suitable for reaction network implementations. In this paper we show how to perform a statistical operation known as Information Projection or E projection with stochastic mass-action kinetics. Our scheme encodes desired conditional distributions as the equilibrium distributions of reaction systems. To our knowledge this is a first scheme to exploit the inherent stochasticity of reaction networks for information processing. We apply this to the problem of an artificial cell trying to infer its environment from partial observations.

categories: q-bio.MN cond-mat.stat-mech cs.IT math.IT nlin.AO physics.bio-ph


title: Differential graded algebras over some reductive group

abstract: We study the general properties of commutative differential graded algebras in the category of representations over a reductive algebraic group with an injective central cocharacter. Besides describing the derived category of differential graded modules over such an algebra, we also provide a criterion for the existence of a t-structure on the derived category together with a characterization of the coordinate ring of the Tannakian fundamental group of its heart.


title: Modular curves, invariant theory and $E_8$

abstract: The $E_8$ root lattice can be constructed from the modular curve $X(13)$ by the invariant theory for the simple group $\text{PSL}(2, 13)$. This gives a different construction of the $E_8$ root lattice. It also gives an explicit construction of the modular curve $X(13)$.


title: Generalized Satisfiability Problems via Operator Assignments

abstract: Schaefer introduced a framework for generalized satisfiability problems on the Boolean domain and characterized the computational complexity of such problems. We investigate an algebraization of Schaefer's framework in which the Fourier transform is used to represent constraints by multilinear polynomials in a unique way. The polynomial representation of constraints gives rise to a relaxation of the notion of satisfiability in which the values to variables are linear operators on some Hilbert space. For the case of constraints given by a system of linear equations over the two-element field, this relaxation has received considerable attention in the foundations of quantum mechanics, where such constructions as the Mermin-Peres magic square show that there are systems that have no solutions in the Boolean domain, but have solutions via operator assignments on some finite-dimensional Hilbert space. We obtain a complete characterization of the classes of Boolean relations for which there is a gap between satisfiability in the Boolean domain and the relaxation of satisfiability via operator assignments. To establish our main result, we adapt the notion of primitive-positive definability (pp-definability) to our setting, a notion that has been used extensively in the study of constraint satisfaction problems. Here, we show that pp-definability gives rise to gadget reductions that preserve satisfiability gaps. We also present several additional applications of this method. In particular and perhaps surprisingly, we show that the relaxed notion of pp-definability in which the quantified variables are allowed to range over operator assignments gives no additional expressive power in defining Boolean relations.


title: Phase Behavior of Aqueous Suspension of Laponite: New Insights with Microscopic Evidence

abstract: Investigating microstructure of suspensions with particles having anisotropic shape that share complex interactions is a challenging task leading to competing claims. This work investigates phase behavior of one such system: aqueous Laponite suspension, which is highly contested in the literature, using rheological and microscopic tools. Remarkably, we observe that over a broad range of Laponite (1.4 to 4 weight %) and salt concentrations (0 to 7 mM), the system overwhelmingly demonstrates all the rheological characteristics of the sol-gel transition leading to a percolated network. Analysis of the rheological response leads to fractal dimension that primarily depends on the Laponite concentration. We also obtain the activation energy for gelation, which is observed to decrease with increase in Laponite as well as salt concentration. Significantly, the cryo-TEM images of the post-gel state clearly show presence of a percolated network formed by inter-particle bonds. The present work therefore conclusively establishes the system to be in an attractive gel state resolving a long-standing debate in the literature.


title: A coprimality condition on consecutive values of polynomials

abstract: Let $f\in\mathbb{Z}[X]$ be quadratic or cubic polynomial. We prove that there exists an integer $G_f\geq 2$ such that for every integer $k\geq G_f$ one can find infinitely many integers $n\geq 0$ with the property that none of $f(n+1),f(n+2),\dots,f(n+k)$ is coprime to all the others. This extends previous results on linear polynomials and, in particular, on consecutive integers.


title: Heat fluctuations of Brownian oscillators in nonstationary processes: fluctuation theorem and condensation transition

abstract: We study analytically the probability distribution of the heat released by an ensemble of harmonic oscillators to the thermal bath, in the nonequilibrium relaxation process following a temperature quench. We focus on the asymmetry properties of the heat distribution in the nonstationary dynamics, in order to study the forms taken by the Fluctuation Theorem as the number of degrees of freedom is varied. After analysing in great detail the cases of one and two oscillators, we consider the limit of a large number of oscillators, where the behavior of fluctuations is enriched by a condensation transition with a nontrivial phase diagram, characterized by reentrant behavior. Numerical simulations confirm our analytical findings. We also discuss and highlight how concepts borrowed from the study of fluctuations in equilibrium under symmetry breaking conditions [Gaspard, J. Stat. Mech. P08021 (2012)] turn out to be quite useful in understanding the deviations from the standard Fluctuation Theorem.


title: Object-Part Attention Model for Fine-grained Image Classification

abstract: Fine-grained image classification is to recognize hundreds of subcategories belonging to the same basic-level category, such as 200 subcategories belonging to the bird, which is highly challenging due to large variance in the same subcategory and small variance among different subcategories. Existing methods generally first locate the objects or parts and then discriminate which subcategory the image belongs to. However, they mainly have two limitations: (1) Relying on object or part annotations which are heavily labor consuming. (2) Ignoring the spatial relationships between the object and its parts as well as among these parts, both of which are significantly helpful for finding discriminative parts. Therefore, this paper proposes the object-part attention model (OPAM) for weakly supervised fine-grained image classification, and the main novelties are: (1) Object-part attention model integrates two level attentions: object-level attention localizes objects of images, and part-level attention selects discriminative parts of object. Both are jointly employed to learn multi-view and multi-scale features to enhance their mutual promotions. (2) Object-part spatial constraint model combines two spatial constraints: object spatial constraint ensures selected parts highly representative, and part spatial constraint eliminates redundancy and enhances discrimination of selected parts. Both are jointly employed to exploit the subtle and local differences for distinguishing the subcategories. Importantly, neither object nor part annotations are used in our proposed approach, which avoids the heavy labor consumption of labeling. Comparing with more than 10 state-of-the-art methods on 4 widely-used datasets, our OPAM approach achieves the best performance.


title: A critical study of the elastic properties and stability of Heusler compounds: Phase change and tetragonal $X_{2}YZ$ compounds

abstract: In the present work, the elastic constants and derived properties of tetragonal and cubic Heusler compounds were calculated using the high accuracy of the full-potential linearized augmented plane wave (FPLAPW). To find the criteria required for an accurate calculation, the consequences of increasing the numbers of $k$-points and plane waves on the convergence of the calculated elastic constants were explored. Once accurate elastic constants were calculated, elastic anisotropies, sound velocities, Debye temperatures, malleability, and other measurable physical properties were determined for the studied systems. The elastic properties suggested metallic bonding with intermediate malleability, between brittle and ductile, for the studied Heusler compounds. To address the effect of off-stoichiometry on the mechanical properties, the virtual crystal approximation (VCA) was used to calculate the elastic constants. The results indicated that an extreme correlation exists between the anisotropy ratio and the stoichiometry of the Heusler compounds, especially in the case of Ni$_{2}$MnGa.