title: Explicit Realization of Hopf Cyclic Cohomology Classes of Bicrossed Product Hopf Algebras

abstract: We construct a Hopf action, with an invariant trace, of a bicrossed product Hopf algebra $\cH=\big( \cU(\Fg_1) \acr \cR(G_2) \big)^{\cop}$ constructed from a matched pair of Lie groups $G_1$ and $G_2$, on a convolution algebra $\cA=C_c^{\ify}(G_1)\rtimes G_2^{\delta}$. We give an explicit way to construct Hopf cyclic cohomology classes of our Hopf algebra $\cH$ and then realize these classes in terms of explicit representative cocycles in the cyclic cohomology of the convolution algebra $\cA$.


title: BinaryConnect: Training Deep Neural Networks with binary weights during propagations

abstract: Deep Neural Networks (DNN) have achieved state-of-the-art results in a wide range of tasks, with the best results obtained with large training sets and large models. In the past, GPUs enabled these breakthroughs because of their greater computational speed. In the future, faster computation at both training and test time is likely to be crucial for further progress and for consumer applications on low-power devices. As a result, there is much interest in research and development of dedicated hardware for Deep Learning (DL). Binary weights, i.e., weights which are constrained to only two possible values (e.g. -1 or 1), would bring great benefits to specialized DL hardware by replacing many multiply-accumulate operations by simple accumulations, as multipliers are the most space and power-hungry components of the digital implementation of neural networks. We introduce BinaryConnect, a method which consists in training a DNN with binary weights during the forward and backward propagations, while retaining precision of the stored weights in which gradients are accumulated. Like other dropout schemes, we show that BinaryConnect acts as regularizer and we obtain near state-of-the-art results with BinaryConnect on the permutation-invariant MNIST, CIFAR-10 and SVHN.


title: Gauge transformation of quantum states in probability representation

abstract: The gauge invariance of the evolution equations of tomographic probability distribution functions of quantum particles in an electromagnetic field is illustrated. Explicit expressions for the transformations of ordinary tomograms of states under a gauge transformation of electromagnetic field potentials are obtained. Gauge-independent optical and symplectic tomographic quasi-distributions and tomographic probability distributions of states of quantum system are introduced, and their evolution equations having the Liouville equation in corresponding representations as the classical limit are found.


title: Photoinduced correlated electron dynamics in a two-leg ladder Hubbard system

abstract: Photoinduced carrier dynamics in a correlated electron system on a coupled two-leg ladder lattice are studied. The two-leg ladder Hubbard model is analyzed by utilizing the exact diagonalization method based on the Lanczos algorithm in finite size clusters. In order to reveal the transient carrier dynamics after photoirradiation, we calculate the low-energy components of the hole kinetic energy, the pair-field correlation function, the optical conductivity spectra and others. It is shown that the photoinduced metallic-like state appears in a half filled Mott insulating state, while the low-energy carrier motion is suppressed by photoirradiation in hole doped metallic states. These photoinduced changes in electron dynamics are associated with changes in the carrier-pair coherence, and are not attributed to a naive thermalization but to a ladder-lattice effect. Based on the numerical results, optical controls of hole pairs by using the double-pulse pumping are demonstrated. Implications to the recent optical pump-probe experiments are presented.


title: Long wavelength limit for the quantum Euler-Poisson equation

abstract: In this paper, we consider the long wavelength limit for the quantum Euler-Poisson equation. Under the Gardner-Morikawa transform, we derive the quantum Korteweg-de Vries (KdV) equation by a singular perturbation method. We show that the KdV dynamics can be seen at time interval of order $O(\epsilon^{-3/2})$. When the nondimensional quantum parameter $H=2$, it reduces to the inviscid Burgers equation.


title: I/O Efficient Core Graph Decomposition at Web Scale

abstract: Core decomposition is a fundamental graph problem with a large number of applications. Most existing approaches for core decomposition assume that the graph is kept in memory of a machine. Nevertheless, many real-world graphs are big and may not reside in memory. In the literature, there is only one work for I/O efficient core decomposition that avoids loading the whole graph in memory. However, this approach is not scalable to handle big graphs because it cannot bound the memory size and may load most parts of the graph in memory. In addition, this approach can hardly handle graph updates. In this paper, we study I/O efficient core decomposition following a semi-external model, which only allows node information to be loaded in memory. This model works well in many web-scale graphs. We propose a semi-external algorithm and two optimized algorithms for I/O efficient core decomposition using very simple structures and data access model. To handle dynamic graph updates, we show that our algorithm can be naturally extended to handle edge deletion. We also propose an I/O efficient core maintenance algorithm to handle edge insertion, and an improved algorithm to further reduce I/O and CPU cost by investigating some new graph properties. We conduct extensive experiments on 12 real large graphs. Our optimal algorithm significantly outperform the existing I/O efficient algorithm in terms of both processing time and memory consumption. In many memory-resident graphs, our algorithms for both core decomposition and maintenance can even outperform the in-memory algorithm due to the simple structures and data access model used. Our algorithms are very scalable to handle web-scale graphs. As an example, we are the first to handle a web graph with 978.5 million nodes and 42.6 billion edges using less than 4.2 GB memory.


title: Entanglement detection via general SIC-POVMs

abstract: We study separability problem using general symmetric informationally complete measurements and propose separability criteria in $\mathbb{C}^{d_{1}}\otimes\mathbb{C}^{d_{2}}$ and $\mathbb{C}^{d_{1}}\otimes\mathbb{C}^{d_{2}}\cdots\otimes\mathbb{C}^{d_{n}}$. Our criteria just require less local measurements and provide experimental implementation in detecting entanglement of unknown quantum states.


title: Uniformity of Cosmic Microwave Background as a Non-Inflationary Geometrical Effect

abstract: The conventional $\Lambda$CDM cosmological model supplemented by the inflation concept describes the Universe very well. However, there are still a few concerns: new Planck data impose constraints on the shape of the inflaton potential, which exclude a lot of inflationary models; dark matter is not detected directly, and dark energy is not understood theoretically on a satisfactory level. In this brief sketch we investigate an alternative cosmological model with spherical spatial geometry and an additional perfect fluid with the constant parameter $\omega=-1/3$ in the linear equation of state. It is demonstrated explicitly that in the framework of such a model it is possible to satisfy the supernovae data at the same level of accuracy as within the $\Lambda$CDM model and at the same time suppose that the observed cosmic microwave background (CMB) radiation originates from a very limited space region. This is ensured by introducing an additional condition of light propagation between the antipodal points during the age of the Universe. Consequently, the CMB uniformity can be explained without the inflation scenario. The corresponding drawbacks of the model with respect to its comparison with the CMB data are also discussed.


title: A Two-Stage Penalized Least Squares Method for Constructing Large Systems of Structural Equations

abstract: We propose a two-stage penalized least squares method to build large systems of structural equations based on the instrumental variables view of the classical two-stage least squares method. We show that, with large numbers of endogenous and exogenous variables, the system can be constructed via consistent estimation of a set of conditional expectations at the first stage, and consistent selection of regulatory effects at the second stage. While the consistent estimation at the first stage can be obtained via the ridge regression, the adaptive lasso is employed at the second stage to achieve the consistent selection. The resultant estimates of regulatory effects enjoy the oracle properties. This method is computationally fast and allows for parallel implementation. We demonstrate its effectiveness via simulation studies and real data analysis.


title: Differentiable stratified groupoids and a de Rham theorem for inertia spaces

abstract: We introduce the notions of a differentiable groupoid and a differentiable stratified groupoid, generalizations of Lie groupoids in which the spaces of objects and arrows have the structures of differentiable spaces, respectively differentiable stratified spaces, compatible with the groupoid structure. After studying basic properties of these groupoids including Morita equivalence, we prove a de Rham theorem for locally contractible differentiable stratified groupoids. We then focus on the study of the inertia groupoid associated to a proper Lie groupoid. We show that the loop and the inertia space of a proper Lie groupoid can be endowed with a natural Whitney B stratification, which we call the orbit Cartan type stratification. Endowed with this stratification, the inertia groupoid of a proper Lie groupoid becomes a locally contractible differentiable stratified groupoid.


title: Precision QCD for LHC Physics: The nCTEQ15 PDFs

abstract: Searches for new physics at the LHC will increasingly depend on identifying deviations from precision Standard Model (SM) predictions. At the higher energy scales involved for the LHC Run 2, the heavy quarks play a more prominent role than at the Tevatron. Recent theoretical developments improve our ability to address multi-scale problems and properly incorporate heavy quark masses across the full kinematic range. These developments are incorporated into the new nCTEQ15 PDFs, and we review these developments with respect to sample Run 2 measurements, and identify areas where additional effort is required.


title: Searches for New Physics at the Belle II Experiment

abstract: The Belle II experiment at the SuperKEKB collider is an upgrade of the Belle / KEKB experiment. It will start physics data taking from 2018 and with $40$ times luminosity, its goal is to accumulate 50 $ab^{-1}$ of $e^+e^-$ collision data. The physics programs have a wide range of areas for new physics, such as more constraints on CKM Unitarity Triangle, searching for charged Higgs, direct CPV, Lepton Flavour Violation and dark matter.In this monograph, we will review the current status of Belle II and SuperKEKB construction and introduce the main physics opportunities at this facility.


title: Performance of Scintillator Counters with Silicon Photomultiplier Readout

abstract: The performance of scintillator counters with embedded wavelength-shifting fibers has been measured in the Fermilab Meson Test Beam Facility using 120 GeV protons. The counters were extruded with a titanium dioxide surface coating and two channels for fibers at the Fermilab NICADD facility. Each fiber end is read out by a 2*2 mm^2 silicon photomultiplier. The signals were amplified and digitized by a custom-made front-end electronics board. Combinations of 5*2 cm^2 and 6*2 cm^2 extrusion profiles with 1.4 and 1.8 mm diameter fibers were tested. The design is intended for the cosmic-ray veto detector for the Mu2e experiment at Fermilab. The light yield as a function of the transverse and longitudinal position of the beam will be given.


title: Separability criteria based on the realignment of density matrices and reduced density matrices

