title: Learning from Multi-View Multi-Way Data via Structural Factorization Machines

abstract: Real-world relations among entities can often be observed and determined by different perspectives/views. For example, the decision made by a user on whether to adopt an item relies on multiple aspects such as the contextual information of the decision, the item's attributes, the user's profile and the reviews given by other users. Different views may exhibit multi-way interactions among entities and provide complementary information. In this paper, we introduce a multi-tensor-based approach that can preserve the underlying structure of multi-view data in a generic predictive model. Specifically, we propose structural factorization machines (SFMs) that learn the common latent spaces shared by multi-view tensors and automatically adjust the importance of each view in the predictive model. Furthermore, the complexity of SFMs is linear in the number of parameters, which make SFMs suitable to large-scale problems. Extensive experiments on real-world datasets demonstrate that the proposed SFMs outperform several state-of-the-art methods in terms of prediction accuracy and computational cost.


title: Cubine, a superconducting 2-dimensional copper-bismuth nano sheet

abstract: We report on the discovery of a 2-dimensional copper-bismuth nano sheet from \textit{ab initio} calculations, which we call cubine. According to our predictions, single layers of cubine can be isolated from the recently reported high-pressure CuBi bulk material (metastable at ambient conditions) at an energetic cost of merely $\approx 20$~meV/\AA$^2$, comparable to separating single layers of graphene from graphite. Our calculations suggest that cubine has remarkable electronic and electrochemical properties: It is a superconductor with a moderate electron-phonon coupling $\lambda=0.5$, leading to a $T_c$ of $\approx1$~K, and can be readily intercalated with lithium with a high diffusibility, rendering it a promising candidate material as an anode in lithium-ion batteries.


title: Semantically Consistent Regularization for Zero-Shot Recognition

abstract: The role of semantics in zero-shot learning is considered. The effectiveness of previous approaches is analyzed according to the form of supervision provided. While some learn semantics independently, others only supervise the semantic subspace explained by training classes. Thus, the former is able to constrain the whole space but lacks the ability to model semantic correlations. The latter addresses this issue but leaves part of the semantic space unsupervised. This complementarity is exploited in a new convolutional neural network (CNN) framework, which proposes the use of semantics as constraints for recognition.Although a CNN trained for classification has no transfer ability, this can be encouraged by learning an hidden semantic layer together with a semantic code for classification. Two forms of semantic constraints are then introduced. The first is a loss-based regularizer that introduces a generalization constraint on each semantic predictor. The second is a codeword regularizer that favors semantic-to-class mappings consistent with prior semantic knowledge while allowing these to be learned from data. Significant improvements over the state-of-the-art are achieved on several datasets.


title: Einstein static universe, GUP, and natural IR and UV cut-offs

abstract: We study the Einstein static universe in the framework of Generalized Uncertainty Principle constructed by the Snyder non-commutative space. It is shown that the deformation parameter can induce an effective energy density subject to GUP which obeys the holographic principle (HP) and plays the role of a cosmological constant. Using the holographic feature of this effective energy density, we introduce natural IR and UV cut-offs which depend on the GUP based effective equation of state. Moreover, we propose a solution to the cosmological constant problem. This solution is based on the result that the Einstein equations just couple to the tiny holographic based surface energy density (cosmological constant) induced by the deformation parameter, rather than the large quantum gravitational based volume energy density (vacuum energy) having contributions of order $M_P^4$.


title: Driven quantum dynamics: will it blend?

abstract: Randomness is an essential tool in many disciplines of modern sciences, such as cryptography, black hole physics, random matrix theory and Monte Carlo sampling. In quantum systems, random operations can be obtained via random circuits thanks to so-called q-designs, and play a central role in the fast scrambling conjecture for black holes. Here we consider a more physically motivated way of generating random evolutions by exploiting the many-body dynamics of a quantum system driven with stochastic external pulses. We combine techniques from quantum control, open quantum systems and exactly solvable models (via the Bethe-Ansatz) to generate Haar-uniform random operations in driven many-body systems. We show that any fully controllable system converges to a unitary q-design in the long-time limit. Moreover, we study the convergence time of a driven spin chain by mapping its random evolution into a semigroup with an integrable Liouvillean and finding its gap. Remarkably, we find via Bethe-Ansatz techniques that the gap is independent of q. We use mean-field techniques to argue that this property may be typical for other controllable systems, although we explicitly construct counter-examples via symmetry breaking arguments to show that this is not always the case. Our findings open up new physical methods to transform classical randomness into quantum randomness, via a combination of quantum many-body dynamics and random driving.


title: Harmonic analysis in phase space and finite Weyl-Heisenberg ensembles

abstract: Weyl-Heisenberg ensembles are translation-invariant determinantal point processes on $\mathbb{R}^{2d}$ associated with the Schr\"odinger representation of the Heisenberg group, and include as examples the Ginibre ensemble and the polyanalytic ensembles, which model the higher Landau levels in physics. We introduce finite versions of the Weyl-Heisenberg ensembles and show that they behave analogously to the finite Ginibre ensembles. More specifically, guided by the observation that the Ginibre ensemble with $N$ points is asymptotically close to the restriction of the infinite Ginibre ensemble to the disk of area $N$, we define finite WH ensembles as adequate finite approximations of the restriction of infinite WH ensembles to a given domain $\Omega$. We provide a precise rate for the convergence of the corresponding one-point intensities to the indicator function of $\Omega$, as $\Omega$ is dilated and the process is rescaled proportionally (thermodynamic regime). The construction and analysis rely neither on explicit formulas nor on the asymptotics for orthogonal polynomials, but rather on phase-space methods. Second, we apply our construction to study the pure finite Ginibre-type polyanalytic ensembles, which model finite particle systems in a single Landau level, and are defined in terms of complex Hermite polynomials. On a technical level, we show that finite WH ensembles provide an approximate model for finite polyanalytic Ginibre ensembles, and we quantify the corresponding deviation. By means of this asymptotic description, we derive estimates for the rate of convergence of the one-point intensity of polyanalytic Ginibre ensembles in the thermodynamic limit.


title: Quantum radiation from an evaporating non-singular black hole

abstract: In this paper we study quantum radiation from an evaporating spherically symmetric non-singular black hole. We used a modified Hayward metric for a description of a non-singular black hole. We assume that the mass parameter of this metric depends on the advanced time, and choose this dependence so that it properly reproduces both black hole formation and its subsequent evaporation. We consider a quantum massless scalar field propagating in this geometry and use 2D approximation for the calculation of the quantum average of the stress-energy tensor. For the calculation of this quantity it is sufficient to find a map between the Killing times $u_+$ and $u_-$ at the future and past null infinities, established by the propagation of the radial null rays. In this formalism the quantum energy flux at the future null infinity can be expressed in terms of the function $u_+(u_-)$ and its derivatives. We developed a special formalism, which allows one to reduce the problem of the calculation of the quantum energy flux and other observables to a solution of a simple set of ordinary differential equations. We used this approach to study quantum effects in two cases: i) with the trivial, $\alpha=1$ and ii) the non-trivial, $\alpha\ne1$, redshift function. In both cases there exists an outburst of the quantum energy radiation from the inner domain of the black hole, close to the inner part of its apparent horizon. For $\alpha=1$ this outburst is exponentially large. It is a direct consequence of the so-called mass inflation effect. We showed, that this severe problem can be solved by a proper choice of the redshift function. However, even in this case the emitted energy can be much larger than the initial mass of the evaporating black hole. This means that for a construction of a self-consistent model of a non-singular evaporating black hole the back-reaction effects are highly important.


title: Zeno chattering of rigid bodies with multiple point contacts