abstract: By combining a parameterized Hermitian matrix, the realignment matrix of the bipartite density matrix $\rho$ and the vectorization of its reduced density matrices, we present a family of separability criteria, which are stronger than the computable cross norm or realignment (CCNR) criterion. With linear contraction methods, the proposed criteria can be used to detect the multipartite entangled states that are biseparable under any bipartite partitions. Moreover, we show by examples that the presented multipartite separability criteria can be more efficient than the corresponding multipartite realignment criterion based on CCNR, multipartite correlation tensor criterion and multipartite covariance matrix criterion.


title: Exact Cosmological Solutions of $f(R)$ Theories via Hojman Symmetry

abstract: Nowadays, $f(R)$ theory has been one of the leading modified gravity theories to explain the current accelerated expansion of the universe, without invoking dark energy. It is of interest to find the exact cosmological solutions of $f(R)$ theories. Besides other methods, symmetry has been proved as a powerful tool to find exact solutions. On the other hand, symmetry might hint the deep physical structure of a theory, and hence considering symmetry is also well motivated. As is well known, Noether symmetry has been extensively used in physics. Recently, the so-called Hojman symmetry was also considered in the literature. Hojman symmetry directly deals with the equations of motion, rather than Lagrangian or Hamiltonian, unlike Noether symmetry. In this work, we consider Hojman symmetry in $f(R)$ theories in both the metric and Palatini formalisms, and find the corresponding exact cosmological solutions of $f(R)$ theories via Hojman symmetry. There exist some new solutions significantly different from the ones obtained by using Noether symmetry in $f(R)$ theories. To our knowledge, they also have not been found previously in the literature. This work confirms that Hojman symmetry can bring new features to cosmology and gravity theories.


title: Effect of the long-range Coulomb interaction on phase diagram of the Kohn-Luttinger superconducting state in idealized graphene

abstract: The effect of the long-range Coulomb interaction on the realization of the Kohn-Luttinger superconductivity in idealized monolayer doped graphene is studied. It is shown that the allowance for the Kohn-Luttinger renormalizations up to the second order in perturbation theory in the on-site Hubbard interaction inclusively, as well as the intersite Coulomb interaction significantly affects the competition between the superconducting phases with the $f$-wave, $p+ip$-wave and $d + id$-wave symmetries of the order parameter. It is shown that the account for the Coulomb repulsion of electrons located at the next-nearest neighboring atoms in such a system changes qualitatively the phase diagram and enhances the critical superconducting temperature.


title: Subcarrier grouping with environmental sensing for MIMO-OFDM systems over correlated double-selective fading channels

abstract: With the increase of physical antenna and subcarrier numbers in MIMO-OFDM systems, channel side information feedback amount and signal precoding complexity overburden will consume much more system resource, even become intolerable. To solve this problem, previous works mainly focused on fixed subcarrier grouping size and precoded MIMO signals in the same group with unitary channel state information (CSI). It could reduce the system overburden, but such a process would lead to system capacity loss due to the channel mismatch in precoding procedure. In this paper, we consider a MIMOOFDM system over double-selective i.i.d. Rayleigh channels and investigate the quantitative relation between group size and capacity loss theoretically. By exploiting our developed theoretical results, we also propose an adaptive subcarrier grouping algorithm, which not only enables to have a good control of system service quality but also to reduce system overburden significantly. Numerical results are shown to provide valuable insights on the system design of MIMO-OFDM systems and indicate that the proposed subcarrier grouping scheme is extremely efficient in some common scenarios.


title: A Functional Composition Approach to Filter Sharpening and Modular Filter Design

abstract: Designing and implementing systems as an interconnection of smaller subsystems is a common practice for modularity and standardization of components and design algorithms. Although not typically cast in this framework, many of these approaches can be viewed within the mathematical context of functional composition. This paper re-interprets and generalizes within the functional composition framework one such approach known as filter sharpening, i.e. interconnecting filter modules which have significant approximation error in order to obtain improved filter characteristics. More specifically, filter sharpening is approached by determining the composing polynomial to minimize the infinity-norm of the approximation error, utilizing the First Algorithm of Remez. This is applied both to sharpening for FIR, even-symmetric filters and for the more general case of subfilters that have complex-valued frequency responses including causal IIR filters and for continuous-time filters. Within the framework of functional composition, this paper also explores the use of functional decomposition to approximate a desired system as a composition of simpler functions based on a two-norm on the approximation error. Among the potential advantages of this decomposition is the ability for modular implementation in which the inner component of the functional decomposition represents the subfilters and the outer the interconnection.


title: Effect of site dilution in the two-dimensional attractive Hubbard model

abstract: We study the percolative superconducting transition as the density of randomly placed attractive centers grows in a host metal. Employing the Hubbard-Stratanovich transformation for the interaction and allowing for spatial, thermal fluctuations of the pairing field, we obtain real-space features of the transition from weak to strong coupling. Spectral and transport properties are studied in detail. BCS-BEC crossover is discussed in the context of site dilution of attractive centers.


title: Rheology modulated non-equilibrium fluctuations in time-dependent diffusion processes

abstract: The effect of non-Newtonian rheology, manifested through a viscoelastic linearized Maxwell model, on the time-dependent non-equilibrium concentration fluctuations due to free diffusion as well as thermal diffusion of a species is analyzed theoretically. The non-equilibrium process is quantified through the concentration fluctuation auto-correlation function, also known as the dynamic structure factor. The analysis reveals that the effect of rheology is prominent for both the cases of free diffusion and thermal diffusion at long times where the rheology dictates not only the location of the peaks in concentration auto-correlations, but also the magnitudes; such peaks in the auto-correlation function are absent in the case of a Newtonian fluid. At smaller times, for the case of free diffusion presence of time-dependent peak(s) are observed, which are weakly dependent on the influence of rheology, a phenomenon which is absent in the case of thermal diffusion. Lastly, different regimes of the frequency dependent overall dynamic structure factor depending on the interplay of the fluid relaxation time and momentum diffusivity are evaluated.


title: Low Correlation Noise Stability of Symmetric Sets

abstract: We study the Gaussian noise stability of subsets A of Euclidean space satisfying A=-A. It is shown that an interval centered at the origin, or its complement, maximizes noise stability for small correlation, among symmetric subsets of the real line of fixed Gaussian measure. On the other hand, in dimension two and higher, the ball or its complement does not always maximize noise stability among symmetric sets of fixed Gaussian measure. In summary, we provide the first known positive and negative results for the Symmetric Gaussian Problem.


title: Phase transition of holographic entanglement entropy in massive gravity

abstract: The phase structure of holographic entanglement entropy is studied in massive gravity for the quantum systems with finite and infinite volumes, which in the bulk is dual to calculate the minimal surface area for a black hole and black brane respectively. In the entanglement entropy$-$temperature plane, we find for both the black hole and black brane there is a Van der Waals-like phase transition as the case in thermal entropy$-$temperature plane. That is, there is a first order phase transition for the small charge and a second order phase transition at the critical charge. For the first order phase transition, the equal area law is checked and for the second order phase transition, the critical exponent of the heat capacity is obtained. All the results show that the phase structure of holographic entanglement entropy is the same as that of thermal entropy regardless of the volume of the spacetime on the boundary.


title: Z Specification for the W3C Editor's Draft Core SHACL Semantics

abstract: This article provides a formalization of the W3C Draft Core SHACL Semantics specification using Z notation. This formalization exercise has identified a number of quality issues in the draft. It has also established that the recursive definitions in the draft are well-founded. Further formal validation of the draft will require the use of an executable specification technology.


title: Anomalous europium luminescence in LaF3

abstract: Optical spectra (absorption, emission, excitation, decay) and dielectric relaxation were measured for divalent europium (and partially for ytterbium) in lanthanum fluoride crystals. Absorption of Eu$^{2+}$ contains not only asymmetric weakly structured band at 245 nm but also long-wavelength bands at 330, 380 nm. Broadband Eu$^{2+}$ emission at 600 nm appeared below 80 K, having decay time 2.2 $\mu$s at 7.5 K. Emission at 600 nm is attributed to so-called anomalous luminescence. Bulk conductivity is directly proportional to absorption coefficient of Eu$^{2+}$ bands. Dielectric relaxation peak of LaF$_3$-EuF$_3$ is attributed to rotation of dipoles Eu$^{2+}$-anion vacancy. The long-wavelength absorption bands at 330, 380 nm are assigned to transitions from 4f$^7$ Eu$^{2+}$ ground state to states of neighbouring fluorine vacancy.


title: Saturation Physics on the Energy Frontier

abstract: Saturation physics is expected to be relevant at sufficiently small parton momentum fractions $x$ in high-energy proton- (or deuteron-)ion collisions at RHIC and the LHC. Accordingly, these collisions provide the best available testing ground for the saturation model. However, producing precise numerical predictions from the model is a complicated task; the state of the art in this area involves next-to-leading order QCD calculations, which are difficult to do numerically. Here I'll review recent progress in extracting numerical predictions from saturation models and matching them to experimental results.


title: Topology of Closed Hypersurfaces of Small Entropy

abstract: We use a weak mean curvature flow together with a surgery procedure to show that all closed hypersurfaces in $\mathbb{R}^4$ with entropy less than or equal to that of $\mathbb{S}^2\times \mathbb{R}$, the round cylinder in $\mathbb{R}^4$, are diffeomorphic to $\mathbb{S}^3$.


title: The First Law of Black Hole Mechanics for Fields with Internal Gauge Freedom

abstract: We derive the first law of black hole mechanics for physical theories based on a local, covariant and gauge-invariant Lagrangian where the dynamical fields transform non-trivially under the action of internal gauge transformations. The theories of interest include General Relativity formulated in terms of tetrads, Einstein-Yang-Mills theory and Einstein-Dirac theory. Since the dynamical fields of these theories have gauge freedom, we argue that there is no group action of diffeomorphisms of spacetime on such dynamical fields. In general, such fields cannot even be represented as smooth, globally well-defined tensor fields on spacetime. Consequently the derivation of the first law by Iyer-Wald cannot be used directly. We show how such theories can be formulated on a principal bundle and that there is a natural action of automorphisms of the bundle on the fields. These bundle automorphisms encode both spacetime diffeomorphisms and gauge transformations. Using this reformulation we define the Noether charge associated to an infinitesimal automorphism and the corresponding notion of stationarity and axisymmetry of the dynamical fields. We define certain potentials and charges at the horizon of a black hole so that the potentials are constant on the bifurcate Killing horizon, giving a generalised zeroth law for bifurcate Killing horizons. We identify the gravitational potential and perturbed charge as the temperature and perturbed entropy of the black hole which gives an explicit formula for the perturbed entropy analogous to the Wald entropy formula. We obtain a general first law of black hole mechanics for such theories. The first law relates the perturbed Hamiltonians at spatial infinity and the horizon, and the horizon contributions take the form of a potential times perturbed charge term. We also comment on the ambiguities in defining a prescription for the total entropy for black holes.


title: Properties of Certain Partial dynamic Integrodifferential equations

abstract: The aim of the present paper is to study the existence, uniqueness and some other properties of solutions of a certain partial dynamic integrodifferential equations. The Banach fixed point theorem and certain fundamental inequality with explicit estimates are used to establish our results.


title: Future HEP Accelerators: The US Perspective

abstract: Accelerator technology has advanced tremendously since the introduction of accelerators in the 1930s, and particle accelerators have become indispensable instruments in high energy physics (HEP) research to probe Nature at smaller and smaller distances. At present, accelerator facilities can be classified into Energy Frontier colliders that enable direct discoveries and studies of high mass scale particles and Intensity Frontier accelerators for exploration of extremely rare processes, usually at relatively low energies. The near term strategies of the global energy frontier particle physics community are centered on fully exploiting the physics potential of the Large Hadron Collider (LHC) at CERN through its high-luminosity upgrade (HL-LHC), while the intensity frontier HEP research is focused on studies of neutrinos at the MW-scale beam power accelerator facilities, such as Fermilab Main Injector with the planned PIP-II SRF linac project. A number of next generation accelerator facilities have been proposed and are currently under consideration for the medium- and long-term future programs of accelerator-based HEP research. In this paper, we briefly review the post-LHC energy frontier options, both for lepton and hadron colliders in various regions of the world, as well as possible future intensity frontier accelerator facilities.


title: Shaping symmetric Airy beam through binary amplitude modulation for ultralong needle focus

abstract: Needle-like electromagnetic fields has various advantages for the applications in high-resolution imaging, Raman Spectroscopy, as well as long-distance optical transportation. The realization of such field often requires high numerical aperture (NA) objective lens and the transmission masks. We demonstrate an ultralong needle-like focus in the optical range produced with an ordinary lens. This is achieved by focusing a symmetric Airy beam (SAB) generated via binary spectral modulation with a digital micromirror device(DMD). Such amplitude modulation technique is able to shape traditional Airy beams, SABs, as well as the dynamic transition modes between the one-dimensional(1D) and two-dimensional (2D) symmetric Airy modes. The created 2D SAB was characterized through measurement of the propagating fields with one of the four main lobes blocked by an opaque mask. The 2D SAB was verified to exhibit self-healing property against propagation with the obstructed major lobe reconstructed after a certain distance. We further produced an elongated focal line by concentrating the SAB via lenses with different NA's, and achieved an ultralong longitudinal needle focus. The produced long needle focus will be applied in optical, chemical, and biological sciences.


title: A detection of baryon acoustic oscillations from the distribution of galaxy clusters

abstract: We calculate the correlation function of 79,091 galaxy clusters in the redshift region of $z \leq 0.5$ selected from the WH15 cluster catalog. With a weight of cluster mass, a significant baryon acoustic oscillation (BAO) peak is detected on the correlation function with a significance of $3.7 \sigma$. By fitting the correlation function with a $\Lambda$CDM model curve, we find $D_v(z = 0.331) r_d^{fid}/r_d = 1261.5 \pm 48$~Mpc which is consistent with the Planck 2015 cosmology. We find that the correlation function of the higher mass sub-sample shows a higher amplitude at small scales of $r < 80~h^{-1}{\rm Mpc}$, which is consistent with our previous result. The 2D correlation function of this large sample of galaxy clusters shows a faint BAO ring with a significance of $1.8\sigma$, from which we find that the distance scale parameters on directions across and along the line-of-sight are $\alpha_{\sigma} = 1.02 \pm 0.06$ and $\alpha_{\pi} = 0.94 \pm 0.10$, respectively.


title: Detection of Faults in Rotating Machinery Using Periodic Time-Frequency Sparsity

abstract: This paper addresses the problem of extracting periodic oscillatory features in vibration sig- nals for detecting faults in rotating machinery. To extract the feature, we propose an approach in the short-time Fourier transform (STFT) domain where the periodic oscillatory feature man- ifests itself as a relatively sparse grid. To estimate the sparse grid, we formulate an optimization problem using customized binary weights in the regularizer, where the weights are formulated to promote periodicity. In order to solve the proposed optimization problem, we develop an algorithm called augmented Lagrangian majorization-minimization algorithm, which combines the split augmented Lagrangian shrinkage algorithm (SALSA) with majorization-minimization (MM), and is guaranteed to converge for both convex and non-convex formulation. As examples, the proposed approach is applied to simulated data, and used as a tool for diagnosing faults in bearings and gearboxes for real data, and compared to some state-of-the-art methods. The results show the proposed approach can effectively detect and extract the periodical oscillatory features.


title: Submodular Functions: from Discrete to Continous Domains

abstract: Submodular set-functions have many applications in combinatorial optimization, as they can be minimized and approximately maximized in polynomial time. A key element in many of the algorithms and analyses is the possibility of extending the submodular set-function to a convex function, which opens up tools from convex optimization. Submodularity goes beyond set-functions and has naturally been considered for problems with multiple labels or for functions defined on continuous domains, where it corresponds essentially to cross second-derivatives being nonpositive. In this paper, we show that most results relating submodularity and convexity for set-functions can be extended to all submodular functions. In particular, (a) we naturally define a continuous extension in a set of probability measures, (b) show that the extension is convex if and only if the original function is submodular, (c) prove that the problem of minimizing a submodular function is equivalent to a typically non-smooth convex optimization problem, and (d) propose another convex optimization problem with better computational properties (e.g., a smooth dual problem). Most of these extensions from the set-function situation are obtained by drawing links with the theory of multi-marginal optimal transport, which provides also a new interpretation of existing results for set-functions. We then provide practical algorithms to minimize generic submodular functions on discrete domains, with associated convergence rates.


title: Status Update of the MAJORANA DEMONSTRATOR Neutrinoless Double Beta Decay Experiment

abstract: Neutrinoless double beta decay searches play a major role in determining neutrino properties, in particular the Majorana or Dirac nature of the neutrino and the absolute scale of the neutrino mass. The consequences of these searches go beyond neutrino physics, with implications for Grand Unification and leptogenesis. The \textsc{Majorana} Collaboration is assembling a low-background array of high purity Germanium (HPGe) detectors to search for neutrinoless double-beta decay in $^{76}$Ge. The \textsc{Majorana Demonstrator}, which is currently being constructed and commissioned at the Sanford Underground Research Facility in Lead, South Dakota, will contain 44 kg (30 kg enriched in $^{76}$Ge) of HPGe detectors. Its primary goal is to demonstrate the scalability and background required for a tonne-scale Ge experiment. This is accomplished via a modular design and projected background of less than 3 cnts/tonne-yr in the region of interest. The experiment is currently taking data with the first of its enriched detectors.


title: Realizing enveloping algebras via moduli stacks

abstract: Let $\mathop{\rm CF}\nolimits(\mathop{\mathfrak{Obj}\kern .05em}\nolimits_\mathcal{A})$ denote the vector space of $\mathbb{Q}$-valued constructible functions on a given stack $\mathop{\mathfrak{Obj}\kern .05em}\nolimits_\mathcal{A}$ for an exact category $\mathcal{A}$. By using the Ringel--Hall algebra approach, Joyce proved that $\mathop{\rm CF}\nolimits(\mathop{\mathfrak{Obj}\kern .05em}\nolimits_\mathcal{A})$ is an associative $\mathbb{Q}$-algebra via the convolution multiplication and the subspace $\mathop{\rm CF}\nolimits^{\rm ind}\mathop{\mathfrak{Obj}\kern .05em}\nolimits_\mathcal{A})$ of constructible functions supported on indecomposables is a Lie subalgebra of $\mathop{\rm CF}\nolimits(\mathop{\mathfrak{Obj}\kern .05em}\nolimits_\mathcal{A})$ in [10]. In this paper, we show that there is a subalgebra $\mathop{\rm CF}\nolimits^{\text{KS}}(\mathop{\mathfrak{Obj}\kern .05em}\nolimits_\mathcal{A})$ of $\mathop{\rm CF}\nolimits(\mathop{\mathfrak{Obj}\kern .05em}\nolimits_\mathcal{A})$ isomorphic to the universal enveloping algebra of $\mathop{\rm CF}\nolimits^{\rm ind}(\mathop{\mathfrak{Obj}\kern .05em}\nolimits_\mathcal{A})$. Moreover we construct a comultiplication on $\mathop{\rm CF}\nolimits^{\text{KS}}(\mathop{\mathfrak{Obj}\kern .05em}\nolimits_\mathcal{A})$ and a degenerate form of Green's theorem. This generalizes Joyce's work, as well as results of [3].


title: Non-perturbative Renormalization of Bilinear Operators on Fine Lattice

abstract: We present results of the wave function renormalization factor $Z_q$ and mass renormalization factor $Z_m$ obtained using non-perturbative renormalization (NPR) method in the RI-MOM scheme with HYP improved staggered quarks. We use fine ensembles of MILC asqtad lattices ($N_f = 2+1$) with $28^3 \times 96$ geometry, $a \approx 0.09$\,fm, and $am_\ell/am_s = 0.0062/0.031 $. We also study on scalability of $Z_q$ and $Z_m$ by comparing the results on the coarse and fine ensembles.


title: Matter, Energy, and Heat Transfer in a Classical Ballistic Atom Pump

abstract: A ballistic atom pump is a system containing two reservoirs of neutral atoms or molecules and a junction connecting them containing a localized time-varying potential. Atoms move through the pump as independent particles. Under certain conditions, these pumps can create net transport of atoms from one reservoir to the other. While such systems are sometimes called "quantum pumps," they are also models of classical chaotic transport, and their quantum behavior cannot be understood without study of the corresponding classical behavior. Here we examine classically such a pump's effect on energy and temperature in the reservoirs, in addition to net particle transport. We show that the changes in particle number, of energy in each reservoir, and of temperature in each reservoir vary in unexpected ways as the incident particle energy is varied.