abstract: Ideally rigid objects establish sustained contact with one another via complete chatter (a.k.a. Zeno behavior), i.e. an infinite sequence of collisions accumulating in finite time. Alternatively, such systems may also exhibit a finite sequence of collisions followed by separation (sometimes called incomplete chatter). Earlier works concerning the chattering of slender rods in two dimensions determined the exact range of model parameters, where complete chatter is possible. We revisit and slightly extend these results. Then the bulk of the paper examines the chattering of three-dimensional objects with multiple points hitting an immobile plane almost simultaneously. In contrast to rods, the motion of these systems is complex, nonlinear, and sensitive to initial conditions and model parameters due to the possibility of various impact sequences. These difficulties explain why we model this phenomenon as a nondeterministic discrete dynamical system. We simplify the analysis by assuming linearized kinematics, frictionless interaction, by neglecting the effect of external forces, and by investigating objects with rotational symmetry. Application and extension of the theory of common invariant cones of multiple linear operators enable us to find sufficient conditions of the existence of initial conditions, which give rise to complete chatter. Additional analytical and numerical investigations predict that our sufficient conditions are indeed exact, moreover solving a simple eigenvalue problem appears to be enough to judge the possibility of complete chatter. \keywords{contact dynamics \and chattering \and Zeno behavior \and common invariant cone


title: Josephson Flux Flow Oscillator: the Microscopic Tunneling Approach

abstract: We elaborate a theoretical description of large Josephson junctions which is based on the Werthamer's microscopic tunneling theory. The model naturally incorporates coupling of electromagnetic radiation to the tunnel currents and, therefore, is particularly suitable for description of the self-coupling effect in Josephson junction. In our numerical calculations we treat the arising integro-differential equation, which describes temporal evolution of the superconducting phase difference coupled to the electromagnetic field, by the Odintsov-Semenov-Zorin algorithm. This allows us to avoid evaluation of the time integrals at each time step while taking into account all the memory effects. To validate the obtained microscopic model of large Josephson junction we focus our attention on the Josephson flux flow oscillator. The proposed microscopic model of flux flow oscillator does not involve the phenomenological damping parameter, rather, the damping is taken into account naturally in the tunnel current amplitudes calculated at a given temperature. The theoretically calculated current-voltage characteristics is compared to our experimental results obtained for a set of fabricated flux flow oscillators of different lengths. Our theoretical calculation agrees well with the obtained experimental results, and, to our knowledge, is the first where theoretical description of Josephson flux flow oscillator is brought beyond the perturbed sine-Gordon equation.


title: Measurement of the Shared Momentum Fraction $z_g$ using Jet Reconstruction in p+p and Au+Au Collisions with STAR

abstract: One key difference in current energy loss models lies in the treatment of the Altarelli-Parisi, AP, splitting functions. It has been shown that the shared momentum fraction, henceforth called Jet Splitting Function $z_g$ as determined by the SoftDrop grooming process can be made a Sudakov-safe measurement of the symmetrized AP functions in p+p collisions. The STAR collaboration presents the first z_g measurements at $\sqrt{s_{NN}}=200$ GeV in p+p and Au+Au collisions, where in Au+Au we use the specific di-jet selection introduced in our previous momentum imbalance measurement. For a jet resolution parameter of $R=0.4$, these di-jet pairs were found to be significantly imbalanced with respect to p+p, yet regained balance when all soft constituents were included. We find that within uncertainties there are no signs of a modified Jet Splitting Function on trigger or recoil sides of this di-jet selection.


title: Non-Abelian strings in N=1 supersymmetric QCD

abstract: Non-Abelian flux tubes (strings) are well studied in N=2 supersymmetric QCD in (3+1) dimensions. In addition to translational zero modes they have also orientational moduli associated with rotations of their fluxes inside a non-Abelian group. The dynamics of the orientational moduli is described by the two dimensional CP(N-1) model living on the world sheet of the non-Abelian string. In this paper we consider a deformation of N=2 supersymmetric QCD with the U(N) gauge group and N_f=N quark flavors with a mass term $\mu$ of the adjoint matter. In the limit of large $\mu$ the theory flows to an N=1 supersymmetric QCD. We study the solution for the non-Abelian string in this limit and derive an effective theory on the string world sheet. The bosonic sector of this theory is still given by the CP(N-1) model but its scale is exponentially small as compared to the scale of the four dimensional bulk theory in contrast to the N=2 case where these scales are equal. We study also the fermionic sector of the world sheet theory. Upon the deformation the non-Abelian string is no longer BPS and we show that the fermionic superorientational zero modes are all lifted. This leaves us with the pure bosonic CP(N-1) model on the string world sheet in the limit of N=1 QCD. We also discuss what happens to confined monopoles at large $\mu$.


title: Matching Media Contents with User Profiles by means of the Dempster-Shafer Theory

abstract: The media industry is increasingly personalizing the offering of contents in attempt to better target the audience. This requires to analyze the relationships that goes established between users and content they enjoy, looking at one side to the content characteristics and on the other to the user profile, in order to find the best match between the two. In this paper we suggest to build that relationship using the Dempster-Shafer's Theory of Evidence, proposing a reference model and illustrating its properties by means of a toy example. Finally we suggest possible applications of the model for tasks that are common in the modern media industry.


title: Security Analytics of Network Flow Data of IoT and Mobile Devices (Work-in-progress)

abstract: Given that security threats and privacy breaches are com- monplace today, it is an important problem for one to know whether their device(s) are in a "good state of security", or is there a set of high- risk vulnerabilities that need to be addressed. In this paper, we address this simple yet challenging problem. Instead of gaining white-box access to the device, which offers privacy and other system issues, we rely on network logs and events collected offine as well as in realtime. Our approach is to apply analytics and machine learning for network security analysis as well as analysis of the security of the overall device - apps, the OS and the data on the device. We propose techniques based on analytics in order to determine sensitivity of the device, vulnerability rank of apps and of the device, degree of compromise of apps and of the device, as well as how to define the state of security of the device based on these metrics. Such metrics can be used further in machine learning models in order to predict the users of the device of high risk states, and how to avoid such risks.


title: On O-Minimal Expansions of $(\mathbb{Q},<,+,0)$

abstract: Let $f:\mathbb{Q}\to \mathbb{Q}$ be a function definable in an o-minimal expansion of $(\mathbb{Q},<,+,0)$. We show that $f$ is eventually linear. In addition, we show that this holds in every elementary equivalent structure.


title: Analysis of a Sputtered Si Surface for Ar Sputter Gas Supply Purity Monitoring

abstract: For sputter depth profiling often sample erosion by Ar+ ions is used. Only a high purity of the sputter gas and a low contamination level of the ion gun avoids misleading depth profile measurements results. Here a new measurement procedure is presented, which monitors these parameters. A Si sample is sputtered inside the instrument and then the surface concentration of the elements Ar, C, N and O is measured. Results of such measurements of an XPS microprobe PHI Quantum 2000, which were recorded over a period of 10 years, are presented.


title: On volumes of quaternionic hyperbolic n-orbifolds

abstract: By use of H. C. Wang's bound on the radius of a ball embedded in the fundamental domain of a lattice of a semisimple Lie group, we construct an explicit lower bound for the volume of a quaternionic hyperbolic orbifold that depends only on dimension.


title: On transversality condition for overtaking optimality in infinite horizon control problem

abstract: In this paper we investigate necessary conditions of optimality for infinite-horizon optimal control problems with overtaking optimality as an optimality criterion. For the case of local Lipschitz continuity of the payoff function, we construct a boundary condition on the co-state arc that is necessary for the optimality. We also show that, under additional assumptions on the payoff function's asymptotic behavior, the Pontryagin Maximum Principle with this condition becomes a complete system of relations, and this boundary condition points out the unique co-state arc through a Cauchy-type formula. An example is given to clarify the application of this formula as an explicit expression of the co-state arc. The cornerstone of this paper is the theorem on convergence of subdifferentials.


title: Nonlinear consensus protocols with applications to quantized systems

abstract: This paper studies multi-agent systems with nonlinear consensus protocols, i.e., only nonlinear measurements of the states are available to agents. The solutions of these systems are understood in Filippov sense since the possible discontinuity of the nonlinear controllers. Under the condition that the nonlinear functions are monotonic increasing without any continuous constraints, asymptotic stability is derived for systems defines on both directed and undirected graphs. The results can be applied to quantized consensus which extend some existing results from undirected graphs to directed ones.


title: Horizon Detection and Higher Dimensional Black Rings

abstract: In this paper we study the stationary horizons of the rotating black ring and the supersymmetric black ring spacetimes in five dimensions. In the case of the rotating black ring we use Weyl aligned null directions to algebraically classify the Weyl tensor, and utilize an adapted Cartan algorithm in order to produce Cartan invariants. For the supersymmetric black ring we employ the discriminant approach and repeat the adapted Cartan algorithm. For both of these metrics we are able to construct Cartan invariants that detect the horizon alone, and which are easier to compute and analyse that scalar polynomial curvature invariants.


title: Patterned growth of crystalline Y$_{3}$Fe$_{5}$O$_{12}$ nanostructures with engineered magnetic shape anisotropy

abstract: We demonstrate patterned growth of epitaxial yttrium iron garnet (YIG) thin films using lithographically defined templates on gadolinium gallium garnet (GGG) substrates. The fabricated YIG nanostructures yield the desired crystallographic orientation, excellent surface morphology, and narrow ferromagnetic resonance (FMR) linewidth (~ 4 Oe). Shape-induced magnetic anisotropy is clearly observed in a patterned array of nanobars engineered to exhibit the larger coercivity (40 Oe) compared with that of continuous films. Both hysteresis loop and angle-dependent FMR spectra measurements indicate that the easy axis aligns along the longitudinal direction of the nanobars, with an effective anisotropy field of 195 Oe. Our work overcomes difficulties in patterning YIG thin films and provides an effective means to control their magnetic properties and magnetic bias conditions.


title: DRAW: Deep networks for Recognizing styles of Artists Who illustrate children's books

abstract: This paper is motivated from a young boy's capability to recognize an illustrator's style in a totally different context. In the book "We are All Born Free" [1], composed of selected rights from the Universal Declaration of Human Rights interpreted by different illustrators, the boy was surprised to see a picture similar to the ones in the "Winnie the Witch" series drawn by Korky Paul (Figure 1). The style was noticeable in other characters of the same illustrator in different books as well. The capability of a child to easily spot the style was shown to be valid for other illustrators such as Axel Scheffler and Debi Gliori. The boy's enthusiasm let us to start the journey to explore the capabilities of machines to recognize the style of illustrators. We collected pages from children's books to construct a new illustrations dataset consisting of about 6500 pages from 24 artists. We exploited deep networks for categorizing illustrators and with around 94% classification performance our method over-performed the traditional methods by more than 10%. Going beyond categorization we explored transferring style. The classification performance on the transferred images has shown the ability of our system to capture the style. Furthermore, we discovered representative illustrations and discriminative stylistic elements.


title: CERN: Confidence-Energy Recurrent Network for Group Activity Recognition

abstract: This work is about recognizing human activities occurring in videos at distinct semantic levels, including individual actions, interactions, and group activities. The recognition is realized using a two-level hierarchy of Long Short-Term Memory (LSTM) networks, forming a feed-forward deep architecture, which can be trained end-to-end. In comparison with existing architectures of LSTMs, we make two key contributions giving the name to our approach as Confidence-Energy Recurrent Network -- CERN. First, instead of using the common softmax layer for prediction, we specify a novel energy layer (EL) for estimating the energy of our predictions. Second, rather than finding the common minimum-energy class assignment, which may be numerically unstable under uncertainty, we specify that the EL additionally computes the p-values of the solutions, and in this way estimates the most confident energy minimum. The evaluation on the Collective Activity and Volleyball datasets demonstrates: (i) advantages of our two contributions relative to the common softmax and energy-minimization formulations and (ii) a superior performance relative to the state-of-the-art approaches.


title: Scattering amplitudes of regularized bosonic strings

abstract: We compute scattering amplitudes of the regularized bosonic Nambu-Goto string in the mean-field approximation, disregarding fluctuations of the Lagrange multiplier and an independent metric about their mean values. We use the previously introduced Lilliputian scaling limit to recover the Regge behavior of the amplitudes with the usual linear Regge trajectory in space-time dimensions d>2. We demonstrate a stability of this minimum of the effective action under fluctuations for d<26.


title: Correct Brillouin zone and electronic structure of BiPd

abstract: A promising route to the realization of Majorana fermions is in non-centrosymmetric superconductors, in which spin-orbit-coupling lifts the spin degeneracy of both bulk and surface bands. A detailed assessment of the electronic structure is critical to evaluate their suitability for this through establishing the topological properties of the electronic structure. This requires correct identification of the time-reversal-invariant momenta. One such material is BiPd, a recently rediscovered non-centrosymmetric superconductor which can be grown in large, high-quality single crystals and has been studied by several groups using angular resolved photoemission to establish its surface electronic structure. Many of the published electronic structure studies on this material are based on a reciprocal unit cell which is not the actual Brillouin zone of the material. We show here the consequences of this for the electronic structures and show how the inferred topological nature of the material is affected.


title: The Cartan Algorithm in Five Dimensions

abstract: In this paper we introduce an algorithm to determine the equivalence of five dimensional spacetimes, which generalizes the Karlhede algorithm for four dimensional general relativity. As an alternative to the Petrov type classification, we employ the alignment classification to algebraically classify the Weyl tensor. To illustrate the algorithm we discuss three examples: the singly rotating Myers-Perry solution, the Kerr (anti) de Sitter solution, and the rotating black ring solution. We briefly discuss some applications of the Cartan algorithm in five dimensions.


title: Controlling Lipschitz functions

abstract: Given any positive integers $m$ and $d$, we say the a sequence of points $(x_i)_{i\in I}$ in $\mathbb R^m$ is {\em Lipschitz-$d$-controlling} if one can select suitable values $y_i\; (i\in I)$ such that for every Lipschitz function $f:\mathbb R^m\rightarrow \mathbb R^d$ there exists $i$ with $|f(x_i)-y_i|<1$. We conjecture that for every $m\le d$, a sequence $(x_i)_{i\in I}\subset\mathbb R^m$ is $d$-controlling if and only if $$\sup_{n\in\mathbb N}\frac{|\{i\in I\, :\, |x_i|\le n\}|}{n^d}=\infty.$$ We prove that this condition is necessary and a slightly stronger one is already sufficient for the sequence to be $d$-controlling. We also prove the conjecture for $m=1$.


title: Probing Slow Relaxation and Many-Body Localization in Two-Dimensional Quasi-Periodic Systems

abstract: In a many-body localized (MBL) quantum system, the ergodic hypothesis breaks down completely, giving rise to a fundamentally new many-body phase. Whether and under which conditions MBL can occur in higher dimensions remains an outstanding challenge both for experiments and theory. Here, we experimentally explore the relaxation dynamics of an interacting gas of fermionic potassium atoms loaded in a two-dimensional optical lattice with different quasi-periodic potentials along the two directions. We observe a dramatic slowing down of the relaxation for intermediate disorder strengths and attribute this partially to configurational rare-region effects. Beyond a critical disorder strength, we see negligible relaxation on experimentally accessible timescales, indicating a possible transition into a two-dimensional MBL phase. Our experiments reveal a distinct interplay of interactions, disorder, and dimensionality and provide insights into regimes where controlled theoretical approaches are scarce.

categories: cond-mat.quant-gas cond-mat.dis-nn cond-mat.stat-mech cond-mat.str-el quant-ph


title: A Method to Guarantee Local Convergence for Sequential Quadratic Programming with Poor Hessian Approximation

abstract: Sequential Quadratic Programming (SQP) is a powerful class of algorithms for solving nonlinear optimization problems. Local convergence of SQP algorithms is guaranteed when the Hessian approximation used in each Quadratic Programming subproblem is close to the true Hessian. However, a good Hessian approximation can be expensive to compute. Low cost Hessian approximations only guarantee local convergence under some assumptions, which are not always satisfied in practice. To address this problem, this paper proposes a simple method to guarantee local convergence for SQP with poor Hessian approximation. The effectiveness of the proposed algorithm is demonstrated in a numerical example.


title: Mo3: a Modular Mobility Model for future generation mobile wireless networks

abstract: Mobility modeling in 5G and beyond 5G must address typical features such as time-varying correlation between mobility patterns of different nodes, and their variation ranging from macro-mobility (kilometer range) to micro-mobility (sub-meter range). Current models have strong limitations in doing so: the widely used reference-based models, such as the Reference Point Group Mobility (RPGM), lack flexibility and accuracy, while the more sophisticated rule-based (i.e. behavioral) models are complex to set-up and tune. This paper introduces a new rule-based Modular Mobility Model, named Mo3, that provides accuracy and flexibility on par with behavioral models, while preserving the intuitiveness of the reference-based approach, and is based on five rules: 1) Individual Mobility, 2) Correlated Mobility, 3) Collision Avoidance, 4) Obstacle Avoidance and 5) Upper Bounds Enforcement. Mo3 avoids introducing acceleration vectors to define rules, as behavioral models do, and this significantly reduces complexity. Rules are mapped one-to-one onto five modules, that can be independently enabled or replaced. Comparison of time-correlation features obtained with Mo3 vs. reference-based models, and in particular RPGM, in pure micro-mobility and mixed macro-mobility / micro-mobility scenarios, shows that Mo3 and RPGM generate mobility patterns with similar topological properties (intra-group and inter-group distances), but that Mo3 preserves a spatial correlation that is lost in RPGM - at no price in terms of complexity - making it suitable for adoption in 5G and beyond 5G.