title: The effect of permanent dipole moment on the polar molecule cavity quantum electrodynamics

abstract: A dressed-state perturbation theory beyond the rotating waveapproxi-mation (RWA) is presented to investigate the interaction between a two level electronic transition of the polar molecules and a quantized cavity field. Analytical expressions can be explicitly derived for both the ground- and excited-state-energy spectrums and wave functions of the system, where the contribution of permanent dipole moments (PDM) and the counter-rotating wave term (CRT) can be shown separately. The validity of these explicit results is discussed by comparing with the direct numerical simulation. Comparing to CRT coupling, PDM results in the coupling of more dressed states and the energy shift proportional to the square of the normalized permanent dipole difference, and a greater Bloch-Siegert shift could be produced in giant dipole molecule cavity QED. In addition, our method could also be extended to the solution of two-level atom Rabi model Hamiltonian beyond the RWA.


title: Reidemeister torsion, hyperbolic three-manifolds, and character varieties

abstract: This is a survey on Reidemeister torsion for hyperbolic three-manifolds of finite volume. Torsions are viewed as topological invariants and also as functions on the variety of representations in $\operatorname{ SL}_2(\mathbb C)$. In both cases, the torsions may also be computed after composing with finite dimensional representations of $\operatorname{ SL}_2(\mathbb C)$. In addition the paper deals with the torsion of the adjoint representation as a function on the variety of $\operatorname{ PSL}_{n+1}(\mathbb C)$-characters, using that the first cohomology group with coefficients twisted by the adjoint is the tangent space to the variety of characters.


title: Imaging SKA-Scale data in three different computing environments

abstract: We present the results of our investigations into options for the computing platform for the imaging pipeline in the CHILES project, an ultra-deep HI pathfinder for the era of the Square Kilometre Array. CHILES pushes the current computing infrastructure to its limits and understanding how to deliver the images from this project is clarifying the Science Data Processing requirements for the SKA. We have tested three platforms: a moderately sized cluster, a massive High Performance Computing (HPC) system, and the Amazon Web Services (AWS) cloud computing platform. We have used well-established tools for data reduction and performance measurement to investigate the behaviour of these platforms for the complicated access patterns of real-life Radio Astronomy data reduction. All of these platforms have strengths and weaknesses and the system tools allow us to identify and evaluate them in a quantitative manner. With the insights from these tests we are able to complete the imaging pipeline processing on both the HPC platform and also on the cloud computing platform, which paves the way for meeting big data challenges in the era of SKA in the field of Radio Astronomy. We discuss the implications that all similar projects will have to consider, in both performance and costs, to make recommendations for the planning of Radio Astronomy imaging workflows.


title: On the computation of the Ratliff-Rush closure, associated graded ring and invariance of a length

abstract: Let $(R,\fm)$ be a Cohen-Macaulay local ring of positive dimension $d$ and infinite residue field. Let $I$ be an $\fm$-primary ideal of $R$ and $J$ be a minimal reduction of $I$. In this paper we show that if $\widetilde{I^k}=I^k$ and $J\cap I^n=JI^{n-1}$ for all $n\geq k+2$, then $\widetilde{I^n}=I^n$ for all $n\geq k$. As a consequence, we can deduce that if $r_J(I)=2$, then $\widetilde{I}=I$ if and only if $\widetilde{I^n}=I^n$ for all $n\geq 1$. Moreover, we recover some main results [\ref{Cpv}] and [\ref{G}]. Finally, we give a counter example for question 3 of [\ref{P1}].


title: AdS/CFT and local renormalization group with gauge fields

abstract: We revisit a study of local renormalization group (RG) with background gauge fields incorporated using the AdS/CFT correspondence. Starting with a $(d+1)$-dimensional bulk gravity coupled to scalars and gauge fields, we derive a local RG equation from a flow equation by working in the Hamilton-Jacobi formulation of the bulk theory. The Gauss's law constraint associated with gauge symmetry plays an important role. RG flows of the background gauge fields are governed by vector $\beta$-functions, and some interesting properties of them are known to follow. We give a systematic rederivation of them on the basis of the flow equation. Fixing an ambiguity of local counterterms in such a manner that is natural from the viewpoint of the flow equation, we determine all the coefficients uniquely appearing in the trace of the stress tensor for $d=4$. A relation between a choice of schemes and a Virial current is discussed. As a consistency check, these are found to satisfy the integrability conditions of local RG transformations. From these results, we are led to a proof of a holographic $c$-theorem by finding out a full family of schemes where a trace anomaly coefficient is related with a holographic $c$-function.


title: Yang-Baxter invariance of the Nappi-Witten model

abstract: We study Yang-Baxter deformations of the Nappi-Witten model with a prescription invented by Delduc, Magro and Vicedo. The deformations are specified by skew-symmetric classical $r$-matrices satisfying (modified) classical Yang-Baxter equations. We show that the sigma-model metric is invariant under arbitrary deformations (while the coefficient of $B$-field is changed) by utilizing the most general classical $r$-matrix. Furthermore, the coefficient of $B$-field is determined to be the original value from the requirement that the one-loop $\beta$-function should vanish. After all, the Nappi-Witten model is the unique conformal theory within the class of the Yang-Baxter deformations preserving the conformal invariance.


title: Exploration of Beyond the Standard Model Physics at the ILC

abstract: The International Linear Collider (ILC) will advance our understanding of fundamental physics, through a program for precision measurements of the Higgs boson and of the top quark properties. An additional crucial goal of the ILC will be the direct discovery of light New Physics (NP) particles. This proceeding gives an overview of the ILC direct discovery potential. Special emphasis is dedicated to the discovery prospects for light hidden Supersymmetric particles, such as Higgsinos and staus. Furthermore, it will be extremely promising to have analyses aimed to the discovery of light hidden NP particles produced from new decay modes of the Higgs boson. The ILC low background environment, as well as the precise knowledge of the initial-state beams are also ideal for the precise measurements of the spectrum and interactions of these NP particles, once discovered.


title: Contractions and deformations

abstract: Suppose that f is a projective birational morphism with at most one-dimensional fibres between d-dimensional varieties X and Y, satisfying ${\bf R}f_* \mathcal{O}_X = \mathcal{O}_Y$. Consider the locus L in Y over which f is not an isomorphism. Taking the scheme-theoretic fibre C over any closed point of L, we construct algebras $A_{fib}$ and $A_{con}$ which prorepresent the functors of commutative deformations of C, and noncommutative deformations of the reduced fibre, respectively. Our main theorem is that the algebras $A_{con}$ recover L, and in general the commutative deformations of neither C nor the reduced fibre can do this. As the d=3 special case, this proves the following contraction theorem: in a neighbourhood of the point, the morphism f contracts a curve without contracting a divisor if and only if the functor of noncommutative deformations of the reduced fibre is representable.


title: An efficient quantum light-matter interface with sub-second lifetime

abstract: Quantum repeater holds the promise for scalable long-distance quantum communication. Towards a first quantum repeater based on memory-photon entanglement, significant progresses have made in improving performances of the building blocks. Further development is hindered by the difficulty of integrating key capabilities such as long storage time and high memory efficiency into a single system. Here we report an efficient light-matter interface with sub-second lifetime by confining laser-cooled atoms with 3D optical lattice and enhancing the atom-photon coupling with a ring cavity. An initial retrieval efficiency of 76(5)% together with an 1/e lifetime of 0.22(1) s have been achieved simultaneously, which already support sub-Hz entanglement distribution up to 1000 km through quantum repeater. Together with an efficient telecom interface and moderate multiplexing, our result may enable a first quantum repeater system that beats direct transmission in the near future.


title: TE resonances in graphene-dielectric structures

abstract: We investigate the dispersion relations of TE resonances in different graphene-dielectric structures. Previous work has shown that when a graphene layer is brought into contact with a dielectric material, a gap can appear in its electric band structure. This allows for the formation of TE-plasmons with unusual dispersion relations. In addition, if the dielectric has a finite thickness, graphene strongly modifies the behavior of the waveguiding modes by introducing dissipation above a well-defined cutoff frequency thus providing the possibility of mode filtering. This cutoff and the properties of TE-plasmons are closely related to the pair-creation threshold of graphene thus representing quantum mechanical effects that manifest themselves in the electromagnetic response.


title: Injection seeded tunable mid-infrared pulses by difference frequency mixing

abstract: We report on the generation of nanosecond mid-infrared pulses having frequency tunability, a narrow linewidth, and a high pulse energy. These pulses are obtained by frequency mixing between injection-seeded near-infrared pulses in potassium titanyl arsenate crystals. A continuous-wave external cavity laser diode or a Ti:sapphire ring laser is used as a tunable seeding source for the near-infrared pulses. The typical energy of the generated mid-infrared pulses is in the range of 0.4-1 mJ/pulse. The tuning wavelength ranges from 3142 to 4806 nm. A narrow linewidth of 1.4 GHz and good frequency reproducibility of the mid-infrared pulses are confirmed by observing a rovibrational absorption line of gaseous carbon monoxide at 4587 nm.


title: Domination parameters with number 2: interrelations and algorithmic consequences

abstract: In this paper, we study the most basic domination invariants in graphs, in which number 2 is intrinsic part of their definitions. We classify them upon three criteria, two of which give the following previously studied invariants: the weak $2$-domination number, $\gamma_{w2}(G)$, the $2$-domination number, $\gamma_2(G)$, the $\{2\}$-domination number, $\gamma_{\{2\}}(G)$, the double domination number, $\gamma_{\times 2}(G)$, the total $\{2\}$-domination number, $\gamma_{t\{2\}}(G)$, and the total double domination number, $\gamma_{t\times 2}(G)$, where $G$ is a graph in which a corresponding invariant is well defined. The third criterion yields rainbow versions of the mentioned six parameters, one of which has already been well studied, and three other give new interesting parameters. Together with a special, extensively studied Roman domination, $\gamma_R(G)$, and two classical parameters, the domination number, $\gamma(G)$, and the total domination number, $\gamma_t(G)$, we consider 13 domination invariants in graphs $G$. In the main result of the paper we present sharp upper and lower bounds of each of the invariants in terms of every other invariant, large majority of which are new results proven in this paper. As a consequence of the main theorem we obtain some complexity results for the studied invariants, in particular regarding the existence of approximation algorithms and inapproximability bounds.


title: A unifying framework for understanding state-dependent network dynamics in cortex

abstract: Activity in neocortex exhibits a range of behaviors, from irregular to temporally precise, and from weakly to strongly correlated. So far there has been no single theoretical framework that could explain all these behaviors, leaving open the possibility that they are a signature of radically different mechanisms. Here, we suggest that this is not the case. Instead, we show that a single theory can account for a broad spectrum of experimental observations, including specifics such as the fine temporal details of subthreshold cross-correlations. For the model underlying our theory, we need only assume a small number of well-established properties common to all local cortical networks. When these assumptions are combined with realistically structured input, they produce exactly the repertoire of behaviors that is observed experimentally, and lead to a number of testable predictions.


title: Evaluating Model Checking Approaches to Verify Stability of Control Systems in Simulink

abstract: This paper examines the verification of stability, a control requirement, over discrete control systems represented as Simulink diagrams, using different model checking approaches and tools. Model checking comprises the (exhaustive) exploration of a model of a system, to determine if a requirement is satisfied. If that is not the case, examples of the requirement's violation within the system's model are provided, as witnesses. These examples are potentially complementary to previous work on automatic theorem proving, when a system is not proven to be stable, but no proof of instability can be provided. We experimentally evaluated the suitability of four model checking approaches to verify stability on a set of benchmarks including linear and nonlinear, controlled and uncontrolled, discrete systems, via Lyapunov's second method or Lyapunov's direct method. Our study included symbolic, bounded, statistical and hybrid model checking, through the open-source tools NuSMV, UCLID, S-TaLiRo and SpaceEx, respectively. Our experiments and results provide an insight on the strengths and limitations of these model checking approaches for the verification of control requirements for discrete systems at Simulink level. We found that statistical model checking with S-TaLiRo is the most suitable option to complement our previous work on automatic theorem proving.


title: Feedback control of colloidal transport

abstract: We review recent work on feedback control of one-dimensional colloidal systems, both with instantaneous feedback and with time delay. The feedback schemes are based on measurement of the average particle position, a natural control target for an ensemble of colloidal particles, and the systems are investigated via the Fokker-Planck equation for overdamped Brownian particles. Topics include the reversal of current and the emergence of current oscillations, transport in ratchet systems, and the enhancement of mobility by a co-moving trap. Beyond the commonly considered case of non-interacting systems, we also discuss the treatment of colloidal interactions via (dynamical) density functional theory and provide new results for systems with attractive interactions.


title: Analytical computation of frequency distributions of path-dependent processes by means of a non-multinomial maximum entropy approach

abstract: Path-dependent stochastic processes are often non-ergodic and observables can no longer be computed within the ensemble picture. The resulting mathematical difficulties pose severe limits to the analytical understanding of path-dependent processes. Their statistics is typically non-multinomial in the sense that the multiplicities of the occurrence of states is not a multinomial factor. The maximum entropy principle is tightly related to multinomial processes, non-interacting systems, and to the ensemble picture; It loses its meaning for path-dependent processes. Here we show that an equivalent to the ensemble picture exists for path-dependent processes, such that the non-multinomial statistics of the underlying dynamical process, by construction, is captured correctly in a functional that plays the role of a relative entropy. We demonstrate this for self-reinforcing P\'olya urn processes, which explicitly generalise multinomial statistics. We demonstrate the adequacy of this constructive approach towards non-multinomial pendants of entropy by computing frequency and rank distributions of P\'olya urn processes. We show how microscopic update rules of a path-dependent process allow us to explicitly construct a non-multinomial entropy functional, that, when maximized, predicts the time-dependent distribution function.


title: High-Gradient, Millimeter Wave Accelerating Structure

abstract: The millimeter wave all-metallic accelerating structure, aimed to provide more than 100 MeV/m gradient and fed by feeding RF pulses of 20-30 ns duration, is proposed. The structure is based on a waveguide with small helical corrugation. Each section of 10-20 wavelengths long has big circular cross-section aperture comparable with wavelength. Because short wavelength structures are expected to be critical to wakefields excitation and emittance growth, we suggest to combine in one structure properties of a linear accelerator and a cooling damping ring simultaneously. It provides acceleration of straight on-axis beam as well as cooling of this beam due to the synchrotron radiation of particles in strong non-synchronous transverse fields. These properties are provided by specific slow eigen mode which consists of two partial waves, TM01 and TM11. Simulations show that shunt impedance can be as high as 100 MOhm/m. Results of the first low-power tests with 30 GHz accelerating section are analyzed.


title: Rad-hard vertical JFET switch for the HV-MUX system of the ATLAS upgrade Inner Tracker

abstract: This work presents a new silicon vertical JFET (V-JFET) device, based on the trenched 3D-detector technology developed at IMB-CNM, to be used as switches for the High-Voltage powering scheme of the ATLAS upgrade Inner Tracker. The optimization of the device characteristics is performed by 2D and 3D TCAD simulations. Special attention has been paid to the on-resistance and the switch-off and breakdown voltages to meet the specific requirements of the system. In addition, a set of parameter values has been extracted from the simulated curves to implement a SPICE model of the proposed V-JFET transistor. As these devices are expected to operate under very high radiation conditions during the whole experiment life-time, a study of the radiation damage effects and the expected degradation on the device performance is also presented at the end of the paper.


title: On the modeling and simulation of reaction-transfer dynamics in semiconductor-electrolyte solar cells

abstract: The mathematical modeling and numerical simulation of semiconductor-electrolyte systems play important roles in the design of high-performance semiconductor-liquid junction solar cells. In this work, we propose a macroscopic mathematical model, a system of nonlinear partial differential equations, for the complete description of charge transfer dynamics in such systems. The model consists of a reaction-drift-diffusion-Poisson system that models the transport of electrons and holes in the semiconductor region and an equivalent system that describes the transport of reductants and oxidants, as well as other charged species, in the electrolyte region. The coupling between the semiconductor and the electrolyte is modeled through a set of interfacial reaction and current balance conditions. We present some numerical simulations to illustrate the quantitative behavior of the semiconductor-electrolyte system in both dark and illuminated environments. We show numerically that one can replace the electrolyte region in the system with a Schottky contact only when the bulk reductant-oxidant pair density is extremely high. Otherwise, such replacement gives significantly inaccurate description of the real dynamics of the semiconductor-electrolyte system.


title: Broadcast Coded Slotted ALOHA: A Finite Frame Length Analysis

abstract: We propose an uncoordinated medium access control (MAC) protocol, called all-to-all broadcast coded slotted ALOHA (B-CSA) for reliable all-to-all broadcast with strict latency constraints. In B-CSA, each user acts as both transmitter and receiver in a half-duplex mode. The half-duplex mode gives rise to a double unequal error protection (DUEP) phenomenon: the more a user repeats its packet, the higher the probability that this packet is decoded by other users, but the lower the probability for this user to decode packets from others. We analyze the performance of B-CSA over the packet erasure channel for a finite frame length. In particular, we provide a general analysis of stopping sets for B-CSA and derive an analytical approximation of the performance in the error floor (EF) region, which captures the DUEP feature of B-CSA. Simulation results reveal that the proposed approximation predicts very well the performance of B-CSA in the EF region. Finally, we consider the application of B-CSA to vehicular communications and compare its performance with that of carrier sense multiple access (CSMA), the current MAC protocol in vehicular networks. The results show that B-CSA is able to support a much larger number of users than CSMA with the same reliability.


title: Relativistic Ideal Clock

abstract: Two particularly simple ideal clocks exhibiting intrinsic circular motion with the speed of light and opposite spin alignment are described. The clocks are singled out by singularities of an inverse Legendre transformation for relativistic rotators of which mass and spin are fixed parameters. Such clocks work always the same way, no matter how they move. When subject to high accelerations or falling in strong gravitational fields of black holes, the clocks could be used to test the clock hypothesis.


title: Bootstrapping Empirical Processes of Cluster Functionals with Application to Extremograms

abstract: In the extreme value analysis of time series, not only the tail behavior is of interest, but also the serial dependence plays a crucial role. Drees and Rootz\'en (2010) established limit theorems for a general class of empirical processes of so-called cluster functionals which can be used to analyse various aspects of the extreme value behavior of mixing time series. However, usually the limit distribution is too complex to enable a direct construction of confidence regions. Therefore, we suggest a multiplier block bootstrap analog to the empirical processes of cluster functionals. It is shown that under virtually the same conditions as used by Drees and Rootz\'en (2010), conditionally on the data, the bootstrap processes converge to the same limit distribution. These general results are applied to construct confidence regions for the empirical extremogram introduced by Davis and Mikosch (2009). In a simulation study, the confidence intervals constructed by our multiplier block bootstrap approach compare favorably to the stationary bootstrap proposed by Davis et al.\ (2012).


title: Evolution of Cooper pairs with zero-center-of-mass momentum and their first-order correlation function in a two-dimensional ultracold Fermi gas near the observed Berezinskii-Kosterlitz-Thouless transition

abstract: We investigate the center-of-mass momentum distribution $n_{\boldsymbol Q}$ of Cooper pairs and their first-order correlation function $g_1(r)$ in a strongly interacting two-dimensional Fermi gas. Recently, the BKT (Berezinskii-Kosterlitz-Thouless) transition was reported in a two-dimensional $^6$Li Fermi gas, based on (1) the observations of anomalous enhancement of $n_{{\boldsymbol Q}={\boldsymbol 0}}$ [M. G. Ries, et. al., Phys. Rev. Lett. 114, 230401 (2015)], as well as (2) a power-law behavior of $g_1(r)$ [P. A. Murthy, et. al., Phys. Rev. Lett. 115, 010401 (2015)]. However, including pairing fluctuations within a $T$-matrix approximation (TMA), we show that these results can still be explained as strong-coupling properties of a normal-state two-dimensional Fermi gas. Our results indicate the importance of further experimental observations, to definitely confirm the realization of the BKT transition in this system. Since the BKT transition has been realized in a two-dimensional ultracold Bose gas, our results would be useful for the achievement of this quasi-long range order in an ultracold Fermi gas.