title: New Properties of Numbers of Plane Graphs

abstract: We explore various techniques for counting the number of straight-edge crossing-free graphs that can be embedded on a planar point set. In particular, we derive a lower bound on the ratio of the number of such graphs with $m+1$ edges to the number of graphs with $m$ edges. We show how a relatively small improvement of this bound would improve existing bounds concerning numbers of plane graphs with a prescribed number of edges. Furthermore, we use a cross-graph charging scheme to derive lower bounds for the number of such graphs when the point set has few extreme points.


title: Action Unit Detection with Region Adaptation, Multi-labeling Learning and Optimal Temporal Fusing

abstract: Action Unit (AU) detection becomes essential for facial analysis. Many proposed approaches face challenging problems in dealing with the alignments of different face regions, in the effective fusion of temporal information, and in training a model for multiple AU labels. To better address these problems, we propose a deep learning framework for AU detection with region of interest (ROI) adaptation, integrated multi-label learning, and optimal LSTM-based temporal fusing. First, ROI cropping nets (ROI Nets) are designed to make sure specifically interested regions of faces are learned independently; each sub-region has a local convolutional neural network (CNN) - an ROI Net, whose convolutional filters will only be trained for the corresponding region. Second, multi-label learning is employed to integrate the outputs of those individual ROI cropping nets, which learns the inter-relationships of various AUs and acquires global features across sub-regions for AU detection. Finally, the optimal selection of multiple LSTM layers to form the best LSTM Net is carried out to best fuse temporal features, in order to make the AU prediction the most accurate. The proposed approach is evaluated on two popular AU detection datasets, BP4D and DISFA, outperforming the state of the art significantly, with an average improvement of around 13% on BP4D and 25% on DISFA, respectively.


title: Growth of Shock-Induced Solitary Waves in Granular Crystals

abstract: Solitary waves (SWs) are generated in monoatomic (homogeneous) lightly contacting spherical granules by an applied input force of any time-variation and intensity. We consider finite duration shock loads and focus on the transition regime that leads to the formation of SWs. Based on geometrical and material properties of the granules and the properties of the input shock, we provide explicit analytic expressions to calculate the peak value of the compressive contact force at each contact point in the transition regime that precedes the formation of a primary solitary wave. We also provide explicit expressions to estimate the number of granules involved in the transition regime and show its dependence on the characteristics of the input shock and material/geometrical properties of the interacting granules. Finally, we assess the accuracy of our theoretical results by comparing them with those obtained through numerical integration of the equations of motion.


title: A semidiscrete version of the Citti-Petitot-Sarti model as a plausible model for anthropomorphic image reconstruction and pattern recognition

abstract: In his beautiful book [66], Jean Petitot proposes a sub-Riemannian model for the primary visual cortex of mammals. This model is neurophysiologically justified. Further developments of this theory lead to efficient algorithms for image reconstruction, based upon the consideration of an associated hypoelliptic diffusion. The sub-Riemannian model of Petitot and Citti-Sarti (or certain of its improvements) is a left-invariant structure over the group $SE(2)$ of rototranslations of the plane. Here, we propose a semi-discrete version of this theory, leading to a left-invariant structure over the group $SE(2,N)$, restricting to a finite number of rotations. This apparently very simple group is in fact quite atypical: it is maximally almost periodic, which leads to much simpler harmonic analysis compared to $SE(2).$ Based upon this semi-discrete model, we improve on previous image-reconstruction algorithms and we develop a pattern-recognition theory that leads also to very efficient algorithms in practice.


title: Online Nonparametric Anomaly Detection based on Geometric Entropy Minimization

abstract: We consider the online and nonparametric detection of abrupt and persistent anomalies, such as a change in the regular system dynamics at a time instance due to an anomalous event (e.g., a failure, a malicious activity). Combining the simplicity of the nonparametric Geometric Entropy Minimization (GEM) method with the timely detection capability of the Cumulative Sum (CUSUM) algorithm we propose a computationally efficient online anomaly detection method that is applicable to high-dimensional datasets, and at the same time achieve a near-optimum average detection delay performance for a given false alarm constraint. We provide new insights to both GEM and CUSUM, including new asymptotic analysis for GEM, which enables soft decisions for outlier detection, and a novel interpretation of CUSUM in terms of the discrepancy theory, which helps us generalize it to the nonparametric GEM statistic. We numerically show, using both simulated and real datasets, that the proposed nonparametric algorithm attains a close performance to the clairvoyant parametric CUSUM test.


title: On the physical significance of geometrothermodynamic metrics

abstract: In geometrothermodynamics (GTD), to study the geometric properties of the equilibrium space three thermodynamic metrics have been proposed so far. These metrics are obtained by using the condition of Legendre invariance and can be computed explicitly once a thermodynamic potential is specified as the fundamental equation. We use the remaining diffeomorphism invariance in the phase and equilibrium spaces to show that the components of the GTD-metrics can be interpreted as the second moment of the fluctuation of a new thermodynamic potential. This result establishes a direct connection between GTD and fluctuation theory. In this way, the diffeomorphism invariance of GTD allows us to introduce new thermodynamic coordinates and new thermodynamic potentials, which are not related by means of Legendre transformations to the fundamental thermodynamic potentials.


title: Embeddings of canonical modules and resolutions of connected sums

abstract: For an ideal $I_{m,n}$ generated by all square-free monomials of degree $m$ in a polynomial ring $R$ with $n$ variables, we obtain a specific embedding of a canonical module of $R/I_{m,n}$ to $R/I_{m,n}$ itself. The construction of this explicit embedding depends on a minimal free $R$-resolution of an ideal generated by $I_{m,n}$. Using this embedding, we give a resolution of connected sums of several copies of certain Artinian $k$-algebras where $k$ is a field.


title: Data-efficient Deep Reinforcement Learning for Dexterous Manipulation

abstract: Deep learning and reinforcement learning methods have recently been used to solve a variety of problems in continuous control domains. An obvious application of these techniques is dexterous manipulation tasks in robotics which are difficult to solve using traditional control theory or hand-engineered approaches. One example of such a task is to grasp an object and precisely stack it on another. Solving this difficult and practically relevant problem in the real world is an important long-term goal for the field of robotics. Here we take a step towards this goal by examining the problem in simulation and providing models and techniques aimed at solving it. We introduce two extensions to the Deep Deterministic Policy Gradient algorithm (DDPG), a model-free Q-learning based method, which make it significantly more data-efficient and scalable. Our results show that by making extensive use of off-policy data and replay, it is possible to find control policies that robustly grasp objects and stack them. Further, our results hint that it may soon be feasible to train successful stacking policies by collecting interactions on real robots.


title: Precise measurement of alpha_K and alpha_T for the 109.3-keV M4 transition in 125Te: Test of internal-conversion theory

abstract: We have measured the K-shell and total internal conversion coefficients (ICCs), alpha_K and alpha_T, for the 109.3-keV M4 transition in 125Te to be 185.0(40) and 350.0(38), respectively. Previously this transition's ICCs were considered anomalous, with alpha values lying below calculated values. When compared with Dirac-Fock calculations, our new results show good agreement. The alpha_K result agrees well with the version of the theory that takes account of the K-shell atomic vacancy and disagrees with the one that does not. This is consistent with our conclusion drawn from a series of high multipolarity transitions.


title: A BV-algebra Structure on Hochschild Cohomology of the Group Ring of Finitely Generated Abelian Groups

abstract: We study a Batalin-Vilkovisky algebra structure on the Hochschild cohomology of the group ring of finitely generated abelian groups. The Batalin-Vilkovisky algebra structure for finite abelian groups comes from the fact that the group ring of finite groups is a symmetric algebra, and the Batalin-Vilkovisky algebra structure for free abelian groups of finite rank comes from the fact that its group ring is a Calabi-Yau algebra.


title: Tunable mode coupling in nano-contact spin torque oscillators

abstract: Recent experiments on spin torque oscillators have revealed interactions between multiple magnetodynamic modes, including mode-coexistence, mode-hopping, and temperature-driven cross-over between modes. Initial multimode theory has indicated that a linear coupling between several dominant modes, arising from the interaction of the subdynamic system with a magnon bath, plays an essential role in the generation of various multimode behaviors, such as mode hopping and mode coexistence. In this work, we derive a set of rate equations to describe the dynamics of coupled magnetodynamic modes in a nano-contact spin torque oscillator. Expressions for both linear and nonlinear coupling terms are obtained, which allow us to analyze the dependence of the coupled dynamic behaviors of modes on external experimental conditions as well as intrinsic magnetic properties. For a minimal two-mode system, we further map the energy and phase difference of the two modes onto a two-dimensional phase space, and demonstrate in the phase portraits, how the manifolds of periodic orbits and fixed points vary with external magnetic field as well as with temperature.


title: Rotation number of integrable symplectic mappings of the plane

abstract: Symplectic mappings are discrete-time analogs of Hamiltonian systems. They appear in many areas of physics, including, for example, accelerators, plasma, and fluids. Integrable mappings, a subclass of symplectic mappings, are equivalent to a Twist map, with a rotation number, constant along the phase trajectory. In this letter, we propose a succinct expression to determine the rotation number and present two examples. Similar to the period of the bounded motion in Hamiltonian systems, the rotation number is the most fundamental property of integrable maps and it provides a way to analyze the phase-space dynamics.


title: Casimir stress in materials: hard divergency at soft walls

abstract: The Casimir force between macroscopic bodies is well understood, but not the Casimir stress inside bodies. Suppose empty space or a uniform medium meets a soft wall where the refractive index is continuous but its derivative jumps. For this situation we predict a characteristic power law for the stress inside the soft wall and close to its edges. Our result shows that such edges are not tolerated in the aggregation of liquids at surfaces, regardless whether the liquid is attracted or repelled.


title: WRPN: Training and Inference using Wide Reduced-Precision Networks

abstract: For computer vision applications, prior works have shown the efficacy of reducing the numeric precision of model parameters (network weights) in deep neural networks but also that reducing the precision of activations hurts model accuracy much more than reducing the precision of model parameters. We study schemes to train networks from scratch using reduced-precision activations without hurting the model accuracy. We reduce the precision of activation maps (along with model parameters) using a novel quantization scheme and increase the number of filter maps in a layer, and find that this scheme compensates or surpasses the accuracy of the baseline full-precision network. As a result, one can significantly reduce the dynamic memory footprint, memory bandwidth, computational energy and speed up the training and inference process with appropriate hardware support. We call our scheme WRPN - wide reduced-precision networks. We report results using our proposed schemes and show that our results are better than previously reported accuracies on ILSVRC-12 dataset while being computationally less expensive compared to previously reported reduced-precision networks.


title: Representing operational semantics with enriched Lawvere theories

abstract: Many term calculi, like lambda calculus or pi calculus, involve binders for names, and the mathematics of bound variable names is subtle. Schoenfinkel introduced the SKI combinator calculus in 1924 to clarify the role of quantified variables in intuitionistic logic by eliminating them. Yoshida demonstrated how to eliminate the bound names coming from the input prefix in the asynchronous pi calculus, but her combinators still depend on the new operator to bind names. Recently, Meredith and Stay showed how to modify Yoshida's combinators by replacing new and replication with reflective operators to provide the first combinator calculus with no bound names into which the asynchronous pi calculus has a faithful embedding. Here we provide an alternative set of combinators built from SKI plus reflection that also eliminates all nominal phenomena, yet provides a faithful embedding of a reflective higher-order pi calculus. We show that with the nominal features effectively eliminated as syntactic sugar, multisorted Lawvere theories enriched over graphs suffice to capture the operational semantics of the calculus.


title: Quantification and Characterization of Leakage Errors

abstract: We present a general framework for the quantification and characterization of leakage errors that result when a quantum system is encoded in the subspace of a larger system. To do this we introduce new metrics for quantifying the coherent and incoherent properties of the resulting errors, and we illustrate this framework with several examples relevant to superconducting qubits. In particular, we propose two quantities: the leakage and seepage rates, which together with average gate fidelity allow for characterizing the average performance of quantum gates in the presence of leakage and show how the randomized benchmarking protocol can be modified to enable the robust estimation of all three quantities for a Clifford gate set.


title: Representing de Rham cohomology classes on an open Riemann surface by holomorphic forms

abstract: Let $X$ be a connected open Riemann surface. Let $Y$ be an Oka domain in the smooth locus of an analytic subvariety of $\mathbb C^n$, $n\geq 1$, such that the convex hull of $Y$ is all of $\mathbb C^n$. Let $\mathscr O_*(X, Y)$ be the space of nondegenerate holomorphic maps $X\to Y$. Take a holomorphic $1$-form $\theta$ on $X$, not identically zero, and let $\pi:\mathscr O_*(X,Y) \to H^1(X,\mathbb C^n)$ send a map $g$ to the cohomology class of $g\theta$. Our main theorem states that $\pi$ is a Serre fibration. This result subsumes the 1971 theorem of Kusunoki and Sainouchi that both the periods and the divisor of a holomorphic form on $X$ can be prescribed arbitrarily. It also subsumes two parametric h-principles in minimal surface theory proved by Forstneric and Larusson in 2016.


title: A characterization of ZM-groups

abstract: In this short note we give a characterization of ZM-groups that uses the functions defined and studied in [3,4]. This leads to a proof of Conjecture 6 in [4].


title: Composite Task-Completion Dialogue Policy Learning via Hierarchical Deep Reinforcement Learning

abstract: Building a dialogue agent to fulfill complex tasks, such as travel planning, is challenging because the agent has to learn to collectively complete multiple subtasks. For example, the agent needs to reserve a hotel and book a flight so that there leaves enough time for commute between arrival and hotel check-in. This paper addresses this challenge by formulating the task in the mathematical framework of options over Markov Decision Processes (MDPs), and proposing a hierarchical deep reinforcement learning approach to learning a dialogue manager that operates at different temporal scales. The dialogue manager consists of: (1) a top-level dialogue policy that selects among subtasks or options, (2) a low-level dialogue policy that selects primitive actions to complete the subtask given by the top-level policy, and (3) a global state tracker that helps ensure all cross-subtask constraints be satisfied. Experiments on a travel planning task with simulated and real users show that our approach leads to significant improvements over three baselines, two based on handcrafted rules and the other based on flat deep reinforcement learning.


title: Three Graph Duals and A Bijection

abstract: We develop a notion of a dual of a graph, generalizing the definition of Goulden and Yong (which only applied to trees), and reproving their main result using our new notion. We in fact give three definitions of the dual: a graph-theoretic one, an algebraic one, and a combinatorial "mind-body" dual, showing that they are in fact the same, and are also the same (on trees) as the topological dual developed by Goulden and Yong. Goulden and Yong use their dual to define a bijection between the vertex labeled trees and the factorizations of the permutation $(n, \ldots, 1)$ into $n-1$ transpositions, showing that their bijection has a particular structural property. We reprove their result using our dual instead.