title: Abelian logic gates

abstract: An abelian processor is an automaton whose output is independent of the order of its inputs. Bond and Levine have proved that a network of abelian processors performs the same computation regardless of processing order (subject only to a halting condition). We prove that any finite abelian processor can be emulated by a network of certain very simple abelian processors, which we call gates. The most fundamental gate is a "toppler", which absorbs input particles until their number exceeds some given threshold, at which point it topples, emitting one particle and returning to its initial state. With the exception of an adder gate, which simply combines two streams of particles, each of our gates has only one input wire. Our results can be reformulated in terms of the functions computed by processors, and one consequence is that any increasing function from N^k to N^l that is the sum of a linear function and a periodic function can be expressed in terms of (possibly nested) sums of floors of quotients by integers.


title: Towards Reading Hidden Emotions: A comparative Study of Spontaneous Micro-expression Spotting and Recognition Methods

abstract: Micro-expressions (MEs) are rapid, involuntary facial expressions which reveal emotions that people do not intend to show. Studying MEs is valuable as recognizing them has many important applications, particularly in forensic science and psychotherapy. However, analyzing spontaneous MEs is very challenging due to their short duration and low intensity. Automatic ME analysis includes two tasks: ME spotting and ME recognition. For ME spotting, previous studies have focused on posed rather than spontaneous videos. For ME recognition, the performance of previous studies is low. To address these challenges, we make the following contributions: (i)We propose the first method for spotting spontaneous MEs in long videos (by exploiting feature difference contrast). This method is training free and works on arbitrary unseen videos. (ii)We present an advanced ME recognition framework, which outperforms previous work by a large margin on two challenging spontaneous ME databases (SMIC and CASMEII). (iii)We propose the first automatic ME analysis system (MESR), which can spot and recognize MEs from spontaneous video data. Finally, we show our method outperforms humans in the ME recognition task by a large margin, and achieves comparable performance to humans at the very challenging task of spotting and then recognizing spontaneous MEs.


title: Electron correlation effects and scattering rates in Fe$_{1+y}$Te$_{1-x}$Se$_x$ superconductor

abstract: Using angle-resolved photoemission spectroscopy we have studied the low-energy electronic structure and the Fermi surface topology of Fe$_{1+y}$Te$_{1-x}$Se$_x$ superconductors. Similar to the known iron pnictides we observe hole pockets at the center and electron pockets at the corner of the Brillouin zone (BZ). However, on a finer level, the electronic structure around the $\Gamma$- and $Z$-points in $k$-space is substantially different from other iron pnictides, in that we observe two hole pockets at the $\Gamma$-point, and more interestingly only one hole pocket is seen at the $Z$-point, whereas in $1111$-, $111$-, and $122$-type compounds, three hole pockets could be readily found at the zone center. Another major difference noted in the Fe$_{1+y}$Te$_{1-x}$Se$_x$ superconductors is that the top of innermost hole-like band moves away from the Fermi level to higher binding energy on going from $\Gamma$ to $Z$, quite opposite to the iron pnictides. The polarization dependence of the observed features was used to aid the attribution of the orbital character of the observed bands. Photon energy dependent measurements suggest a weak $k_z$ dispersion for the outer hole pocket and a moderate $k_z$ dispersion for the inner hole pocket. By evaluating the momentum and energy dependent spectral widths, the single-particle self-energy was extracted and interestingly this shows a pronounced non-Fermi liquid behaviour for these compounds. The experimental observations are discussed in context of electronic band structure calculations and models for the self-energy such as the spin-fermion model and the marginal-Fermi liquid.


title: Preconditioned ADMM with nonlinear operator constraint

abstract: We are presenting a modification of the well-known Alternating Direction Method of Multipliers (ADMM) algorithm with additional preconditioning that aims at solving convex optimisation problems with nonlinear operator constraints. Connections to the recently developed Nonlinear Primal-Dual Hybrid Gradient Method (NL-PDHGM) are presented, and the algorithm is demonstrated to handle the nonlinear inverse problem of parallel Magnetic Resonance Imaging (MRI).


title: Number of right ideals and a $q$-analogue of indecomposable permutations

abstract: We prove that the number of right ideals of codimension $n$ in the algebra of noncommutative Laurent polynomials in two variables over the finite field $\mathbb F\_q$ is equal to $(q-1)^{n+1} q^{\frac{(n+1)(n-2)}{2}}\sum\_\theta q^{inv(\theta)}$, where the sum is over all indecomposable permutations in $S\_{n+1}$ and where $inv(\theta)$stands for the number of inversions of $\theta$.


title: Influence of Non-Potential Coronal Magnetic Topology on Solar-Wind Models

abstract: By comparing a magneto-frictional model of the low coronal magnetic field to a potential-field source-surface model, we investigate the possible impact of non-potential magnetic structure on empirical solar-wind models. These empirical models (such as Wang-Sheeley-Arge) estimate the distribution of solar-wind speed solely from the magnetic-field structure in the low corona. Our models are computed in a domain between the solar surface and 2.5 solar radii, and are extended to 0.1 AU using a Schatten current-sheet model. The non-potential field has a more complex magnetic skeleton and quasi-separatrix structures than the potential field, leading to different sub-structure in the solar-wind speed proxies. It contains twisted magnetic structures that can perturb the separatrix surfaces traced down from the base of the heliospheric current sheet. A significant difference between the models is the greater amount of open magnetic flux in the non-potential model. Using existing empirical formulae this leads to higher predicted wind speeds for two reasons: partly because magnetic flux tubes expand less rapidly with height, but more importantly because more open field lines are further from coronal-hole boundaries.


title: Geometric approach to tracking and stabilization for a spherical robot actuated by internal rotors

abstract: This paper presents tracking control laws for two different objectives of a nonholonomic system - a spherical robot - using a geometric approach. The first control law addresses orientation tracking using a modified trace potential function. The second law addresses contact position tracking using a $right$ transport map for the angular velocity error. A special case of this is position and reduced orientation stabilization. Both control laws are coordinate free. The performance of the feedback control laws are demonstrated through simulations.


title: On generalized Newtonian fluids in curved pipes

abstract: This paper is concerned with steady, fully developed motion of a Navier-Stokes fluid with shear-dependent viscosity in a curved pipe under a given axial pressure gradient. We establish existence and uniqueness results, derive appropriate estimates and prove a characterization of the secondary flows. The approximation, with respect to the curvature ratio, of the full governing systems by some Dean-like equation is studied.


title: Transient dynamics of spin-polarized injection in helical Luttinger liquids

abstract: We analyze the time evolution of spin-polarized electron wave packets injected into the edge states of a two-dimensional topological insulator. In the presence of electron interactions, the system is described as a helical Luttinger liquid and injected electrons fractionalize. However, because of the presence of metallic detectors, no evidences of fractionalization are encoded in dc measurements, and in this regime the system do not show deviations from its non-interacting behavior. Nevertheless, we show that the helical Luttinger liquid nature emerges in the transient dynamics, where signatures of charge/spin fractionalization can be clearly identified.


title: A New Sample of Obscured AGNs Selected from the XMM-Newton and AKARI Surveys

abstract: We report a new sample of obscured active galactic nuclei (AGNs) selected from the XMM serendipitous source and AKARI point-source catalogs. We match X-ray sources with infrared (18 and 90 micron) sources located at |b|>10 deg to create a sample consisting of 173 objects. Their optical classifications and absorption column densities measured by X-ray spectra are compiled and study efficient selection criteria to find obscured AGNs. We apply the criteria (1) X-ray hardness ratio defined by using the 2-4.5 keV and 4.5-12 keV bands >-0.1 and (2) EPIC-PN count rate (CR) in the 0.2-12 keV to infrared flux ratio CR/F90<0.1 or CR/F18<1, where F18 and F90 are infrared fluxes at 18 and 90 micron in Jy, respectively, to search for obscured AGNs. X-ray spectra of 48 candidates, for which no X-ray results have been published, are analyzed and X-ray evidence for the presence of obscured AGNs such as a convex shape X-ray spectrum indicative of absorption of NH~10^{22-24} cm^-2, a very flat continuum, or a strong Fe-K emission line with an equivalent width of >700 eV is found in 26 objects. Six among them are classified as Compton-thick AGNs, and four are represented by either Compton-thin or Compton-thick spectral models. The success rate of finding obscured AGNs combining our analysis and the literature is 92% if the 18 micron condition is used. Of the 26 objects, 4 are optically classified as an HII nucleus and are new "elusive AGNs" in which star formation activity likely overwhelms AGN emission in the optical and infrared bands.


title: Optimal control of steady second grade fluids with Dirichlet boundary conditions

abstract: We consider optimal control problems governed by systems describing the flow of an incompressible second grade fluid with Dirichlet boundary conditions. We prove the existence of an optimal solution, derive the corresponding necessary optimality conditions and analyze its asymptotic behavior when the viscoelastic parameter tends to zero.


title: Disconnected quark loop contributions to nucleon observables using $N_f=2$ twisted clover fermions at the physical value of the light quark mass

abstract: We compute the disconnected quark loops contributions entering the determination of nucleon observables, by using a $N_f = 2$ ensemble of twisted mass fermions with a clover term at a pion mass $m_\pi = 133$ MeV. We employ exact deflation and implement all calculations in GPUs, enabling us to achieve large statistics and a good signal.


title: Estimating the distribution of rest-frame timescales for blazar jets: a statistical approach

abstract: In any flux-density limited sample of blazars, the distribution of the timescale modulation factor $\Delta t'/\Delta t$, which quantifies the change in observed timescales compared to the rest-frame ones due to redshift and relativistic compression follows an exponential distribution with a mean depending on the flux limit of the sample. In this work we produce the mathematical formalism that allows us to use this information in order to uncover the underlining rest-frame probability density function of measurable timescales of blazar jets. We extensively test our proposed methodology using a simulated FSRQ population with a 1.5 Jy flux-density limit in the simple case (where all blazars share the same intrinsic timescale), in order to identify limits of applicability and potential biases due to observational systematics and sample selection. We find that for monitoring with time intervals between observations longer than $\sim$30\% of the intrinsic timescale under investigation the method loses its ability to produce robust results. For time intervals of $\sim$3\% of the intrinsic timescale the error of the method is as low as 1\% in recovering the intrinsic rest-frame timescale. We applied our method to rotations of the optical polarization angle of blazars observed by RoboPol. We found that the intrinsic timescales of the longest-duration rotation event in each blazar follows a narrow distribution, well-described by a normal distribution with mean 87 days and standard deviation 5 days. We discuss possible interpretations of this result.


title: Polyhedral Computation Based Transfer Capacities in Multi-Area Power Systems

abstract: This paper proposes a new methodology to maximize the feasible set of power injections and cross-border power transfers in meshed multi-area power systems. The approach used polyhedral computation schemes and is an extension to the classic procedure for cross-border transfer capacity assessment in the European power network, including the computation of bilateral cross-border transfer capacities as well as multilateral flow-based approaches. The focus is the characterization of inter-area exchange limits required for secure power system operation in the presence of physical transmission constraints, while maximizing the utilization factors of the transmission lines. The numerical examples include a case study of the ENTSO-E transmission system.


title: Radio properties of Compact Steep Spectrum and GHz-Peaked Spectrum radio sources

abstract: Compact steep spectrum (CSS) and GHz-peaked spectrum (GPS) radio sources represent a large fraction of the extragalactic objects in flux density-limited samples. They are compact, powerful radio sources whose synchrotron peak frequency ranges between a few hundred MHz to several GHz. CSS and GPS radio sources are currently interpreted as objects in which the radio emission is in an early evolutionary stage. In this contribution I review the radio properties and the physical characteristics of this class of radio sources, and the interplay between their radio emission and the ambient medium of the host galaxy.


title: Asymptotic decomposition for nonlinear damped Klein-Gordon equations

abstract: In this paper, we proved that if the solution to damped focusing Klein-Gordon equations is global forward in time, then it will decouple into a finite number of equilibrium points with different shifts from the origin. The core ingredient of our proof is the existence of the "concentration-compact attractor" which yields a finite number of profiles. Using damping effect, we can prove all the profiles are equilibrium points.


title: Semantic Summarization of Egocentric Photo Stream Events

abstract: With the rapid increase of users of wearable cameras in recent years and of the amount of data they produce, there is a strong need for automatic retrieval and summarization techniques. This work addresses the problem of automatically summarizing egocentric photo streams captured through a wearable camera by taking an image retrieval perspective. After removing non-informative images by a new CNN-based filter, images are ranked by relevance to ensure semantic diversity and finally re-ranked by a novelty criterion to reduce redundancy. To assess the results, a new evaluation metric is proposed which takes into account the non-uniqueness of the solution. Experimental results applied on a database of 7,110 images from 6 different subjects and evaluated by experts gave 95.74% of experts satisfaction and a Mean Opinion Score of 4.57 out of 5.0. Source code is available at https://github.com/imatge-upc/egocentric-2017-lta


title: Classical and Quantum Solutions in Brans-Dicke Cosmology with a Perfect Fluid

abstract: We consider the application of group invariant transformations in order to constrain a flat isotropic and homogeneous cosmological model, containing of a Brans-Dicke scalar field and a perfect fluid with a constant equation of state parameter $w$, where the latter is not interacting with the scalar field in the gravitational action integral. The requirement that the Wheeler-DeWitt equation be invariant under one-parameter point transformations provides us with two families of power-law potentials for the Brans-Dicke field, in which the powers are functions of the Brans-Dicke parameter $\omega_{BD}$ and the parameter $w$. The existence of the Lie symmetry in the Wheeler-DeWitt equation is equivalent to the existence of a conserved quantity in field equations and with oscillatory terms in the wavefunction of the universe. This enables us to solve the field equations. For a specific value of the conserved quantity, we find a closed-form solution for the Hubble factor, which is equivalent to a cosmological model in general relativity containing two perfect fluids. This provides us with different models for specific values of the parameters $\omega_{BD},$ and $w$. Finally, the results hold for the specific case where the Brans-Dicke parameter $\omega_{BD}$ is zero, that is, for the O'Hanlon massive dilaton theory, and consequently for $f\left( R\right) $ gravity in the metric formalism.


title: ZenLDA: An Efficient and Scalable Topic Model Training System on Distributed Data-Parallel Platform

abstract: This paper presents our recent efforts, zenLDA, an efficient and scalable Collapsed Gibbs Sampling system for Latent Dirichlet Allocation training, which is thought to be challenging that both data parallelism and model parallelism are required because of the Big sampling data with up to billions of documents and Big model size with up to trillions of parameters. zenLDA combines both algorithm level improvements and system level optimizations. It first presents a novel CGS algorithm that balances the time complexity, model accuracy and parallelization flexibility. The input corpus in zenLDA is represented as a directed graph and model parameters are annotated as the corresponding vertex attributes. The distributed training is parallelized by partitioning the graph that in each iteration it first applies CGS step for all partitions in parallel, followed by synchronizing the computed model each other. In this way, both data parallelism and model parallelism are achieved by converting them to graph parallelism. We revisited the tradeoff between system efficiency and model accuracy and presented approximations such as unsynchronized model, sparse model initialization and "converged" token exclusion. zenLDA is built on GraphX in Spark that provides distributed data abstraction (RDD) and expressive APIs to simplify the programming efforts and simultaneously hides the system complexities. This enables us to implement other CGS algorithm with a few lines of code change. To better fit in distributed data-parallel framework and achieve comparable performance with contemporary systems, we also presented several system level optimizations to push the performance limit. zenLDA was evaluated it against web-scale corpus, and the result indicates that zenLDA can achieve about much better performance than other CGS algorithm we implemented, and simultaneously achieve better model accuracy.


title: Identify influential spreaders in complex networks, the role of neighborhood

abstract: Identifying the most influential spreaders is an important issue in controlling the spreading processes in complex networks. Centrality measures are used to rank node influence in a spreading dynamics. Here we propose a node influence measure based on the centrality of a node and its neighbors' centrality, which we call the neighborhood centrality. By simulating the spreading processes in six real-world networks, we find that the neighborhood centrality greatly outperforms the basic centrality of a node such as the degree and coreness in ranking node influence and identifying the most influential spreaders. Interestingly, we discover a saturation effect in considering the neighborhood of a node, which is not the case of the larger the better. Specifically speaking, considering the 2-step neighborhood of nodes is a good choice that balances the cost and performance. If further step of neighborhood is taken into consideration, there is no obvious improvement and even decrease in the ranking performance. The saturation effect may be informative for studies that make use of the local structure of a node to determine its importance in the network.


title: Algorithmic information, plane Kakeya sets, and conditional dimension

abstract: We formulate the conditional Kolmogorov complexity of x given y at precision r, where x and y are points in Euclidean spaces and r is a natural number. We demonstrate the utility of this notion in two ways. 1. We prove a point-to-set principle that enables one to use the (relativized, constructive) dimension of a single point in a set E in a Euclidean space to establish a lower bound on the (classical) Hausdorff dimension of E. We then use this principle, together with conditional Kolmogorov complexity in Euclidean spaces, to give a new proof of the known, two-dimensional case of the Kakeya conjecture. This theorem of geometric measure theory, proved by Davies in 1971, says that every plane set containing a unit line segment in every direction has Hausdorff dimension 2. 2. We use conditional Kolmogorov complexity in Euclidean spaces to develop the lower and upper conditional dimensions dim(x|y) and Dim(x|y) of x given y, where x and y are points in Euclidean spaces. Intuitively these are the lower and upper asymptotic algorithmic information densities of x conditioned on the information in y. We prove that these conditional dimensions are robust and that they have the correct information-theoretic relationships with the well-studied dimensions dim(x) and Dim(x) and the mutual dimensions mdim(x:y) and Mdim(x:y).


title: A simple 2 W continuous-wave laser system for trapping ultracold metastable helium atoms at the 319.8 nm magic wavelength

abstract: High precision spectroscopy on the $2 \ ^3 S \rightarrow 2 \ ^1 S$ transition is possible in ultracold optically trapped helium but the accuracy is limited by the ac-Stark shift induced by the optical dipole trap. To overcome this problem, we have built a trapping laser system at the predicted magic wavelength of 319.8 nm. Our system is based on frequency conversion using commercially available components and produces over 2 W of power at this wavelength. With this system, we show trapping of ultracold atoms, both thermal ($\sim0.2 \ \mathrm{\mu K}$) and in a Bose-Einstein condensate, with a trap lifetime of several seconds, mainly limited by off-resonant scattering.


title: Autonomous smartphone apps: self-compilation, mutation, and viral spreading

abstract: We present the first smart phone tool that is capable of self-compilation, mutation and viral spreading. Our autonomous app does not require a host computer to alter its functionality, change its appearance and lacks the normal necessity of a central app store to spread among hosts. We pioneered survival skills for mobile software in order to overcome disrupted Internet access due to natural disasters and human made interference, like Internet kill switches or censored networks. Internet kill switches have proven to be an effective tool to eradicate open Internet access and all forms of digital communication within an hour on a country-wide basis. We present the first operational tool that is capable of surviving such digital eradication.


title: High-Mass X-ray binaries in the Small Magellanic Cloud

abstract: The last comprehensive catalogue of high-mass X-ray binaries in the Small Magellanic Cloud (SMC) was published about ten years ago. Since then new such systems were discovered, mainly by X-ray observations with Chandra and XMM-Newton. For the majority of the proposed HMXBs in the SMC no X-ray pulsations were discovered as yet, and unless other properties of the X-ray source and/or the optical counterpart confirm their HMXB nature, they remain only candidate HMXBs. From a literature search we collected a catalogue of 148 confirmed and candidate HMXBs in the SMC and investigated their properties to shed light on their real nature. Based on the sample of well-established HMXBs (the pulsars), we investigated which observed properties are most appropriate for a reliable classification. We defined different levels of confidence for a genuine HMXB based on spectral and temporal characteristics of the X-ray sources and colour-magnitude diagrams from the optical to the infrared of their likely counterparts. We also took the uncertainty in the X-ray position into account. We identify 27 objects that probably are misidentified because they lack an infrared excess of the proposed counterpart. They were mainly X-ray sources with a large positional uncertainty. This is supported by additional information obtained from more recent observations. Our catalogue comprises 121 relatively high-confidence HMXBs (the vast majority with Be companion stars). About half of the objects show X-ray pulsations, while for the rest no pulsations are known as yet. A comparison of the two subsamples suggests that long pulse periods in excess of a few 100 s are expected for the "non-pulsars", which are most likely undetected because of aperiodic variability on similar timescales and insufficiently long X-ray observations. (abbreviated)