title: ALMA CO Clouds and Young Star Complexes in the Interacting Galaxies IC 2163 and NGC 2207

abstract: ALMA observations of CO(1-0) emission in the interacting galaxies IC 2163 and NGC 2207 are used to determine the properties of molecular clouds and their association with star-forming regions observed with the Hubble Space Telescope. Half of the CO mass is in 249 clouds each more massive than 4.0x10^5Mo. The mass distribution functions for the CO clouds and star complexes in a galactic-scale shock front in IC 2163 both have a slope on a log-log plot of -0.7, similar to what is observed in Milky Way clouds. The molecular cloud mass function is steeper in NGC 2207. The CO distribution in NGC 2207 also includes a nuclear ring, a mini-bar, and a mini-starburst region that dominates the 24micron, radio, and Halpha emission in both galaxies. The ratio of the sum of the masses of star complexes younger than 30 Myr to the associated molecular cloud masses is ~4%. The maximum age of star complexes in the galactic-scale shock front in IC 2163 is about 200 Myr, the same as the interaction time of the two galaxies, suggesting the destruction of older complexes in the eyelids.


title: Measurement of 1323 and 1487 keV resonances in 15N({\alpha}, {\gamma})19F with the recoil separator ERNA

abstract: The origin of fluorine is a widely debated issue. Nevertheless, the ^{15}N({\alpha},{\gamma})^{19}F reaction is a common feature among the various production channels so far proposed. Its reaction rate at relevant temperatures is determined by a number of narrow resonances together with the DC component and the tails of the two broad resonances at E_{c.m.} = 1323 and 1487 keV. Measurement through the direct detection of the 19F recoil ions with the European Recoil separator for Nuclear Astrophysics (ERNA) were performed. The reaction was initiated by a 15N beam impinging onto a 4He windowless gas target. The observed yield of the resonances at Ec.m. = 1323 and 1487 keV is used to determine their widths in the {\alpha} and {\gamma} channels. We show that a direct measurement of the cross section of the ^{15}N({\alpha},{\gamma})^{19}F reaction can be successfully obtained with the Recoil Separator ERNA, and the widths {\Gamma}_{\gamma} and {\Gamma}_{\alpha} of the two broad resonances have been determined. While a fair agreement is found with earlier determination of the widths of the 1487 keV resonance, a significant difference is found for the 1323 keV resonance {\Gamma}_{\alpha} . The revision of the widths of the two more relevant broad resonances in the 15N({\alpha},{\gamma})19F reaction presented in this work is the first step toward a more firm determination of the reaction rate. At present, the residual uncertainty at the temperatures of the ^{19}F stellar nucleosynthesis is dominated by the uncertainties affecting the Direct Capture component and the 364 keV narrow resonance, both so far investigated only through indirect experiments.


title: The structure and motion of incoherent {\Sigma}3 grain boundaries in FCC metals

abstract: Synthetic driving force molecular dynamics simulations were utilized to survey grain boundary mobility in three classes of incoherent {\Sigma}3 twin boundaries: <112>, <110>, and <111> tilt boundaries. These boundaries are faceted on low energy planes, and step flow boundary motion occurs by glide of the triplets of partial dislocations that comprise the mobile facets. Systematic trends with inclination angle are identified and characterized. Observations of thermally activated, anti-thermal, and athermal motion are explained in terms of the orientation of the Shockley partial dislocations along close-packed and non-close-packed directions. Thermally activated boundaries follow a compensation effect associated with a facet roughening transition. As for all faceting boundaries, system size and driving force must be chosen with care to prevent simulation artifacts.


title: Hausdorff measure of sets of Dirichlet non-improvable numbers

abstract: Let $\psi:\mathbb R_+\to\mathbb R_+$ be a non-increasing function. A real number $x$ is said to be $\psi$-Dirichlet improvable if it admits an improvement to Dirichlet's theorem in the following sense: the system $$|qx-p|< \, \psi(t) \ \ {\text{and}} \ \ |q|<t$$ has a non-trivial integer solution for all large enough $t$. Denote the collection of such points by $D(\psi)$. In this paper, we prove that the Hausdorff measure of the complement $D(\psi)^c$ (the set of $\psi$-Dirichlet non-improvable numbers) obeys a zero-infinity law for a large class of dimension functions. Together with the Lebesgue measure-theoretic results established by Kleinbock \& Wadleigh (2016), our results contribute to building a complete metric theory for the set of Dirichlet non-improvable numbers.


title: Generalised ontological models based on processes

abstract: In this paper, we explore realist models of quantum theory that does not fit into the standard definitions of ontological models. The models here go beyond standard definition of ontological models in the sense that quantum states do not correspond to distributions over the ontic state space and a system prepared in a quantum state is not in an ontic state. Instead, a system in a quantum state is always in a process, i.e. moving around in the ontic state space. Also, quantum measurement outcomes are not direct measurement of the ontic state, but depend probabilistically on the entire path the system takes during the measurement process. Consequently, we explain how, in our model, quantum states can neither be classified as ontic nor epistemic in the sense of knowledge about an underlying reality. In our model, quantum probabilities describes our (objective) knowledge about measurement outcomes. We also look at two hybrid models where either the preparation or measurement do follow the definitions in standard ontological models. Lastly, we propose a form of generalised ontological model that reduces to the standard PBR model when the underlying process reduces to a point in ontic space.


title: Connecting Network Science and Information Theory

abstract: A framework integrating information theory and network science is proposed, giving rise to a potentially new area. By incorporating and integrating concepts such as complexity, coding, topological projections and network dynamics, the proposed network-based framework paves the way not only to extending traditional information science, but also to modeling, characterizing and analyzing a broad class of real-world problems, from language communication to DNA coding. Basically, an original network is supposed to be transmitted, with or without compaction, through a sequence of symbols or time-series obtained by sampling its topology by some network dynamics, such as random walks. We show that the degree of compression is ultimately related to the ability to predict the frequency of symbols based on the topology of the original network and the adopted dynamics. The potential of the proposed approach is illustrated with respect to the efficiency of transmitting several types of topologies by using a variety of random walks. Several interesting results are obtained, including the behavior of the Barab\'asi-Albert model oscillating between high and low performance depending on the considered dynamics, and the distinct performances obtained for two geographical models.

categories: cs.IT cs.SI math.IT physics.data-an physics.soc-ph


title: Strassen's Algorithm for Tensor Contraction

abstract: Tensor contraction (TC) is an important computational kernel widely used in numerous applications. It is a multi-dimensional generalization of matrix multiplication (GEMM). While Strassen's algorithm for GEMM is well studied in theory and practice, extending it to accelerate TC has not been previously pursued. Thus, we believe this to be the first paper to demonstrate how one can in practice speed up tensor contraction with Strassen's algorithm. By adopting a Block-Scatter-Matrix format, a novel matrix-centric tensor layout, we can conceptually view TC as GEMM for a general stride storage, with an implicit tensor-to-matrix transformation. This insight enables us to tailor a recent state-of-the-art implementation of Strassen's algorithm to TC, avoiding explicit transpositions (permutations) and extra workspace, and reducing the overhead of memory movement that is incurred. Performance benefits are demonstrated with a performance model as well as in practice on modern single core, multicore, and distributed memory parallel architectures, achieving up to 1.3x speedup. The resulting implementations can serve as a drop-in replacement for various applications with significant speedup.


title: Towards an Empirical Study of Affine Types for Isolated Actors in Scala

abstract: LaCasa is a type system and programming model to enforce the object capability discipline in Scala, and to provide affine types. One important application of LaCasa's type system is software isolation of concurrent processes. Isolation is important for several reasons including security and data-race freedom. Moreover, LaCasa's affine references enable efficient, by-reference message passing while guaranteeing a "deep-copy" semantics. This deep-copy semantics enables programmers to seamlessly port concurrent programs running on a single machine to distributed programs running on large-scale clusters of machines. This paper presents an integration of LaCasa with actors in Scala, specifically, the Akka actor-based middleware, one of the most widely-used actor systems in industry. The goal of this integration is to statically ensure the isolation of Akka actors. Importantly, we present the results of an empirical study investigating the effort required to use LaCasa's type system in existing open-source Akka-based systems and applications.


title: Actors without Borders: Amnesty for Imprisoned State

abstract: In concurrent systems, some form of synchronisation is typically needed to achieve data-race freedom, which is important for correctness and safety. In actor-based systems, messages are exchanged concurrently but executed sequentially by the receiving actor. By relying on isolation and non-sharing, an actor can access its own state without fear of data-races, and the internal behavior of an actor can be reasoned about sequentially. However, actor isolation is sometimes too strong to express useful patterns. For example, letting the iterator of a data-collection alias the internal structure of the collection allows a more efficient implementation than if each access requires going through the interface of the collection. With full isolation, in order to maintain sequential reasoning the iterator must be made part of the collection, which bloats the interface of the collection and means that a client must have access to the whole data-collection in order to use the iterator. In this paper, we propose a programming language construct that enables a relaxation of isolation but without sacrificing sequential reasoning. We formalise the mechanism in a simple lambda calculus with actors and passive objects, and show how an actor may leak parts of its internal state while ensuring that any interaction with this data is still synchronised.


title: Quantifying and Explaining Immutability in Scala

abstract: Functional programming typically emphasizes programming with first-class functions and immutable data. Immutable data types enable fault tolerance in distributed systems, and ensure process isolation in message-passing concurrency, among other applications. However, beyond the distinction between reassignable and non-reassignable fields, Scala's type system does not have a built-in notion of immutability for type definitions. As a result, immutability is "by-convention" in Scala, and statistics about the use of immutability in real-world Scala code are non-existent. This paper reports on the results of an empirical study on the use of immutability in several medium-to-large Scala open-source code bases, including Scala's standard library and the Akka actor framework. The study investigates both shallow and deep immutability, two widely-used forms of immutability in Scala. Perhaps most interestingly, for type definitions determined to be mutable, explanations are provided for why neither the shallow nor the deep immutability property holds; in turn, these explanations are aggregated into statistics in order to determine the most common reasons for why type definitions are mutable rather than immutable.