title: Saturation Power based Simple Energy Efficiency Maximization Schemes for MU-MISO Systems

abstract: In this paper, we investigate an energy efficiency (EE) maximization problem in multi-user multiple input single output downlink channels. The optimization problem in this system model is difficult to solve in general, since it is in non-convex fractional form. Hence, conventional algorithms have addressed the problem in an iterative manner for each channel realization, which leads to high computational complexity. To tackle this complexity issue, we propose a new simple method by utilizing the fact that the EE maximization is identical to the spectral efficiency (SE) maximization for the region of the power below a certain transmit power referred to as saturation power. In order to calculate the saturation power, we first introduce upper and lower bounds of the EE performance by adopting a maximal ratio transmission beamforming strategy. Then, we propose an efficient way to compute the saturation power for the EE maximization problem. Once we determine the saturation power corresponding to the maximum EE in advance, we can solve the EE maximization problem with SE maximization schemes with low complexity. The derived saturation power is parameterized by employing random matrix theory, which relies only on the second order channel statistics. Hence, this approach requires much lower computational complexity compared to a conventional scheme which exploits instantaneous channel state information, and provides insight on the saturation power. Numerical results validate that the proposed algorithm achieves near optimal EE performance with significantly reduced complexity.


title: Enhanced effects of variation of the fundamental constants in laser interferometers and application to dark matter detection

abstract: We outline new laser interferometer measurements to search for variation of the electromagnetic fine-structure constant $\alpha$ and particle masses (including a non-zero photon mass). We propose a strontium optical lattice clock -- silicon single-crystal cavity interferometer as a novel small-scale platform for these new measurements. Multiple passages of a light beam inside an interferometer enhance the effects due to variation of the fundamental constants by the mean number of passages ($N_{\textrm{eff}} \sim 10^2$ for a large-scale gravitational-wave detector, such as LIGO, Virgo, GEO600 or TAMA300, while $N_{\textrm{eff}} \sim 10^5$ for a strontium clock -- silicon cavity interferometer). Our proposed laser interferometer measurements may be implemented as an extremely precise tool in the direct detection of scalar dark matter that forms an oscillating classical field or topological defects.

categories: physics.atom-ph hep-ph physics.ins-det physics.optics


title: One-loop corrections to the Higgs electroweak chiral Lagrangian

abstract: In this talk we study beyond Standard Model scenarios where the Higgs is non-linearly realized. The one-loop ultraviolet divergences of the low-energy effective theory at next-to-leading order, O(p^4), are computed by means of the background-field method and the heat-kernel expansion. The power counting in non-linear theories shows that these divergences are determined by the leading-order effective Lagrangian L_2. We focus our attention on the most important O(p^4) divergences, which are provided by the loops of Higgs and electroweak Goldstones, as these particle are the only ones that couple through derivatives in L_2. The one-loop divergences are renormalized by O(p^4) effective operators, and set their running. This implies the presence of chiral logarithms in the amplitudes along with the O(p^4) low-energy couplings, which are of a similar importance and should not be neglected in next-to-leading order effective theory calculations, e.g. in composite scenarios.


title: Optimal sampling patterns for Zernike polynomials

abstract: A pattern of interpolation nodes on the disk is studied, for which the interpolation problem is theoretically unisolvent, and which renders a minimal numerical condition for the collocation matrix when the standard basis of Zernike polynomials is used. It is shown that these nodes have an excellent performance also from several alternative points of view, providing a numerically stable surface reconstruction, starting from both the elevation and the slope data. Sampling at these nodes allows for a more precise recovery of the coefficients in the Zernike expansion of a wavefront or of an optical surface.


title: Leptonic Unitarity Triangles and Effective Mass Triangles of the Majorana Neutrinos

abstract: Given the best-fit results of six neutrino oscillation parameters, we plot the Dirac and Majorana unitarity triangles (UTs) of the 3\times 3 lepton flavor mixing matrix to show their real shapes for the first time. The connections of the Majorana UTs with neutrino-antineutrino oscillations and neutrino decays are explored, and the possibilities of right or isosceles UTs are discussed. In the neutrino mass limit of m_1 \to 0 or m_3 \to 0, which is allowed by current experimental data, we show how the six triangles formed by the effective Majorana neutrino masses \langle m\rangle_{\alpha\beta} (for \alpha, \beta = e, \mu, \tau) and their corresponding component vectors look like in the complex plane. The relations of such triangles to the Majorana phases and to the lepton-number-violating decays H^{++} \to \alpha^+ \beta^+ in the type-II seesaw mechanism are also illustrated.


title: Bursting of Dilute Emulsion-Based Liquid Sheets Driven by a Marangoni Effect

abstract: We study the destabilization mechanism of thin liquid sheets expanding in air and show that dilute oil-in-water emulsion-based sheets disintegrate through the nucleation and growth of holes that perforate the sheet. The velocity and thickness fields of the sheet outside the holes are not perturbed by holes and hole opening follows a Taylor-Culick law. We find that a pre-hole, which widens and thins out the sheet with time, systematically precedes the hole nucleation. The growth dynamics of the pre-hole follows the law theoretically predicted for a liquid spreading on another liquid of higher surface tension due to Marangoni stresses. Classical Marangoni spreading experiments quantitatively corroborate our findings.


title: Stable Matching Mechanisms are Not Obviously Strategy-Proof

abstract: Many two-sided matching markets, from labor markets to school choice programs, use a clearinghouse based on the applicant-proposing deferred acceptance algorithm, which is well known to be strategy-proof for the applicants. Nonetheless, a growing amount of empirical evidence reveals that applicants misrepresent their preferences when this mechanism is used. This paper shows that no mechanism that implements a stable matching is "obviously strategy-proof" for any side of the market, a stronger incentive property than strategy-proofness that was introduced by Li (2017). A stable mechanism that is obviously strategy-proof for applicants is introduced for the case in which agents on the other side have acyclical preferences.


title: Birth of colliding beams in Europe, two photon studies at Adone

abstract: This article recalls the birth of the first electron-positron storage ring AdA, and the construction of the higher energy collider ADONE, where early photon-photon collisions were observed. The events which led the Austrian physicist Bruno Touschek to propose and construct AdA will be recalled, starting with early work on the Wideroe's betatron during World War II, up to the construction of ADONE, and the theoretical contribution to radiative corrections to electron-positron collisions.


title: Spectral Metric Spaces on Extensions of C*-Algebras

abstract: We construct spectral triples on C*-algebraic extensions of unital C*-algebras by stable ideals satisfying a certain Toeplitz type property using given spectral triples on the quotient and ideal. Our construction behaves well with respect to summability and produces new spectral quantum metric spaces out of given ones. Using our construction we find new spectral triples on the quantum 2- and 3-spheres giving a new perspective on these algebras in noncommutative geometry.


title: The hard-disk fluid revisited

abstract: The hard-disk model plays a role of touchstone for testing and developing the transport theory. By large scale molecular dynamics simulations of this model, three important autocorrelation functions, and as a result the corresponding transport coefficients, i.e., the diffusion constant, the thermal conductivity and the shear viscosity, are found to deviate significantly from the predictions of the conventional transport theory beyond the dilute limit. To improve the theory, we consider both the kinetic process and the hydrodynamic process in the whole time range, rather than each process in a seperated time scale as the conventional transport theory does. With this consideration, a unified and coherent expression free of any fitting parameters is derived succesfully in the case of the velocity autocorrelation function, and its superiority to the conventional `piecewise' formula is shown. This expression applies to the whole time range and up to moderate densities, and thus bridges the kinetics and hydrodynamics approaches in a self-consistent manner.

categories: cond-mat.stat-mech math-ph math.MP physics.flu-dyn


title: Design of a 325MHz Half Wave Resonator prototype at IHEP

abstract: A 325MHz beta=0.14 superconducting half wave resonator(HWR) prototype has been developed at the Institute of High Energy Physics(IHEP), which can be applied in continuous wave (CW) high beam proton accelerators. In this paper, the electromagnetic (EM) design, multipacting simulation, mechanical optimization, and fabrication are introduced in details. In vertical test at 4.2K, the cavity reached Eacc=7MV/m with Q0=1.4*10^9 and Eacc=15.9MV/m with Q0=4.3*10^8.


title: Structure theory of flip graphs with applications to Weak Symmetry Breaking

abstract: This paper is devoted to advancing the theoretical understanding of the iterated immediate snapshot (IIS) complexity of the Weak Symmetry Breaking task (WSB). Our rather unexpected main theorem states that there exist infinitely many values of n, such that WSB for n~processes is solvable by a certain explicitly constructed 3-round IIS protocol. In particular, the minimal number of rounds, which an IIS protocol needs in order to solve the WSB task, does not go to infinity, when the number of processes goes to infinity. Our methods can also be used to generate such values of n. We phrase our proofs in combinatorial language, while avoiding using topology. To this end, we study a~certain class of graphs, which we call flip graphs. These graphs encode adjacency structure in certain subcomplexes of iterated standard chromatic subdivisions of a simplex. While keeping the geometric background in mind for an additional intuition, we develop the structure theory of matchings in flip graphs in a purely combinatorial way. Our bound for the IIS complexity is then a corollary of this general theory. As an afterthought of our result, we suggest to change the overall paradigm. Specifically, we think, that the bounds on the IIS complexity of solving WSB for n processes should be formulated in terms of the size of the solutions of the associated Diophantine equation, rather than in terms of the value n itself.


title: Elliptic Virasoro Conformal Blocks

abstract: We study certain six dimensional theories arising on $(p,q)$ brane webs living on $\mathbb{R}\times S^1$. These brane webs are dual to toric elliptically fibered Calabi-Yau threefolds. The compactification of the space on which the brane web lives leads to a deformation of the partition functions equivalent to the elliptic deformation of the Ding-Iohara algebra. We compute the elliptic version Dotsenko-Fateev integrals and show that they reproduce the instanton counting of the six dimensional theory.