title: Inferring Types for Parallel Programs

abstract: The Message Passing Interface (MPI) framework is widely used in implementing imperative pro- grams that exhibit a high degree of parallelism. The PARTYPES approach proposes a behavioural type discipline for MPI-like programs in which a type describes the communication protocol followed by the entire program. Well-typed programs are guaranteed to be exempt from deadlocks. In this paper we describe a type inference algorithm for a subset of the original system; the algorithm allows to statically extract a type for an MPI program from its source code.


title: Multiparty Session Types, Beyond Duality (Abstract)

abstract: Multiparty Session Types (MPST) are a well-established typing discipline for message-passing processes interacting on sessions involving two or more participants. Session typing can ensure desirable properties: absence of communication errors and deadlocks, and protocol conformance. However, existing MPST works provide a subject reduction result that is arguably (and sometimes, surprisingly) restrictive: it only holds for typing contexts with strong duality constraints on the interactions between pairs of participants. Consequently, many "intuitively correct" examples cannot be typed and/or cannot be proved type-safe. We illustrate some of these examples, and discuss the reason for these limitations. Then, we outline a novel MPST typing system that removes these restrictions.


title: Generating Representative Executions [Extended Abstract]

abstract: Analyzing the behaviour of a concurrent program is made difficult by the number of possible executions. This problem can be alleviated by applying the theory of Mazurkiewicz traces to focus only on the canonical representatives of the equivalence classes of the possible executions of the program. This paper presents a generic framework that allows to specify the possible behaviours of the execution environment, and generate all Foata-normal executions of a program, for that environment, by discarding abnormal executions during the generation phase. The key ingredient of Mazurkiewicz trace theory, the dependency relation, is used in the framework in two roles: first, as part of the specification of which executions are allowed at all, and then as part of the normality checking algorithm, which is used to discard the abnormal executions. The framework is instantiated to the relaxed memory models of the SPARC hierarchy.


title: Towards a Categorical Representation of Reversible Event Structures

abstract: We study categories for reversible computing, focussing on reversible forms of event structures. Event structures are a well-established model of true concurrency. There exist a number of forms of event structures, including prime event structures, asymmetric event structures, and general event structures. More recently, reversible forms of these types of event structures have been defined. We formulate corresponding categories and functors between them. We show that products and co-products exist in many cases. In most work on reversible computing, including reversible process calculi, a cause-respecting condition is posited, meaning that the cause of an event may not be reversed before the event itself. Since reversible event structures are not assumed to be cause-respecting in general, we also define cause-respecting subcategories of these event structures. Our longer-term aim is to formulate event structure semantics for reversible process calculi.


title: Best-by-Simulations: A Framework for Comparing Efficiency of Reconfigurable Multicore Architectures on Workloads with Deadlines

abstract: Energy consumption is a major concern in multicore systems. Perhaps the simplest strategy for reducing energy costs is to use only as many cores as necessary while still being able to deliver a desired quality of service. Motivated by earlier work on a dynamic (heterogeneous) core allocation scheme for H.264 video decoding that reduces energy costs while delivering desired frame rates, we formulate operationally the general problem of executing a sequence of actions on a reconfigurable machine while meeting a corresponding sequence of absolute deadlines, with the objective of reducing cost. Using a transition system framework that associates costs (e.g., time, energy) with executing an action on a particular resource configuration, we use the notion of amortised cost to formulate in terms of simulation relations appropriate notions for comparing deadline-conformant executions. We believe these notions can provide the basis for an operational theory of optimal cost executions and performance guarantees for approximate solutions, in particular relating the notion of simulation from transition systems to that of competitive analysis used for, e.g., online algorithms.


title: Resonant Ionization Laser Ion Source (RILIS) Development on Lu and Pr

abstract: Resonance ionization laser ion sources are efficient and element selective ion sources, which are particularly well suited for radioactive ion beam facilities. Using TRIUMF's off-line laser ion source test stand with a system of tunable titanium sapphire (Ti:Sa) lasers, laser resonance ionization schemes for lutetium and praseodymium have been investigated with a particular interest to autoionizing states. New ionization schemes via Rydberg states and autoionizing states were found. Their investigation and comparison of ion yields at the off-line test stand will be discussed, and the data of on-line Lu delivery will be presented.


title: Control Synthesis of Nonlinear Sampled Switched Systems using Euler's Method

abstract: In this paper, we propose a symbolic control synthesis method for nonlinear sampled switched systems whose vector fields are one-sided Lipschitz. The main idea is to use an approximate model obtained from the forward Euler method to build a guaranteed control. The benefit of this method is that the error introduced by symbolic modeling is bounded by choosing suitable time and space discretizations. The method is implemented in the interpreted language Octave. Several examples of the literature are performed and the results are compared with results obtained with a previous method based on the Runge-Kutta integration method.


title: Minkowski Operations of Sets with Application to Robot Localization

abstract: This papers shows that using separators, which is a pair of two complementary contractors, we can easily and efficiently solve the localization problem of a robot with sonar measurements in an unstructured environment. We introduce separators associated with the Minkowski sum and the Minkowski difference in order to facilitate the resolution. A test-case is given in order to illustrate the principle of the approach.


title: On the Underapproximation of Reach Sets of Abstract Continuous-Time Systems

abstract: We consider the problem of proving that each point in a given set of states ("target set") can indeed be reached by a given nondeterministic continuous-time dynamical system from some initial state. We consider this problem for abstract continuous-time models that can be concretized as various kinds of continuous and hybrid dynamical systems. The approach to this problem proposed in this paper is based on finding a suitable superset S of the target set which has the property that each partial trajectory of the system which lies entirely in S either is defined as the initial time moment, or can be locally extended backward in time, or can be locally modified in such a way that the resulting trajectory can be locally extended back in time. This reformulation of the problem has a relatively simple logical expression and is convenient for applying various local existence theorems and local dynamics analysis methods to proving reachability which makes it suitable for reasoning about the behavior of continuous and hybrid dynamical systems in proof assistants such as Mizar, Isabelle, etc.


title: Compile-Time Extensions to Hybrid ODEs

abstract: Reachability analysis for hybrid systems is an active area of development and has resulted in many promising prototype tools. Most of these tools allow users to express hybrid system as automata with a set of ordinary differential equations (ODEs) associated with each state, as well as rules for transitions between states. Significant effort goes into developing and verifying and correctly implementing those tools. As such, it is desirable to expand the scope of applicability tools of such as far as possible. With this goal, we show how compile-time transformations can be used to extend the basic hybrid ODE formalism traditionally supported in hybrid reachability tools such as SpaceEx or Flow*. The extension supports certain types of partial derivatives and equational constraints. These extensions allow users to express, among other things, the Euler-Lagrangian equation, and to capture practically relevant constraints that arise naturally in mechanical systems. Achieving this level of expressiveness requires using a binding time-analysis (BTA), program differentiation, symbolic Gaussian elimination, and abstract interpretation using interval analysis. Except for BTA, the other components are either readily available or can be easily added to most reachability tools. The paper therefore focuses on presenting both the declarative and algorithmic specifications for the BTA phase, and establishes the soundness of the algorithmic specifications with respect to the declarative one.


title: 3D mean Projective Shape Difference for Face Differentiation from Multiple Digital Camera Images

abstract: We give a nonparametric methodology for hypothesis testing for equality of extrinsic mean objects on a manifold embedded in a numerical spaces. The results obtained in the general setting are detailed further in the case of 3D projective shapes represented in a space of symmetric matrices via the quadratic Veronese-Whitney (VW) embedding. Large sample and nonparametric bootstrap confidence regions are derived for the common VW-mean of random projective shapes for finite 3D configurations. As an example, the VW MANOVA testing methodology is applied to the multi-sample mean problem for independent projective shapes of $3D$ facial configurations retrieved from digital images, via Agisoft PhotoScan technology.


title: On stable solitons and interactions of the generalized Gross-Pitaevskii equation with PT-and non-PT-symmetric potentials

abstract: We report the bright solitons of the generalized Gross-Pitaevskii (GP) equation with some types of physically relevant parity-time-(PT-) and non-PT-symmetric potentials. We find that the constant momentum coefficient can modulate the linear stability and complicated transverse power-flows (not always from the gain toward loss) of nonlinear modes. However, the varying momentum coefficient Gamma(x) can modulate both unbroken linear PT-symmetric phases and stability of nonlinear modes. Particularly, the nonlinearity can excite the unstable linear mode (i.e., broken linear PT-symmetric phase) to stable nonlinear modes. Moreover, we also find stable bright solitons in the presence of non-PT-symmetric harmonic-Gaussian potential. The interactions of two bright solitons are also illustrated in PT-symmetric potentials. Finally, we consider nonlinear modes and transverse power-flows in the three-dimensional (3D) GP equation with the generalized PT-symmetric Scarf-II potential

categories: nlin.PS math-ph math.AP math.MP physics.optics quant-ph


title: Quantum simulation of discrete-time Hamiltonians using directionally unbiased linear optical multiports

abstract: Recently, a generalization of the standard optical multiport was proposed [Phys. Rev. A 93, 043845 (2016)]. These directionally unbiased multiports allow photons to reverse direction and exit backwards from the input port, providing a realistic linear optical scattering vertex for quantum walks on arbitrary graph structures. Here, it is shown that arrays of these multiports allow the simulation of a range of discrete-time Hamiltonian systems. Examples are described, including a case where both spatial and internal degrees of freedom are simulated. Because input ports also double as output ports, there is substantial savings of resources compared to feed-forward networks carrying out the same functions. The simulation is implemented in a scalable manner using only linear optics, and can be generalized to higher dimensional systems in a straightforward fashion, thus offering a concrete experimentally achievable implementation of graphical models of discrete-time quantum systems.


title: On rigid varieties with projective reduction

abstract: In this paper, we study smooth proper rigid varieties which admit formal models whose special fibers are projective. The main theorem asserts that the identity components of the associated rigid Picard varieties will automatically be proper. Consequently, we prove that p-adic Hopf varieties will never have a projective reduction. The proof of our main theorem uses the theory of moduli of semistable coherent sheaves.


title: Bartlett's delta in the SABR model

abstract: We refine the analysis of hedging strategies for options under the SABR model carried out in [2]. In particular, we provide a theoretical justification of the empirical observation made in [2] that the modified delta ("Bartlett's delta") introduced there provides a more accurate and robust hedging strategy than the conventional SABR delta hedge.


title: Deformations of Courant Algebroids and Dirac Structures via Blended Structures

abstract: Deformations of a Courant Algebroid E and its Dirac subbundle A have been widely considered under the assumption that the pseudo-Euclidean metric is fixed. In this paper, we attack the same problem in a setting that allows the pseudo-Euclidean metric to deform. Thanks to Roytenberg, a Courant algebroid is equivalent to a symplectic graded Q-manifold of degree 2. From this viewpoint, we extend the notions of graded Q-manifold, DGLA and L_\infty-algebra all to "blended" version so that Poisson manifold, Lie algebroid and Courant algebroid are unified as blended Q-manifolds; and define a submaniold A of "coisotropic type" which naturally generalizes the concepts of coisotropic submanifolds, Lie subalgebroids and Dirac subbundles. It turns out the deformations a blended homological vector field Q is controlled by a blended DGLA, and the deformations of A is controlled by a blended L_\infty-algebra. The results apply to the deformations of a Courant algebroid and its Dirac structures, the deformations of a Poisson manifold and its coisotropic submanifold, the deformations of a Lie algebroid and its Lie subalgebroid.


title: Two-chains and square roots of Thompson's group $F$

abstract: We study two--generated subgroups $\langle f,g\rangle<\mathrm{Homeo}^+(I)$ such that $\langle f^2,g^2\rangle$ is isomorphic to Thompson's group $F$, and such that the supports of $f$ and $g$ form a chain of two intervals. We show that this class contains uncountably many isomorphism types. These include examples with nonabelian free subgroups, examples which do not admit faithful actions by $C^2$ diffeomorphisms on $1$--manifolds, examples which do not admit faithful actions by $PL$ homeomorphisms on an interval, and examples which are not finitely presented. We thus answer questions due to M. Brin. We also show that many relatively uncomplicated groups of homeomorphisms can have very complicated square roots, thus establishing the behavior of square roots of $F$ as part of a general phenomenon among subgroups of $\mathrm{Homeo}^+(I)$.


title: Molecular geometry and vibrational frequencies by parallel sampling

abstract: Quantum Monte Carlo is an efficient technique for finding the ground-state energy and related properties of small molecules. A major challenge remains in accurate determination of a molecule's geometry, i.e. the optimal location of its individual nuclei and the frequencies of their vibration. The aim of this article is to describe a simple technique to accurately establish such properties. This is achieved by varying the trial function to accommodate changing geometry, thereby removing a source of rather unpleasant singularities which arise when the trial function is fixed (the traditional approach).


title: Detecting Visual Relationships with Deep Relational Networks

abstract: Relationships among objects play a crucial role in image understanding. Despite the great success of deep learning techniques in recognizing individual objects, reasoning about the relationships among objects remains a challenging task. Previous methods often treat this as a classification problem, considering each type of relationship (e.g. "ride") or each distinct visual phrase (e.g. "person-ride-horse") as a category. Such approaches are faced with significant difficulties caused by the high diversity of visual appearance for each kind of relationships or the large number of distinct visual phrases. We propose an integrated framework to tackle this problem. At the heart of this framework is the Deep Relational Network, a novel formulation designed specifically for exploiting the statistical dependencies between objects and their relationships. On two large datasets, the proposed method achieves substantial improvement over state-of-the-art.


title: Weakly integrable Camassa-Holm-type equations

abstract: Series of deformed Camassa-Holm-type equations are constructed using the Lagrangian deformation and Loop algebra splittings. They are weakly integrable in the sense of modified Lax pairs.


title: DOPE: Distributed Optimization for Pairwise Energies

abstract: We formulate an Alternating Direction Method of Mul-tipliers (ADMM) that systematically distributes the computations of any technique for optimizing pairwise functions, including non-submodular potentials. Such discrete functions are very useful in segmentation and a breadth of other vision problems. Our method decomposes the problem into a large set of small sub-problems, each involving a sub-region of the image domain, which can be solved in parallel. We achieve consistency between the sub-problems through a novel constraint that can be used for a large class of pair-wise functions. We give an iterative numerical solution that alternates between solving the sub-problems and updating consistency variables, until convergence. We report comprehensive experiments, which demonstrate the benefit of our general distributed solution in the case of the popular serial algorithm of Boykov and Kolmogorov (BK algorithm) and, also, in the context of non-submodular functions.


title: Growth of First Galaxies: Impacts of Star Formation and Stellar Feedback

abstract: We present the results of cosmological hydrodynamic simulations with zoom-in initial conditions, and investigate the formation of the first galaxies and their evolution towards observable galaxies at $z \sim 6$. We focus on three different galaxies which end up in halos with masses $M_{h} = 2.4 \times10^{10}~h^{-1}\; M_{\odot}$ (Halo-10), $1.6 \times10^{11}~h^{-1}\; M_{\odot}$ (Halo-11) and $0.7 \times10^{12}~h^{-1} M_{\odot}$ (Halo-12) at z=6. Our simulations also probe impacts of different sub-grid assumptions, i.e., SF efficiency and cosmic reionization, on SF histories in the first galaxies. We find that star formation occurs intermittently due to supernova (SN) feedback at z > 10, and then it proceeds more smoothly as the halo mass grows at lower redshifts. Galactic disks are destroyed due to SN feedback, while galaxies in simulations with no-feedback or lower SF efficiency models can sustain galactic disk for long periods > 10 Myr. The expulsion of gas at the galactic center also affects the inner dark matter density profile. However, SN feedback does not seem to keep the shallow profile of dark matter for a long period. Our simulated galaxies in Halo-11 and Halo-12 reproduce the star formation rates (SFR) and stellar masses of observed Lyman-$\alpha$ emitters (LAEs) at z = 7-8 fairly well given observational uncertainties. In addition, we investigate the effect of UV background radiation on star formation as an external feedback source, and find that earlier reionization extends the quenching time of star formation due to photo-ionization heating, but does not affect the stellar mass at z=6.


title: PIANO: Proximity-based User Authentication on Voice-Powered Internet-of-Things Devices

abstract: Voice is envisioned to be a popular way for humans to interact with Internet-of-Things (IoT) devices. We propose a proximity-based user authentication method (called PIANO) for access control on such voice-powered IoT devices. PIANO leverages the built-in speaker, microphone, and Bluetooth that voice-powered IoT devices often already have. Specifically, we assume that a user carries a personal voice-powered device (e.g., smartphone, smartwatch, or smartglass), which serves as the user's identity. When another voice-powered IoT device of the user requires authentication, PIANO estimates the distance between the two devices by playing and detecting certain acoustic signals; PIANO grants access if the estimated distance is no larger than a user-selected threshold. We implemented a proof-of-concept prototype of PIANO. Through theoretical and empirical evaluations, we find that PIANO is secure, reliable, personalizable, and efficient.


title: Neutron powder diffraction study on the iron-based nitride superconductor ThFeAsN

abstract: We report neutron diffraction and transport results on the newly discovered superconducting nitride ThFeAsN with $T_c=$ 30 K. No magnetic transition, but a weak structural distortion around 160 K, is observed cooling from 300 K to 6 K. Analysis on the resistivity, Hall transport and crystal structure suggests this material behaves as an electron optimally doped pnictide superconductors due to extra electrons from nitrogen deficiency or oxygen occupancy at the nitrogen site, which together with the low arsenic height may enhance the electron itinerancy and reduce the electron correlations, thus suppress the static magnetic order.


title: Effects of enhanced bulk viscosity near the QCD critical point

abstract: Search for the conjectured QCD critical point is one of the major scientific goals for the Beam Energy Scan program at RHIC. The growth of the correlation length is a universal feature for systems near criticality, and bulk viscosity exhibits the strongest dependence on the correlation length. We investigate its effects using a relativistic hydrodynamic model to find that rapidity distributions of charged particles and net baryon number are visibly modified if the fireball passes through the vicinity of the QCD critical point on the phase diagram. We also discuss how critical modification of dilepton emission rate may leave imprints on invariant mass spectra.


title: Iterative Soft/Hard Thresholding with Homotopy Continuation for Sparse Recovery

abstract: In this note, we analyze an iterative soft / hard thresholding algorithm with homotopy continuation for recovering a sparse signal $x^\dag$ from noisy data of a noise level $\epsilon$. Under suitable regularity and sparsity conditions, we design a path along which the algorithm can find a solution $x^*$ which admits a sharp reconstruction error $\|x^* - x^\dag\|_{\ell^\infty} = O(\epsilon)$ with an iteration complexity $O(\frac{\ln \epsilon}{\ln \gamma} np)$, where $n$ and $p$ are problem dimensionality and $\gamma\in (0,1)$ controls the length of the path. Numerical examples are given to illustrate its performance.


title: On graphs with $m(\partial^L_1)=n-3$

abstract: Let $\partial^L_1\ge\partial^L_2\ge\cdots\ge\partial^L_n$ be the distance Laplacian eigenvalues of a connected graph $G$ and $m(\partial^L_i)$ the multiplicity of $\partial^L_i$. It is well known that the graphs with $m(\partial^L_1)=n-1$ are complete graphs. Recently, the graphs with $m(\partial^L_1)=n-2$ have been characterized by Celso et al. In this paper, we completely determine the graphs with $m(\partial^L_1)=n-3$.


title: Correlated-Gaussian approach to linear-chain states -Case of four $\alpha$-particles-

abstract: We show that correlated Gaussians with good angular momentum and parity provide flexible basis functions for specific elongated shape. As its application we study linear-chain states of four-alpha particles in variation-after-projection calculations in which all the matrix elements are evaluated analytically. We find possible chain states for $J=0^+$, $2^+$, $4^+$ and perhaps $6^+$ with the bandhead energy being about 33 MeV from the ground state of $^{16}$O. No chain states with $J\geq 8$ are found. The nature of the rotational sequence of the chain states is clarified in contrast to a rigid-body rotation. The quadrupole deformation parameters estimated from the chain states increase from 0.59 to 1.07 for $2^+$ to $6^+$. This work suggests undeveloped fields for the correlated Gaussians beyond those problems which have hitherto been solved successfully.


title: Counting $G$-Extensions by Discriminant

abstract: The problem of analyzing the number of number field extensions $L/K$ with bounded (relative) discriminant has been the subject of renewed interest in recent years, with significant advances made by Schmidt, Ellenberg-Venkatesh, Bhargava, Bhargava-Shankar-Wang, and others. In this paper, we use the geometry of numbers and invariant theory of finite groups, in a manner similar to Ellenberg and Venkatesh, to give an upper bound on the number of extensions $L/K$ with fixed degree, bounded relative discriminant, and specified Galois closure.


title: Large-scale distributed Kalman filtering via an optimization approach

abstract: Large-scale distributed systems such as sensor networks, often need to achieve filtering and consensus on an estimated parameter from high-dimensional measurements. Running a Kalman filter on every node in such a network is computationally intensive; in particular the matrix inversion in the Kalman gain update step is expensive. In this paper, we extend previous results in distributed Kalman filtering and large-scale machine learning to propose a gradient descent step for updating an estimate of the error covariance matrix; this is then embedded and analyzed in the context of distributed Kalman filtering. We provide properties of the resulting filters, in addition to a number of applications throughout the paper.


title: Comparative study of the discrete velocity and lattice Boltzmann methods for rarefied gas flows through irregular channels

abstract: Rooted from the gas kinetics, the lattice Boltzmann method is a powerful tool in modeling hydrodynamics. In the past decade, it has been extended to simulate the rarefied gas flow beyond the Navier-Stokes level, either by using the high-order Gauss-Hermite quadrature, or by introducing the relaxation time that is a function of the gas-wall distance. While the former method, with a limited number of discrete velocities (i.e. D2Q36), is accurate up to the early transition flow regime, the latter method, with the same discrete velocities as that used in simulating hydrodynamics (i.e. D2Q9), is accurate up to the free-molecular flow regime in the Poiseuille flow between two parallel plates. This is quite astonishing in the sense that more discrete velocities are less accurate. In this paper, by solving the Bhatnagar-Gross-Krook kinetic equation accurately via the discrete velocity method, we find that the accuracy of the lattice Boltzmann method is reduced significantly in the simulation of rarefied gas flows through the rough surface and porous media. Our simulation results could serve as benchmarking cases for future development of the lattice Boltzmann method for modeling and simulation of rarefied gas flows in complex geometries.


title: Feature Sensitive Curve Registration by Kernel Matching

abstract: In this paper, we argue that the problem of registering two sets of functional data, where the underlying mean function has sharp features, is not properly addressed by methods designed to align a bunch of growth curves data. We provide a new method, which is able to pool local information without smoothing and to match sharp landmarks without manual identification. This method, which we refer to as kernel-matched registration, is based on maximizing a kernel-based measure of alignment. We prove that the proposed method is consistent under fairly general conditions. Simulation results show superiority of the performance of the proposed method over two existing methods. The proposed method is illustrated through the analysis of three sets of paleoclimatic data.


title: Polynomial interpolation and a priori bootstrap for computer-assisted proofs in nonlinear ODEs

abstract: In this work, we introduce a method based on piecewise polynomial interpolation to enclose rigorously solutions of nonlinear ODEs. Using a technique which we call a priori bootstrap, we transform the problem of solving the ODE into one of looking for a fixed point of a high order smoothing Picard-like operator. We then develop a rigorous computational method based on a Newton-Kantorovich type argument (the radii polynomial approach) to prove existence of a fixed point of the Picard-like operator. We present all necessary estimates in full generality and for any nonlinearities. With our approach, we study two systems of nonlinear equations: the Lorenz system and the ABC flow. For the Lorenz system, we solve Cauchy problems and prove existence of periodic and connecting orbits at the classical parameters, and for ABC flows, we prove existence of ballistic spiral orbits.


title: A Note On Polar Representations

abstract: We show how a polar representation of a compact connected Lie group can be linearly determined from its dimension and isotropy subgroup data in the general reducible case.


title: Classification of base of warped product almost Ricci solitons

abstract: In this paper we study a Ricci-Hessian type manifold $(\Bbb{M},g,\varphi,f,\lambda)$ which is closely related to the construction of almost Ricci soliton realized as a warped product. We classify certain classes of the Ricci-Hessian type manifolds and derive some implications for almost Ricci solitons and generalized $m$--quasi-Einstein manifolds. We consider two complementary cases: $\nabla f$ and $\nabla\varphi$ are linearly independent in $C^\infty(\Bbb{M})$--module $\mathfrak{X}(\Bbb{M})$; and $\nabla f=h\nabla\varphi$ for a smooth function $h$ on $\Bbb{M}$. In the first case we show that the vector field $\nabla\lambda$ belongs to the $C^\infty(\Bbb{M})$--module generated by $\nabla f$ and $\nabla\varphi$, while in the second case, under additional hypothesis, the manifold is, around any regular point of $f$, locally isometric to a warped product.


title: Andersen-Weeks-Chandler perturbation theory and one-component sticky-hard-spheres

abstract: We apply second order Andersen-Weeks-Chandler perturbation theory to the one-component sticky-hard-spheres fluid. We compare the results with the mean spherical approximation, the Percus-Yevick approximation, two generalized Percus-Yevick approximations, and the Monte Carlo simulations.

categories: physics.chem-ph cond-mat.mtrl-sci cond-mat.soft physics.comp-ph


title: Odd Yao-Yao Graphs are Not Spanners

abstract: It is a long standing open problem whether Yao-Yao graphs $\mathsf{YY}_{k}$ are all spanners [li2002sparse]. Bauer and Damian [bauer2013infinite] showed that all $\mathsf{YY}_{6k}$ for $k \geq 6$ are spanners. Li and Zhan [li2016almost] generalized their result and proved that all even Yao-Yao graphs $\mathsf{YY}_{2k}$ are spanners (for $k\geq 42$). However, their technique cannot be extended to odd Yao-Yao graphs, and whether they are spanners are still elusive. In this paper, we show that, surprisingly, for any integer $k \geq 1$, there exist odd Yao-Yao graph $\mathsf{YY}_{2k+1}$ instances, which are not spanners.


title: Dynamics of Pure Spin Current in High-frequency Quantum Regime

abstract: Pure spin current is a powerful tool for manipulating spintronic devices, and its dynamical behavior is an important issue. By using mesoscopic transport theory for electron tunneling induced by spin accumulation, we investigate the dynamics of the spin current in the high-frequency quantum regime, where the frequency is much larger than temperature and bias voltage. Besides the thermal noise, frequency-dependent finite noise emerges, signaling the spin current across the tunneling barrier. We also find that the autocorrelation of the spin current exhibits sinusoidal oscillation in time as a consequence of the Pauli exclusion principle even without any net charge current.


title: RG scaling relations at chiral phase transition in two-flavor QCD

abstract: We investigate the nature of the chiral phase transition in the massless two-flavor QCD using the renormalization group improved gauge action and the Wilson quark action on $32^3\times 16$, $24^3\times 12$, and $16^3\times 8$ lattices. Based on the renormalization group equation, we derive the scaling relation for the effective masses of mesons at the chiral phase transition point. If the chiral phase transition is second order, the effective masses as a function of the rescaled time/space do not depend on the lattice size and show the universal behavior. We find that our numerical simulations on the three sizes of lattices are excellently on the scaling curves, which is consistent with the second order phase transition.


title: Improving Pairwise Ranking for Multi-label Image Classification

abstract: Learning to rank has recently emerged as an attractive technique to train deep convolutional neural networks for various computer vision tasks. Pairwise ranking, in particular, has been successful in multi-label image classification, achieving state-of-the-art results on various benchmarks. However, most existing approaches use the hinge loss to train their models, which is non-smooth and thus is difficult to optimize especially with deep networks. Furthermore, they employ simple heuristics, such as top-k or thresholding, to determine which labels to include in the output from a ranked list of labels, which limits their use in the real-world setting. In this work, we propose two techniques to improve pairwise ranking based multi-label image classification: (1) we propose a novel loss function for pairwise ranking, which is smooth everywhere and thus is easier to optimize; and (2) we incorporate a label decision module into the model, estimating the optimal confidence thresholds for each visual concept. We provide theoretical analyses of our loss function in the Bayes consistency and risk minimization framework, and show its benefit over existing pairwise ranking formulations. We demonstrate the effectiveness of our approach on three large-scale datasets, VOC2007, NUS-WIDE and MS-COCO, achieving the best reported results in the literature.


title: Kepler-1649b: An Exo-Venus in the Solar Neighborhood

abstract: The Kepler mission has revealed that Earth-sized planets are common, and dozens have been discovered to orbit in or near their host star's habitable zone. A major focus in astronomy is to determine which of these exoplanets are likely to have Earth-like properties that are amenable to follow-up with both ground- and future space-based surveys, with an ultimate goal of probing their atmospheres to look for signs of life. Venus-like atmospheres will be of particular interest in these surveys. While Earth and Venus evolved to have similar sizes and densities, it remains unclear what factors led to the dramatic divergence of their atmospheres. Studying analogs to both Earth and Venus can thus shed light on the limits of habitability and the potential for life on known exoplanets. Here we present the discovery and confirmation of Kepler-1649b, an Earth-sized planet orbiting a nearby M5V star that receives incident flux at a level similar to that of Venus. We present our methods for characterizing the star, using a combination of PSF photometry, ground-based spectroscopy and imaging, to confirm the planetary nature of Kepler-1649b. Planets like Kepler-1649b will be prime candidates for atmospheric and habitability studies in the next generation of space missions.