title: Equation of state of a laser cooled gas

abstract: We experimentally determine the equation of state of a laser cooled gas. By employing the Lane-Emden formalism, widely used in astrophysics, we derive the equilibrium atomic profiles in large magneto optical traps where the thermodynamic effects are cast in a polytropic equation of state. The effects of multiple scattering of light are included, which results in a generalized Lane-Emden equation for the atomic profiles. A detailed experimental investigation reveals an excellent agreement with the model, with a two-fold significance. In one hand, we can infer on the details of the equation of state of the system, from an ideal gas to a correlated phase due to an effective electrical charge for the atoms, which is accurately described by a microscopical description of the effective electrostatic interaction. On the other hand, we are able map the effects of multiple scattering onto directly controllable experimental variables, which paves the way to subsequent experimental investigations of this collective interaction.


title: A Lower Bound on the Diameter of the Flip Graph

abstract: The flip graph is the graph whose nodes correspond to non-isomorphic combinatorial triangulations and whose edges connect pairs of triangulations that can be obtained one from the other by flipping a single edge. In this note we show that the diameter of the flip graph is at least $\frac{7n}{3} + \Theta(1)$, improving upon the previous $2n + \Theta(1)$ lower bound.


title: Local Spectral Deformation

abstract: We develop an analytic perturbation theory for eigenvalues with finite multiplicities, embedded into the essential spectrum of a self-adjoint operator $H$. We assume the existence of another self-adjoint operator $A$ for which the family $H_\theta = e^{\mathrm{i}\theta A} H e^{-\mathrm{i}\theta A}$ extends analytically from the real line to a strip in the complex plane. Assuming a Mourre estimate holds for $\mathrm{i}[H,A]$ in the vicinity of the eigenvalue, we prove that the essential spectrum is locally deformed away from the eigenvalue, leaving it isolated and thus permitting an application of Kato's analytic perturbation theory.


title: Exciton Recombination in One-Dimensional Organic Mott Insulators

abstract: We present a theory for the recombination of (charged) holons and doublons in one-dimensional organic Mott insulators, which is responsible for the decay of a photoexcited metallic state. Due to the charge-spin separation, the dominant mechanism for recombination at low density of charges involves a multi-phonon emission. We show that a reasonable coupling to phonons is sufficient to explain the fast recombination observed by pump-probe experiments in ET-F$_2$TCNQ, whereby we can also account for the measured pressure dependence of the recombination rate.


title: A Proof of the Erd\"os - Faber - Lov\'asz Conjecture

abstract: In 1972, Erd\"{o}s - Faber - Lov\'{a}sz (EFL) conjectured that, if $\textbf{H}$ is a linear hypergraph consisting of $n$ edges of cardinality $n$, then it is possible to color the vertices with $n$ colors so that no two vertices with the same color are in the same edge. In 1978, Deza, Erd\"{o}s and Frankl had given an equivalent version of the same for graphs: Let $G= \bigcup _{i=1}^{n} A_i$ denote a graph with $n$ complete graphs $A_1, A_2,$ $ \dots , A_n$, each having exactly $n$ vertices and have the property that every pair of complete graphs has at most one common vertex, then the chromatic number of $G$ is $n$. The clique degree $d^K(v)$ of a vertex $v$ in $G$ is given by $d^K(v) = |\{A_i: v \in V(A_i), 1 \leq i \leq n\}|$. In this paper we give an algorithmic proof of the conjecture using the symmetric latin squares and clique degrees of the vertices of $G$.


title: High-throughput exploration of alloying as design strategy for thermoelectrics

abstract: We explore a material design strategy to optimize the thermoelectric power factor. The approach is based on screening the band structure changes upon a controlled volume change. The methodology is applied to the binary silicides and germanides. We first confirm the effect in antifluorite Mg2Si and Mg2Ge where an increased power factor by alloying with Mg2Sn is experimentally established. Within a high-throughput formalism we identify six previously unreported binaries that exhibit an improvement in their transport properties with volume. Among these, hexagonal MoSi2 and orthorhombic Ca2Si and Ca2Ge have the highest increment in zT with volume. We then perform super-cell calculations on special quasi-random structures to investigate the possibility of obtaining thermodynamically stable alloy systems which would produce the necessary volume changes. We find that for Ca2Si and Ca2Ge the solid solutions with the isostructural Ca2Sn readily forms even at low temperatures.


title: Testing Lorentz symmetry with planetary orbital dynamics

abstract: Planetary ephemerides are a very powerful tool to constrain deviations from the theory of General Relativity using orbital dynamics. The effective field theory framework called the Standard-Model Extension (SME) has been developed in order to systematically parametrize hypothetical violations of Lorentz symmetry (in the Standard Model and in the gravitational sector). In this communication, we use the latest determinations of the supplementary advances of the perihelia and of the nodes obtained by planetary ephemerides analysis to constrain SME coefficients from the pure gravity sector and also from gravity-matter couplings. Our results do not show any deviation from GR and they improve current constraints. Moreover, combinations with existing constraints from Lunar Laser Ranging and from atom interferometry gravimetry allow us to disentangle contributions from the pure gravity sector from the gravity-matter couplings.


title: iDART-Intruder Detection and Alert in Real Time

abstract: In this work, we design and develop a smart intruder detection and alert system which aims to elevate the security as well as the likelihood of true positive identification of trespassers and intruders as compared to other commonly deployed electronic security systems. Using multiple sensors, this system can gauge the extent of danger exhibited by a person or animal in or around the home premises, and can forward various critical information regarding the event to home owners as well as other specified entities, such as relevant security authorities.


title: A quantum information theoretic analysis of three flavor neutrino oscillations

abstract: Correlations exhibited by neutrino oscillations are studied via quantum information theoretic quantities. We show that the strongest type of entanglement, genuine multipartite entanglement, is persistent in the flavour changing states. We prove the existence of Bell-type nonlocal features, in both its absolute and genuine avatars. Finally, we show that a measure of nonclassicality, dissension, which is a generalization of quantum discord to the tripartite case, is nonzero for almost the entire range of time in the evolution of an initial electron-neutrino. Via these quantum information theoretic quantities capturing different aspects of quantum correlations, we elucidate the differences between the flavour types, shedding light on the quantum-information theoretic aspects of the weak force.


title: Essential normality of homogenous quotient modules over the polydisc: distinguished variety case

abstract: In the present paper, we study the essential normality of quotient modules over the polydisc. It is shown that if the zero variety of homogenous ideal $I$ is a distinguished variety, then its quotient module is $(1,\infty)$-essentially normal. Moreover, we study the boundary representation of quotient modules.


title: An Explorative Approach for Inspecting Kepler Data

abstract: The Kepler survey has provided a wealth of astrophysical knowledge by continuously monitoring over 150,000 stars. The resulting database contains thousands of examples of known variability types and at least as many that cannot be classified yet. In order to reveal the knowledge hidden in the database, we introduce a new visualisation method that allows us to inspect time series exploratively. To that end, we propose dimensionality reduction on the parameters of a model capable of representing time series as fixed-length vector representation. We show that a more refined objective function can be chosen by minimising the prediction error of the data reconstruction instead of the reconstruction of the model parameters. The proposed visualisation exhibits a strong correlation between the variability behaviour of the light curves and their physical properties. As a consequence, temperature and surface gravity can, for some stars, be directly inferred from non- (or quasi-) periodic light curves.


title: Quasi-random numbers for copula models

abstract: The present work addresses the question how sampling algorithms for commonly applied copula models can be adapted to account for quasi-random numbers. Besides sampling methods such as the conditional distribution method (based on a one-to-one transformation), it is also shown that typically faster sampling methods (based on stochastic representations) can be used to improve upon classical Monte Carlo methods when pseudo-random number generators are replaced by quasi-random number generators. This opens the door to quasi-random numbers for models well beyond independent margins or the multivariate normal distribution. Detailed examples (in the context of finance and insurance), illustrations and simulations are given and software has been developed and provided in the R packages copula and qrng.


title: Dual Graph Polynomials and a 4-face Formula

abstract: We study the dual graph polynomials and the case when a Feynman graph has no triangles but has a 4-face. This leads to the proof of the duality-admissibility of all graphs up to 18 loops. As a consequence, the $c_2$ invariant is the same for all 4 Feynman period representations (position, momentum, parametric and dual parametric) for any physically relevant graph.


title: Dark energy domination in the local flow of giant galaxies

abstract: A dozen most luminous galaxies at distances up to 10 Mpc from the Local Group are moving away from the group forming the local expansion flow of giants. We use recent Hubble Space Telescope data on the local giants and their numerous fainter companions to study the dynamical structure and evolutionary trends of the flow. It is demonstrated that the dynamics of the flow is dominated by local dark energy. Keywords: Galaxies, groups and clusters of galaxies; local flows of galaxies; dark energy.


title: Threshold Neutral Pion Photoproduction on the Proton

abstract: The neutral pion photoproduction on the proton near threshold has a very small scattering cross section when compared to the charged channels, which in ChPT is explained by strong cancellations between the lowest order pieces. Therefore it is very sensitive to higher-order corrections of chiral perturbation theory. We perform a fully covariant calculation up to chiral order p^3 and we investigate the effect of the inclusion of the Delta(1232) resonance as an explicit degree of freedom. We show that the convergence improves, leading to a much better agreement with data at a wide range of energies.


title: The photospheric solar oxygen project: IV. 3D-NLTE investigation of the 777 nm triplet lines

abstract: The solar photospheric oxygen abundance is still widely debated. Adopting the solar chemical composition based on the "low" oxygen abundance, as determined with the use of three-dimensional (3D) hydrodynamical model atmospheres, results in a well-known mismatch between theoretical solar models and helioseismic measurements that is so far unresolved. We carry out an independent redetermination of the solar oxygen abundance by investigating the center-to-limb variation of the OI IR triplet lines at 777 nm in different sets of spectra with the help of detailed synthetic line profiles based on 3D hydrodynamical CO5BOLD model atmospheres and 3D non-LTE line formation calculations with NLTETD. The idea is to simultaneously derive the oxygen abundance,A(O), and the scaling factor SH that describes the cross-sections for inelastic collisions with neutral hydrogen relative the classical Drawin formula. The best fit of the center-to-limb variation of the triplet lines achieved with the CO5BOLD 3D solar model is clearly of superior quality compared to the line profile fits obtained with standard 1D model atmospheres. Our best estimate of the 3D non-LTE solar oxygen abundance is A(O) = 8.76 +/- 0.02, with the scaling factor SH in the range between 1.2 and 1.8. All 1D non-LTE models give much lower oxygen abundances, by up to -0.15 dex. This is mainly a consequence of the assumption of a $\mu$-independent microturbulence.


title: Maximum entropy principle for stationary states underpinned by stochastic thermodynamics

abstract: The selection of an equilibrium state by maximising the entropy of a system, subject to certain constraints, is often powerfully motivated as an exercise in logical inference, a procedure where conclusions are reached on the basis of incomplete information. But such a framework can be more compelling if it is underpinned by dynamical arguments, and we show how this can be provided by stochastic thermodynamics, where an explicit link is made between the production of entropy and the stochastic dynamics of a system coupled to an environment. The separation of entropy production into three components allows us to select a stationary state by maximising the change, averaged over all realisations of the motion, in the principal relaxational or nonadiabatic component, equivalent to requiring that this contribution to the entropy production should become time independent for all realisations. We show that this recovers the usual equilibrium probability density function (pdf) for a conservative system in an isothermal environment, as well as the stationary nonequilibrium pdf for a particle confined to a potential under nonisothermal conditions, and a particle subject to a constant nonconservative force under isothermal conditions. The two remaining components of entropy production account for a recently discussed thermodynamic anomaly between over- and underdamped treatments of the dynamics in the nonisothermal stationary state.


title: High-intracavity-power thin-disk laser for the alignment of molecules

abstract: We propose a novel approach for strong alignment of gas-phase molecules for experiments at arbitrary repetition rates. A high-intracavity-power continuous-wave laser will provide the necessary ac electric field of $\!10^{10}$- $10^{11}~\text{W}/\text{cm}^2$. We demonstrate thin-disk lasers based on Yb:YAG and Yb:Lu$_2$O$_3$ in a linear high-finesse resonator providing intracavity power levels in excess of 100~kW at pump power levels on the order of 50~W. The multi-longitudinal-mode operation of this laser avoids spatial-hole burning even in a linear standing-wave resonator. The system will be scaled up as in-vacuum system to allow for the generation of fields of $10^{11}~\text{W}/\text{cm}^2$. This system will be directly applicable for experiments at modern X-ray light sources, such as synchrotrons or free-electron lasers, which operate at various very high repetition rates. This would allow to record molecular movies through temporally resolved diffractive imaging of fixed-in-space molecules, as well as the spectroscopic investigation of combined X-ray-NIR strong-field effects of atomic and molecular systems.


title: 2dF-AAOmega spectroscopy of massive stars in the Magellanic Clouds: The north-eastern region of the Large Magellanic Cloud

abstract: We present spectral classifications from optical spectroscopy of 263 massive stars in the north-eastern region of the Large Magellanic Cloud. The observed two-degree field includes the massive 30 Doradus star-forming region, the environs of SN1987A, and a number of star-forming complexes to the south of 30 Dor. These are the first classifications for the majority (203) of the stars and include eleven double-lined spectroscopic binaries. The sample also includes the first examples of early OC-type spectra (AAOmega 30 Dor 248 and 280), distinguished by the weakness of their nitrogen spectra and by C IV 4658 emission. We propose that these stars have relatively unprocessed CNO abundances compared to morphologically normal O-type stars, indicative of an earlier evolutionary phase. From analysis of observations obtained on two consecutive nights, we present radial-velocity estimates for 233 stars, finding one apparent single-lined binary and nine (>3sigma) outliers compared to the systemic velocity; the latter objects could be runaway stars or large-amplitude binary systems and further spectroscopy is required to investigate their nature.


title: Reversibility and the structure of the local state space

abstract: The richness of quantum theory's reversible dynamics is one of its unique operational characteristics, with recent results suggesting deep links between the theory's reversible dynamics, its local state space and the degree of non-locality it permits. We explore the delicate interplay between these features, demonstrating that reversibility places strong constraints on both the local and global state space. Firstly, we show that reversible dynamics are trivial (composed of local transformations and permutations of subsytems) in maximally non-local theories whose local state spaces satisfy a dichotomy criterion; this applies to a range of operational models that have previously been studied, such as d-dimensional "hyperballs" and almost all regular polytope systems. By separately deriving a similar result for odd-sided polygons, we show that classical systems are the only regular polytope state spaces whose maximally non-local composites allow for non-trivial reversible dynamics. Secondly, we show that non-trivial reversible dynamics do exist in maximally non-local theories whose state spaces are reducible into two or more smaller spaces. We conjecture that this is a necessary condition for the existence of such dynamics, but that reversible entanglement generation remains impossible even in this scenario.


title: Evolutionary game on networks with high clustering coefficient

abstract: This study investigates the influence of lattice structure in evolutionary games. The snowdrift games is considered in networks with high clustering coefficients, that use four different strategy-updating. Analytical conjectures using pair approximation were compared with the numerical results. Results indicate that general statements asserting that the lattice structure enhances cooperation are misleading.


title: Could Geoneutrinos Interact With the Geomagnetic Field?

abstract: In the present paper, we consider the possibility of interaction between geoneutrinos and the geomagnetic field, by adopting an approach based on the Dirac's equation with a non-minimal coupling that accounts for the magnetic interaction of the massive neutrinos. In our approach, we see that the magnetic interaction is controlled by a dimensionless parameter, $f\simeq 10^{-1}$, and we estimate the mean value of this interaction to be of the order of $10^{-14}\ MeV^{2}$.


title: On Thermodynamics and Phase Space of Near Horizon Extremal Geometries

abstract: Near Horizon Extremal Geometries (NHEG), are geometries which may appear in the near horizon region of the extremal black holes. These geometries have $SL(2,\mathbb{R})\!\times\!U(1)^n$ isometry, and constitute a family of solutions to the theory under consideration. In the first part of this report, their thermodynamic properties are reviewed, and their three universal laws are derived. In addition, at the end of the first part, the role of these laws in black hole thermodynamics is presented. In the second part of this thesis, we review building their classical phase space in the Einstein-Hilbert theory. The elements in the NHEG phase space manifold are built by appropriately chosen coordinate transformations of the original metric. These coordinate transformations are generated by some vector fields, dubbed "symplectic symmetry generators." To fully specify the phase space, we also need to identify the symplectic structure. In order to fix the symplectic structure, we use the formulation of Covariant Phase Space method. The symplectic structure has two parts, the Lee-Wald term and a boundary contribution. The latter is fixed requiring on-shell vanishing of the symplectic current, which guarantees the conservation and integrability of the symplectic structure, and leads to the new concept of "symplectic symmetry." Given the symplectic structure, we construct the corresponding conserved charges, the "symplectic symmetry generators." We also specify the explicit expression of the charges as a functional over the phase space. These symmetry generators constitute the "NHEG algebra," which is an infinite dimensional algebra (may be viewed as a generalized Virasoro), and admits a central extension which is equal to the black hole entropy.


title: Quantum Measurement and Observable Universe

abstract: In this paper, we discuss that an observable-based single-system Copenhagen and entanglement-based two-system von Neumann measurement protocols in quantum theory can be made equivalent by considering the second part of the two-system scheme to be a Dirac-type negative sea filling up the first system. Based on this equivalence, and by considering the universe as a computational process, the choice of the apparatus state in the two-system protocol can be identified with the choice of the observable in the single-system scheme as negative sea filling up the observable universe. In particular, the measuring party's state is considered to be evolving backwards in time to the big bang as a nondeterministic computational process, which chooses the acceptable path as a time-reversal process of irreversible computation. The suggested model proposes that the prepared microstate of the universe, or reality, corresponds to the observer's choice, therefore, subjective reality. Thus, this effectively provides a specific description of the subjective universe model previously proposed, which is based on the symmetry breakdown between the Schrodinger and the Heisenberg pictures of quantum theory.


title: On the regularity of the flow map associated with the 1D cubic periodic Half-Wave equation

abstract: We prove that the solution map associated with the $1D$ half-wave cubic equation in the periodic setting cannot be uniformly continuous on bounded sets of the periodic Sobolev spaces $H^s$ with $s\in (1/4, 1/2)$


title: TeV Gamma-Ray Emission Observed from Geminga with HAWC

abstract: Geminga is a radio-quiet pulsar ~250 parsecs from Earth that was first discovered as a GeV gamma-ray source and then identified as a pulsar. Milagro observed an extended TeV source spatially consistent with Geminga. HAWC observes a similarly extended source. Observations of Geminga's flux and extension will be presented.


title: Lensless Compressive Imaging

abstract: We develop a lensless compressive imaging architecture, which consists of an aperture assembly and a single sensor, without using any lens. An anytime algorithm is proposed to reconstruct images from the compressive measurements; the algorithm produces a sequence of solutions that monotonically converge to the true signal (thus, anytime). The algorithm is developed based on the sparsity of local overlapping patches (in the transformation domain) and state-of-the-art results have been obtained. Experiments on real data demonstrate that encouraging results are obtained by measuring about 10% (of the image pixels) compressive measurements. The reconstruction results of the proposed algorithm are compared with the JPEG compression (based on file sizes) and the reconstructed image quality is close to the JPEG compression, in particular at a high compression rate.


title: Maximal energy extraction under discrete diffusive exchange

abstract: Waves propagating through a bounded plasma can rearrange the densities of states in the six-dimensional velocity-configuration phase space. Depending on the rearrangement, the wave energy can either increase or decrease, with the difference taken up by the total plasma energy. In the case where the rearrangement is diffusive, only certain plasma states can be reached. It turns out that the set of reachable states through such diffusive rearrangements has been described in very different contexts. Building upon those descriptions, and making use of the fact that the plasma energy is a linear functional of the state densities, the maximal extractable energy under diffusive rearrangement can then be addressed through linear programming.


title: Products of $k$ atoms in Krull monoids

abstract: Let $H$ be a Krull monoid with finite class group $G$ such that every class contains a prime divisor. For $k\in \mathbb N$, let $\mathcal U_k(H)$ denote the set of all $m\in \mathbb N$ with the following property: There exist atoms $u_1, \ldots, u_k, v_1, \ldots , v_m\in H$ such that $u_1\cdot\ldots\cdot u_k=v_1\cdot\ldots\cdot v_m$. It is well-known that the sets $\mathcal U_k (H)$ are finite intervals whose maxima $\rho_k(H)=\max \mathcal U_k(H) $ depend only on $G$. If $|G|\le 2$, then $\rho_k (H) = k$ for every $k \in \mathbb N$. Suppose that $|G| \ge 3$. An elementary counting argument shows that $\rho_{2k}(H)=k\mathsf D(G)$ and $k\mathsf D(G)+1\le \rho_{2k+1}(H)\le k\mathsf D(G)+\lfloor \frac{\mathsf D(G)}{2}\rfloor$ where $\mathsf D(G)$ is the Davenport constant. In \cite{Ga-Ge09b} it was proved that for cyclic groups we have $k\mathsf D(G)+1 = \rho_{2k+1}(H)$ for every $k \in \mathbb N$. In the present paper we show that (under a mild condition on the Davenport constant) for every noncyclic group there exists a $k^*\in \mathbb N$ such that $\rho_{2k+1}(H)= k\mathsf D(G)+\lfloor \frac{\mathsf D(G)}{2}\rfloor$ for every $k\ge k^*$. This confirms a conjecture of A. Geroldinger, D. Grynkiewicz, and P. Yuan in \cite{Ge-Gr-Yu15}.


title: Prediction of the Weyl semimetal in the orthorhombic MoTe2

abstract: We investigate the orthorhombic phase (Td) of layered transition-metal-dichalcogenide MoTe$_2$ as a Weyl semimetal candidate, which was discovered to be a superconductor in our recent experiment. MoTe$_2$ exhibits four pairs of Weyl points lying slightly ($\sim$ 6 meV) above the Fermi energy in the bulk band structure. Unlike its cousin WTe$_2$, which was predicted to be a type-II Weyl semimetal recently, the spacing between each pair of Weyl points is found to be as large as 4 percent of the reciprocal lattice in MoTe$_2$ (six times larger than that of WTe$_2$). When projected to the surface, Weyl points are connected by Fermi arcs, which can be easily verified by ARPES due to the large Weyl point separation. In addition, we show that the correlation effect or strain can drive MoTe$_2$ from the type-II to type-I Weyl semimetal.


title: Superconductivity in Weyl Semimetal Candidate MoTe2

abstract: In recent years, layered transition-metal dichalcogenides (TMDs) have attracted considerable attention because of their rich physics; for example, these materials exhibit superconductivity, charge density waves, and the valley Hall effect. As a result, TMDs have promising potential applications in electronics, catalysis, and spintronics. Despite the fact that the majority of related research focuses on semiconducting TMDs (e.g., MoS2), the characteristics of WTe2 are provoking strong interest in semimetallic TMDs with extremely large magnetoresistance, pressure-driven superconductivity, and the predicted Weyl semimetal (WSM) state. In this work, we investigate the sister compound of WTe2, MoTe2, which is also predicted to be a WSM and a quantum spin Hall insulator in bulk and monolayer form, respectively. We find that MoTe2 exhibits superconductivity with a resistive transition temperature Tc of 0.1 K. The application of a small pressure (such as 0.4 GPa) is shown to dramatically enhance the Tc, with a maximum value of 8.2 K being obtained at 11.7 GPa (a more than 80-fold increase in Tc). This yields a dome-shaped superconducting phase diagram. Further explorations into the nature of the superconductivity in this system may provide insights into the interplay between strong correlations and topological physics.


title: Filling sets of curves on punctured surfaces

abstract: We study filling sets of simple closed curves on punctured surfaces. In particular we study lower bounds on the cardinality of sets of curves that fill and that pairwise intersect at most k times on surfaces with given genus and number of punctures. We are able to establish orders of growth for even k and show that for odd k the orders of growth behave differently. We also study the corresponding questions when one requires that the curves be represented as systoles on hyperbolic complete finite area surfaces.


title: Scaling Laws in Chennai Bus Network

abstract: In this paper, we study the structural properties of the complex bus network of Chennai. We formulate this extensive network structure by identifying each bus stop as a node, and a bus which stops at any two adjacent bus stops as an edge connecting the nodes. Rigorous statistical analysis of this data shows that the Chennai bus network displays small-world properties and a scale-free degree distribution with the power-law exponent, $\gamma > 3$.


title: Could quantum mechanics describe completely and consistently all superconducting and other quantum phenomena?

abstract: Canonical description of quantization effects observed at measurements on superconducting structures seems one of the most triumphant achievements of quantum mechanics. But impartial consideration uncovers incompleteness and inconsistency of this description. Contradictions in the description of other quantum phenomena are revealed also.


title: Modular Hamiltonian of Excited States in Conformal Field Theory

abstract: We present a novel replica trick that computes the relative entropy of two arbitrary states in conformal field theory. Our replica trick is based on the analytic continuation of partition functions that break the replica Z_n symmetry. It provides a method for computing arbitrary matrix elements of the modular Hamiltonian corresponding to excited states in terms of correlation functions. We show that the quantum Fisher information in vacuum can be expressed in terms of two-point functions on the replica geometry. We perform sample calculations in two-dimensional conformal field theories.


title: Representation growth of the Heisenberg group over $\mathcal{O}[x]/(x^n)$

abstract: We present a conjectured formula for the representation zeta function of the Heisenberg group over $\mathcal{O}[x]/(x^n)$ where $\mathcal{O}$ is the ring of integers of some number field. We confirm the conjecture for $n\leq 3$ and raise several questions.


title: Electronic and nuclear contributions in sub-GeV dark matter scattering: A case study with hydrogen

abstract: Scattering of sub-GeV dark matter (DM) particles with hydrogen atoms is studied in this paper. The interactions of DM with electrons and nucleons are both included and formulated in a general framework based on nonrelativistic effective field theory. On the assumption of same dark matter coupling strengths, it is found that DM-electron interactions dominate the inelastic atomic transitions to discrete excited states and ionization continuum around the threshold regions, and DM-nucleon interactions become more important with increasing energy and dominate in elastic scattering. The conclusion should apply, qualitatively, to practical detector species so that electronic and nuclear contributions in DM scattering processes can be disentangled, while issues including binding effects and recoil mechanism in many-body systems will require further detailed calculations.


title: Programmable DNA-mediated multitasking processor

abstract: Because of DNA appealing features as perfect material, including minuscule size, defined structural repeat and rigidity, programmable DNA-mediated processing is a promising computing paradigm, which employs DNAs as information storing and processing substrates to tackle the computational problems. The massive parallelism of DNA hybridization exhibits transcendent potential to improve multitasking capabilities and yield a tremendous speed-up over the conventional electronic processors with stepwise signal cascade. As an example of multitasking capability, we present an in vitro programmable DNA-mediated optimal route planning processor as a functional unit embedded in contemporary navigation systems. The novel programmable DNA-mediated processor has several advantages over the existing silicon-mediated methods, such as conducting massive data storage and simultaneous processing via much fewer materials than conventional silicon devices.


title: Experimental Demonstration of Negative-Valued Polarization Quasi-Probability Distribution

abstract: Polarization quasiprobability distribution defined in the Stokes space shares many important properties with the Wigner function for the position and momentum. Most notably, they both give correct one-dimensional marginal probability distributions and therefore represent the natural choice for the probability distributions in classical hidden-variable models. In this context, negativity of the Wigner function is considered as a proof of non-classicality for a quantum state. On the contrary, the polarization quasiprobability distribution demonstrates negativity for all quantum states. This feature comes from the discrete nature of the Stokes variables; however, it was not observed in previous experiments, because they were performed with photon-number averaging detectors. Here we reconstruct the polarization quasiprobability distribution of a coherent state with photon-number resolving detectors, which allows us to directly observe for the first time its negativity.


title: Refractive Indices of Semiconductors from Energy gaps

abstract: An empirical relation based on energy gap and refractive index data has been proposed in the present study to calculate the refractive index of semiconductors. The proposed model is then applied to binary as well as ternary semiconductors for a wide range of energy gap. Using the relation, dielectric constants of some III-V group semiconductors are calculated. The calculated values for different group of binary semiconductors, alkali halides and ternary semiconductors fairly agree with other calculations and known values over a wide range of energy gap. The temperature variation of refractive index for some binary semiconductors have been calculated.


title: Magnetic fields facilitate DNA-mediated charge transport

abstract: Exaggerate radical-induced DNA damage under magnetic fields is of great concerns to medical biosafety and to bio-molecular device based upon DNA electronic conductivity. In this report, the effect of applying an external magnetic field (MF) on DNA-mediated charge transport (CT) was investigated by studying guanine oxidation by a kinetics trap (8CPG) via photoirradiation of anthraquinone (AQ) in the presence of an external MF. Positive enhancement in CT efficiencies was observed in both the proximal and distal 8CPG after applying a static MF of 300 mT. MF assisted CT has shown sensitivities to magnetic field strength, duplex structures, and the integrity of base pair stacking. MF effects on spin evolution of charge injection upon AQ irradiation and alignment of base pairs to CT-active conformation during radical propagation were proposed to be the two major factors that MF attributed to facilitate DNA-mediated CT. Herein, our results suggested that the electronic conductivity of duplex DNA can be enhanced by applying an external MF. MF effects on DNA-mediated CT may offer a new avenue for designing DNA-based electronic device, and unraveled MF effects on redox and radical relevant biological processes.


title: Complete scaling makes differences along the critical isobar: Molecular dynamics simulations of Lennard-Jones fluid with finite-time scaling

abstract: We show that, along the critical isobar, the complete scaling results in a unique leading scaling qualitatively distinct to that arising from the simple and the revised scalings. This is verified by a complete-field finite-time scaling theory, which combines the complete scaling with finite-time scaling, and its application to the molecular dynamics simulations of the vapor-liquid critical point of a three-dimensional one-component Lennard-Jones fluid in an isobaric-isothermal ensemble with linear heating or cooling. Both the static and the dynamic critical exponents as well as the critical parameters can be estimated without \emph{a priori} knowledge of the universality class. The results agree with extant values and thus show the necessity of the complete scaling to the leading asymptotic behavior along the critical isobar even for the LJ fluid whose asymmetry is thought to be weak.


title: High Speed Peltier Calorimeter for the Calibration of High Bandwidth Power Measurement Equipment

abstract: Accurate power measurements of electronic components operating at high frequencies are vital in determining where power losses occur in a system such as a power converter. Such power measurements must be carried out with equipment that can accurately measure real power at high frequency. We present the design of a high speed calorimeter to address this requirement, capable of reaching a steady state in less than 10 minutes. The system uses Peltier thermoelectric coolers to remove heat generated in a load resistance, and was calibrated against known real power measurements using an artificial neural network. A dead zone controller was used to achieve stable power measurements. The calibration was validated and shown to have an absolute accuracy of +/-8 mW (95% confidence interval) for measurements of real power from 0.1 to 5 W.


title: On the Strong Chromatic Index of Sparse Graphs

abstract: The strong chromatic index of a graph $G$, denoted $\chi_s'(G)$, is the least number of colors needed to edge-color $G$ so that edges at distance at most two receive distinct colors. The strong list chromatic index, denoted $\chi_{s,\ell}'(G)$, is the least integer $k$ such that if arbitrary lists of size $k$ are assigned to each edge then $G$ can be edge-colored from those lists where edges at distance at most two receive distinct colors. We use the discharging method, the Combinatorial Nullstellensatz, and computation to show that if $G$ is a subcubic planar graph with $\operatorname{girth}(G) \geq 41$ then $\chi_{s,\ell}'(G) \leq 5$, answering a question of Borodin and Ivanova [Precise upper bound for the strong edge chromatic number of sparse planar graphs, Discuss. Math. Graph Theory, 33(4), (2014) 759--770]. We further show that if $G$ is a subcubic planar graph and $\operatorname{girth}(G) \geq 30$, then $\chi_s'(G) \leq 5$, improving a bound from the same paper. Finally, if $G$ is a planar graph with maximum degree at most four and $\operatorname{girth}(G) \geq 28$, then $\chi_s'(G) \leq 7$, improving a more general bound of Wang and Zhao from [Odd graphs and its application on the strong edge coloring, arXiv:1412.8358] in this case.


title: An Adaptive Variable Order Quadrature Strategy

abstract: In this article we propose a new adaptive numerical quadrature procedure which includes both local subdivision of the integration domain, as well as local variation of the number of quadrature points employed on each subinterval. In this way we aim to account for local smoothness properties of the function to be integrated as effectively as possible, and thereby achieve highly accurate results in a very efficient manner. Indeed, this idea originates from so-called hp-version finite element methods which are known to deliver high-order convergence rates, even for nonsmooth functions.


title: A Learning-Based Approach to Caching in Heterogenous Small Cell Networks

abstract: A heterogenous network with base stations (BSs), small base stations (SBSs) and users distributed according to independent Poisson point processes is considered. SBS nodes are assumed to possess high storage capacity and to form a distributed caching network. Popular files are stored in local caches of SBSs, so that a user can download the desired files from one of the SBSs in its vicinity. The offloading-loss is captured via a cost function that depends on the random caching strategy proposed here. The popularity profile of cached content is unknown and estimated using instantaneous demands from users within a specified time interval. An estimate of the cost function is obtained from which an optimal random caching strategy is devised. The training time to achieve an $\epsilon>0$ difference between the achieved and optimal costs is finite provided the user density is greater than a predefined threshold, and scales as $N^2$, where $N$ is the support of the popularity profile. A transfer learning-based approach to improve this estimate is proposed. The training time is reduced when the popularity profile is modeled using a parametric family of distributions; the delay is independent of $N$ and scales linearly with the dimension of the distribution parameter.


title: A uniform estimate of the relative projection constant

abstract: The main goal of the paper is to provide a quantitative lower bound greater than $1$ for the relative projection constant $\lambda(Y, X)$, where $X$ is a subspace of $\ell_{2p}^m$ space and $Y \subset X$ is an arbitrary hyperplane. As a consequence, we establish that for every integer $n \geq 4$ there exists an $n$-dimensional normed space $X$ such that for an every hyperplane $Y$ and every projection $P:X \to Y$ the inequality $||P|| > 1 + \left (8 \left ( n + 3 \right )^{5} \right )^{-30(n+3)^2}$ holds. This gives a non-trivial lower bound in a variation of problem proposed by Bosznay and Garay in $1986$.


title: On the Voting Time of the Deterministic Majority Process

abstract: In the deterministic binary majority process we are given a simple graph where each node has one out of two initial opinions. In every round, every node adopts the majority opinion among its neighbors. By using a potential argument first discovered by Goles and Olivos (1980), it is known that this process always converges in $O(|E|)$ rounds to a two-periodic state in which every node either keeps its opinion or changes it in every round. It has been shown by Frischknecht, Keller, and Wattenhofer (2013) that the $O(|E|)$ bound on the convergence time of the deterministic binary majority process is indeed tight even for dense graphs. However, in many graphs such as the complete graph, from any initial opinion assignment, the process converges in just a constant number of rounds. By carefully exploiting the structure of the potential function by Goles and Olivos (1980), we derive a new upper bound on the convergence time of the deterministic binary majority process that accounts for such exceptional cases. We show that it is possible to identify certain modules of a graph $G$ in order to obtain a new graph $G^\Delta$ with the property that the worst-case convergence time of $G^\Delta$ is an upper bound on that of $G$. Moreover, even though our upper bound can be computed in linear time, we show that, given an integer $k$, it is NP-hard to decide whether there exists an initial opinion assignment for which it takes more than $k$ rounds to converge to the two-periodic state.


title: Complete convergence theorem for stationary heavy tailed sequences

abstract: For a class of stationary regularly varying and weakly dependent time series, we prove the so-called complete convergence result for the corresponding space-time point processes. As an application of our main theorem, we give a simple proof of the invariance principle for the corresponding partial maximum process.


title: Two-dimensional localized structures in harmonically forced oscillatory systems

abstract: Two-dimensional spatially localized structures in the complex Ginzburg-Landau equation with 1:1 resonance are studied near the simultaneous occurrence of a steady front between two spatially homogeneous equilibria and a supercritical Turing bifurcation on one of them. The bifurcation structures of steady circular fronts and localized target patterns are computed in the Turing-stable and Turing-unstable regimes. In particular, localized target patterns grow along the solution branch via ring insertion at the core in a process reminiscent of defect-mediated snaking in one spatial dimension. Axisymmetric oscillons on these solution branches are found to be stable over a wide parameter interval, and subject to various types of instability otherwise. Direct numerical simulations reveal novel depinning dynamics of localized target patterns in the radial direction, and of circular and planar localized hexagonal patterns in the fully two-dimensional system.


title: Positivity of center subsets for QCD

abstract: We further pursue an approach to the sign problem of quantum chromodynamics at nonzero chemical potential, in which configurations of the lattice path integral are gathered into subsets. In the subset construction we multiply each temporal link by center elements independently and in a first step neglect the gauge action. The positivity of the subset weights -- shown for 0+1 dimensions in an earlier study -- extends to larger lattices: for two sites in the temporal direction and arbitrary spatial extent we give a proof of the positivity by decomposing the subset weight in positive summands. From numerical evidence we conjecture that the positivity persists on larger lattices and that the gauge action can be reintroduced through mild reweighting. First results on the quark number obtained with this method in two dimensions are shown as well.


title: Sufficient and necessary conditions for Dynamic Programming in Valuation-Based Systems

abstract: Valuation algebras abstract a large number of formalisms for automated reasoning and enable the definition of generic inference procedures. Many of these formalisms provide some notion of solution. Typical examples are satisfying assignments in constraint systems, models in logics or solutions to linear equation systems. Many widely used dynamic programming algorithms for optimization problems rely on low treewidth decompositions and can be understood as particular cases of a single algorithmic scheme for finding solutions in a valuation algebra. The most encompassing description of this algorithmic scheme to date has been proposed by Pouly and Kohlas together with sufficient conditions for its correctness. Unfortunately, the formalization relies on a theorem for which we provide counterexamples. In spite of that, the mainline of Pouly and Kohlas' theory is correct, although some of the necessary conditions have to be revised. In this paper we analyze the impact that the counter-examples have on the theory, and rebuild the theory providing correct sufficient conditions for the algorithms. Furthermore, we also provide necessary conditions for the algorithms, allowing for a sharper characterization of when the algorithmic scheme can be applied.


title: Lifestyle Tradeoffs and the Decline of Societal Well-being: An Agent-based Model

abstract: This paper presents a semi-quantitative mathematical model of the changes over time in the statistical distribution of well-being of individuals in a society. The model predicts that when individuals overvalue the more socially conspicuous aspects of well-being in their lifestyle choices, then the average well-being of the overall population may experience continuous decline. In addition to trade-off cost and overvaluation, we identify statistical variation in individuals' well-being and turnover within the population as key factors driving negative trends. We investigate the influence of the effects of heterogeneity in the population, as well as economic and/or technological progress.


title: Engineering an Anthropocene Citizenship Framework

abstract: This article presents an Anthropocene citizen-cantered framework by incorporating the neuroscience of sustainability related stressors, the biology of collaboration in multi-agent ecosystems such as urban systems, and by emphasising on the importance of harnessing the collective intelligence of the crowd in addressing wicked challenges of sustainable development. The Anthropocene citizenship framework aims to transcend the cognitive model of global citizenship and sustainability to a dynamic, resilient and thriving mental model of collective cooperation.


title: CABeRNET: a Cytoscape app for Augmented Boolean models of gene Regulatory NETworks

abstract: Background. Dynamical models of gene regulatory networks (GRNs) are highly effective in describing complex biological phenomena and processes, such as cell differentiation and cancer development. Yet, the topological and functional characterization of real GRNs is often still partial and an exhaustive picture of their functioning is missing. Motivation. We here introduce CABeRNET, a Cytoscape app for the generation, simulation and analysis of Boolean models of GRNs, specifically focused on their augmentation when a only partial topological and functional characterization of the network is available. By generating large ensembles of networks in which user-defined entities and relations are added to the original core, CABeRNET allows to formulate hypotheses on the missing portions of real networks, as well to investigate their generic properties, in the spirit of complexity science. Results. CABeRNET offers a series of innovative simulation and modeling functions and tools, including (but not being limited to) the dynamical characterization of the gene activation patterns ruling cell types and differentiation fates, and sophisticated robustness assessments, as in the case of gene knockouts. The integration within the widely used Cytoscape framework for the visualization and analysis of biological networks, makes CABeRNET a new essential instrument for both the bioinformatician and the computational biologist, as well as a computational support for the experimentalist. An example application concerning the analysis of an augmented T-helper cell GRN is provided.


title: Do Brain Networks Evolve by Maximizing their Information Flow Capacity?

abstract: We propose a working hypothesis supported by numerical simulations that brain networks evolve based on the principle of the maximization of their internal information flow capacity. We find that synchronous behavior and capacity of information flow of the evolved networks reproduce well the same behaviors observed in the brain dynamical networks of Caenorhabditis elegans and humans, networks of Hindmarsh-Rose neurons with graphs given by these brain networks. We make a strong case to verify our hypothesis by showing that the neural networks with the closest graph distance to the brain networks of Caenorhabditis elegans and humans are the Hindmarsh-Rose neural networks evolved with coupling strengths that maximize information flow capacity. Surprisingly, we find that global neural synchronization levels decrease during brain evolution, reflecting on an underlying global no Hebbian-like evolution process, which is driven by no Hebbian-like learning behaviors for some of the clusters during evolution, and Hebbian-like learning rules for clusters where neurons increase their synchronization.


title: Assortativity and leadership emergence from anti-preferential attachment in heterogeneous networks

abstract: Many real-world networks exhibit degree-assortativity, with nodes of similar degree more likely to link to one another. Particularly in social networks, the contribution to the total assortativity varies with degree, featuring a distinctive peak slightly past the average degree. The way traditional models imprint assortativity on top of pre-defined topologies is via degree-preserving link permutations, which however destroy the particular graph's hierarchical traits of clustering. Here, we propose the first generative model which creates heterogeneous networks with scale-free-like properties and tunable realistic assortativity. In our approach, two distinct populations of nodes are added to an initial network seed: one (the followers) that abides by usual preferential rules, and one (the potential leaders) connecting via anti-preferential attachments, i.e. selecting lower degree nodes for their initial links. The latter nodes come to develop a higher average degree, and convert eventually into the final hubs. Examining the evolution of links in Facebook, we present empirical validation for the connection between the initial anti-preferential attachment and long term high degree. Thus, our work sheds new light on the structure and evolution of social networks.


title: Non-Payoff Monotonic Dynamics in an Evolutionary Game of Courtship

abstract: We propose an evolutionary coordination game to formalize a simplified model of the evolution of strategies during human courtship. The dynamics, derived from the consideration of experimental observations on human social behavior driven by self-esteem, turns out to be non-payoff monotonic. This property gives rise to nontrivial evolution in the players' strategies, which we study both numerically and analytically.


title: Information-theoretical analysis of the statistical dependencies among three variables: Applications to written language

abstract: We develop the information-theoretical concepts required to study the statistical dependencies among three variables. Some of such dependencies are pure triple interactions, in the sense that they cannot be explained in terms of a combination of pairwise correlations. We derive bounds for triple dependencies, and characterize the shape of the joint probability distribution of three binary variables with high triple interaction. The analysis also allows us to quantify the amount of redundancy in the mutual information between pairs of variables, and to assess whether the information between two variables is or is not mediated by a third variable. These concepts are applied to the analysis of written texts. We find that the probability that a given word is found in a particular location within the text is not only modulated by the presence or absence of other nearby words, but also, on the presence or absence of nearby pairs of words. We identify the words enclosing the key semantic concepts of the text, the triplets of words with high pairwise and triple interactions, and the words that mediate the pairwise interactions between other words.


title: Combinatorial Limits of Transcription Factors and Gene Regulatory Networks in Development and Evolution

abstract: Gene Regulatory Networks (GRNs) consisting of combinations of transcription factors (TFs) and their cis promoters are assumed to be sufficient to direct the development of organisms. Mutations in GRNs are assumed to be the primary drivers for the evolution of multicellular life. Here it is proven that neither of these assumptions is correct. They are inconsistent with fundamental principles of combinatorics of bounded encoded networks. It is shown there are inherent complexity and control capacity limits for any gene regulatory network that is based solely on protein coding genes such as transcription factors. This result has significant practical consequences for understanding development, evolution, the Cambrian Explosion, as well as multi-cellular diseases such as cancer. If the arguments are sound, then genes cannot explain the development of complex multicellular organisms and genes cannot explain the evolution of complex multicellular life.


title: Short relaxation times but long transient times in both simple and complex reaction networks

abstract: When relaxation towards an equilibrium or steady state is exponential at large times, one usually considers that the associated relaxation time $\tau$, i.e., the inverse of that decay rate, is the longest characteristic time in the system. However that need not be true, and in particular other times such as the lifetime of an infinitesimal perturbation can be much longer. In the present work we demonstrate that this paradoxical property can arise even in quite simple systems such as a chain of reactions obeying mass action kinetics. By mathematical analysis of simple reaction networks, we pin-point the reason why the standard relaxation time does not provide relevant information on the potentially long transient times of typical infinitesimal perturbations. Overall, we consider four characteristic times and study their behavior in both simple chains and in more complex reaction networks taken from the publicly available database "Biomodels." In all these systems involving mass action rates, Michaelis-Menten reversible kinetics, or phenomenological laws for reaction rates, we find that the characteristic times corresponding to lifetimes of tracers and of concentration perturbations can be much longer than $\tau$.


title: Detecting early signs of the 2007-2008 crisis in the world trade

abstract: Since 2007, several contributions have tried to identify early-warning signals of the financial crisis. However, the vast majority of analyses has focused on financial systems and little theoretical work has been done on the economic counterpart. In the present paper we fill this gap and employ the theoretical tools of network theory to shed light on the response of world trade to the financial crisis of 2007 and the economic recession of 2008-2009. We have explored the evolution of the bipartite World Trade Web (WTW) across the years 1995-2010, monitoring the behavior of the system both before and after 2007. Our analysis shows early structural changes in the WTW topology: since 2003, the WTW becomes increasingly compatible with the picture of a network where correlations between countries and products are progressively lost. Moreover, the WTW structural modification can be considered as concluded in 2010, after a seemingly stationary phase of three years. We have also refined our analysis by considering specific subsets of countries and products: the most statistically significant early-warning signals are provided by the most volatile macrosectors, especially when measured on developing countries, suggesting the emerging economies as being the most sensitive ones to the global economic cycles.


title: Event coincidence analysis for quantifying statistical interrelationships between event time series: on the role of flood events as possible triggers of epidemic outbreaks

abstract: Studying event time series is a powerful approach for analyzing the dynamics of complex dynamical systems in many fields of science. In this paper, we describe the method of event coincidence analysis to provide a framework for quantifying the strength, directionality and time lag of statistical interrelationships between event series. Event coincidence analysis allows to formulate and test null hypotheses on the origin of the observed interrelationships including tests based on Poisson processes or, more generally, stochastic point processes with a prescribed inter-event time distribution and other higher-order properties. Applying the framework to country-level observational data yields evidence that flood events have acted as triggers of epidemic outbreaks globally since the 1950s. Facing projected future changes in the statistics of climatic extreme events, statistical techniques such as event coincidence analysis will be relevant for investigating the impacts of anthropogenic climate change on human societies and ecosystems worldwide.


title: J=3/2 charmed hypertriton

abstract: By solving exact three-body equations, we study the three-baryon system with charm $+1$. We look for possible bound states using baryon-baryon interactions obtained from a chiral constituent quark model. The smaller effect of the $\Lambda_c \leftrightarrow \Sigma_c$ conversion reverses the order of the $(I,J)=(0,1/2)$ and $(I,J)=(0,3/2)$ states, rather close on the strange sector. The diminishing of the kinetic energy due to the large reduced mass gives rise to a bound state in the $(I,J)=(0,3/2)$ channel. After correcting for Coulomb effects the binding energy would be between 140 and 715 keV.


title: Proceedings of the 3rd Workshop on Domain-Specific Language Design and Implementation (DSLDI 2015)

abstract: The goal of the DSLDI workshop is to bring together researchers and practitioners interested in sharing ideas on how DSLs should be designed, implemented, supported by tools, and applied in realistic application contexts. We are both interested in discovering how already known domains such as graph processing or machine learning can be best supported by DSLs, but also in exploring new domains that could be targeted by DSLs. More generally, we are interested in building a community that can drive forward the development of modern DSLs. These informal post-proceedings contain the submitted talk abstracts to the 3rd DSLDI workshop (DSLDI'15), and a summary of the panel discussion on Language Composition.


title: Scribability problems for polytopes

abstract: In this paper we study various scribability problems for polytopes. We begin with the classical $k$-scribability problem proposed by Steiner and generalized by Schulte, which asks about the existence of $d$-polytopes that cannot be realized with all $k$-faces tangent to a sphere. We answer this problem for stacked and cyclic polytopes for all values of $d$ and $k$. We then continue with the weak scribability problem proposed by Gr\"unbaum and Shephard, for which we complete the work of Schulte by presenting non weakly circumscribable $3$-polytopes. Finally, we propose new $(i,j)$-scribability problems, in a strong and a weak version, which generalize the classical ones. They ask about the existence of $d$-polytopes that can not be realized with all their $i$-faces "avoiding" the sphere and all their $j$-faces "cutting" the sphere. We provide such examples for all the cases where $j-i \le d-3$.


title: Welfare Maximization Entices Participation

abstract: We consider randomized mechanisms with optional participation. Preferences over lotteries are modeled using skew-symmetric bilinear (SSB) utility functions, a generalization of classic von Neumann-Morgenstern utility functions. We show that every welfare-maximizing mechanism entices participation and that the converse holds under additional assumptions. Two important corollaries of our results are characterizations of an attractive randomized voting rule that satisfies Condorcet-consistency and entices participation. This stands in contrast to a well-known result by Moulin (1988), who proves that no deterministic voting rule can satisfy both properties simultaneously.


title: NLO+NLL limits on $W'$ and $Z'$ gauge boson masses

abstract: QCD resummation predictions for the production of new charged ($W'$) and neutral ($Z'$) heavy gauge bosons decaying leptonically are presented. These results are obtained with our resummation code at next-to-leading order and next-to-leading logarithmic (NLO+NLL) accuracy. Our predictions are compared to PYTHIA at leading order (LO) supplemented with parton showers (PS) and FEWZ at NLO and next-to-next-to-leading order (NNLO) for the $p_T$-differential and total cross sections in the Sequential Standard Model (SSM) and general SU(2)$\times$SU(2)$\times$U(1) models. We show that the importance of resummation for total cross sections increases with the gauge boson mass. Finally, the latest ATLAS and CMS results are reinterpreted to derive new limits at NLO+NLL on $W'$ and $Z'$ boson masses in general extensions of the Standard Model.


title: Semiclassical analysis and symmetry reduction I. Equivariant Weyl law for invariant Schr\"odinger operators on compact manifolds

abstract: We study the spectral properties of Schr\"odinger operators on a compact connected Riemannian manifold $M$ without boundary in case that the underlying Hamiltonian system possesses certain symmetries. More precisely, if $M$ carries an isometric and effective action of a compact connected Lie group $G$, we prove a generalized equivariant version of the semiclassical Weyl law with an estimate for the remainder, using a semiclassical functional calculus for $h$-dependent functions and relying on recent results on singular equivariant asymptotics. These results will be used to derive an equivariant quantum ergodicity theorem in Part II of this work. When $G$ is trivial, one recovers the classical results.


title: Super-resolved multimodal multiphoton microscopy with spatial frequency-modulated imaging

abstract: Super-resolved far-field microscopy has emerged as a powerful tool for investigating the structure of objects with resolution well below the diffraction limit of light. Nearly all super-resolution imaging techniques reported to date rely on real energy states of probe molecules to circumvent the diffraction limit, preventing super-resolved imaging of contrast mechanisms that occur via virtual energy states such as harmonic generation (HG). Here we report a super-resolution technique based on SPatIal Frequency modulated Imaging (SPIFI) that permits super-resolved nonlinear microscopy with any contrast mechanism, and with single-pixel detection. We show multimodal super-resolved images with two-photon excited fluorescence (TPEF) and second-harmonic generation (SHG) from biological and inorganic media. Multiphoton SPIFI (MP-SPIFI) provides spatial resolution up to 2$\eta$ below the diffraction limit, where $\eta$ is the highest power of the nonlinear intensity response. MP-SPIFI has the potential to not only provide enhanced resolution in optically thin media, but shows promise for providing super-resolved imaging at depth in scattering media - opening the possibility of $\textit{in vivo}$ super-resolved imaging.


title: Network science based quantification of resilience demonstrated on the Indian Railways Network

abstract: The structure, interdependence, and fragility of systems ranging from power grids and transportation to ecology, climate, biology and even human communities and the Internet, have been examined through network science. While the response to perturbations has been quantified, recovery strategies for perturbed networks have usually been either discussed conceptually or through anecdotal case studies. Here we develop a network science-based quantitative methods framework for measuring, comparing and interpreting hazard responses and as well as recovery strategies. The framework, motivated by the recently proposed temporal resilience paradigm, is demonstrated with the Indian Railways Network. The methods are demonstrated through the resilience of the network to natural or human-induced hazards and electric grid failure. Simulations inspired by the 2004 Indian Ocean Tsunami and the 2012 North Indian blackout as well as a cyber-physical attack scenario. Multiple metrics are used to generate various recovery strategies, which are simply sequences in which system components should be recovered after a disruption. Quantitative evaluation of recovery strategies suggests that faster and more resource-effective recovery is possible through network centrality measures. Case studies based on two historical events, specifically the 2004 Indian Ocean tsunami and the 2012 North Indian blackout, and a simulated cyber-physical attack scenario, provides means for interpreting the relative performance of various recovery strategies. Quantitative evaluation of recovery strategies suggests that faster and more resource-effective restoration is possible through network centrality measures, even though the specific strategy may be different for sub-networks or for the partial recovery.


title: Recovering the equivalence of ensembles II: An Ising chain with competing short and long-range interactions

abstract: In a pioneer work, John Nagle has shown that an Ising chain with competing short and long-range interactions displays second and first-order phase transitions separated by a tricritical point. More recently, it has been claimed that Nagle's model provides an example of the inequivalence between canonical and microcanonical calculations. We then revisit Nagle's original solution, as well as the usual formulation of the problem in a canonical ensemble, which lead to the same results. Also, in contrast to recent claims, we show that an alternative formulation in the microcanonical ensemble, with the adequate choice of the fixed thermodynamic extensive variables, leads to equivalent thermodynamic results.


title: Production cross section estimates for strongly-interacting Electroweak Symmetry Breaking Sector resonances at particle colliders

abstract: We are exploring a generic strongly-interacting Electroweak Symmetry Breaking Sector (EWSBS) with the low-energy effectie field theory for the four experimentally known particles ($W_L^\pm$, $Z_L$, $h$) and its dispersion-relation based unitary extension. In this contribution we provide simple estimates for the production cross section of pairs of the EWSBS bosons and their resonances at proton-proton colliders as well as in a future $e^-e^+$ (or potentially a $\mu^-\mu^+$) collider with a typical few-TeV energy. We examine the simplest production mechanisms, tree-level production through a $W$ (dominant when quantum numbers allow) and the simple effective boson approximation (in which the electroweak bosons are considered as collinear partons of the colliding fermions). We exemplify with custodial isovector and isotensor resonances at 2 TeV, the energy currently being discussed because of a slight excess in the ATLAS 2-jet data. We find it hard, though not unthinkable, to ascribe this excess to one of these $W_LW_L$ rescattering resonances. An isovector resonance could be produced at a rate smaller than, but close to earlier CMS exclusion bounds, depending on the parameters of the effective theory. The $ZZ$ excess is then problematic and requires additional physics (such as an additional scalar resonance). The isotensor one (that would describe all charge combinations) has a smaller cross section.


title: Scaling Properties in Time-Varying Networks with Memory

abstract: The formation of network structure is mainly influenced by an individual node's activity and its memory, where activity can usually be interpreted as the individual inherent property and memory can be represented by the interaction strength between nodes. In our study, we define the activity through the appearance pattern in the time-aggregated network representation, and quantify the memory through the contact pattern of empirical temporal networks. To address the role of activity and memory in epidemics on time-varying networks, we propose temporal-pattern coarsening of activity-driven growing networks with memory. In particular, we focus on the relation between time-scale coarsening and spreading dynamics in the context of dynamic scaling and finite-size scaling. Finally, we discuss the universality issue of spreading dynamics on time-varying networks for various memory-causality tests.


title: Geodesic trajectories on regular polyhedra

abstract: Consider all geodesics between two given points on a polyhedron. On the regular tetrahedron, we describe all the geodesics from a vertex to a point, which could be another vertex. Using the Stern--Brocot tree to explore the recursive structure of geodesics between vertices on a cube, we prove, in some precise sense, that there are twice as many geodesics between certain pairs of vertices than other pairs. We also obtain the fact that there are no geodesics that start and end at the same vertex on the regular tetrahedron or the cube.


title: A Model for Dipole Modulation of CMBR Polarization

abstract: I propose a model of dipole modulation in Cosmic Background Microwave Radiation (CMBR) polarization fields Q and U. It is shown that the modulation leads to correlations between l and l multipoles where either l = l or l = l \pm 1, but the contribution for the case l = l cancels out after summing over m. We perform a detailed mathematical analysis of the E and B mode correlations and obtain the final result in a closed form.


title: Viscoelastic Interfaces Driven in Disordered Media and Applications to Friction

abstract: Many complex systems respond to a continuous input of energy by an accumulation of stress over time, interrupted by sudden energy releases called avalanches. Recently, it has been pointed out that several basic features of avalanche dynamics are induced at the microscopic level by relaxation processes, which are neglected by most models. During my thesis, I studied two well-known models of avalanche dynamics, modified minimally by the inclusion of some forms of relaxation. The first system is that of a viscoelastic interface driven in a disordered medium. In mean-field, we prove that the interface has a periodic behaviour (with a new, emerging time scale), with avalanche events that span the whole system. We compute semi-analytically the friction force acting on this surface, and find that it is compatible with classical friction experiments. In finite dimensions (2D), the mean-field system-sized events become local, and numerical simulations give qualitative and quantitative results in good agreement with several important features of real earthquakes. The second system including a minimal form of relaxation consists in a toy model of avalanches: the Directed Percolation process. In our study of a non-Markovian variant of Directed Percolation, we observed that the universality class was modified but not completely. In particular, in the non-Markov case an exponent changes of value while several scaling relations still hold. This picture of an extended universality class obtained by the addition of a non-Markovian perturbation to the dynamics provides promising prospects for our first system.


title: A sharp smoothness of the conjugation of class P-homeomorphisms to diffeomorphisms

abstract: Let f be a class P -homeomorphism of the circle. We prove that there exists a piecewise analytic homeomorphism that conjugate f to a one-class P with prescribed break points lying on pairwise distinct orbits. As a consequence, we give a sharp estimate for the smoothness of a conjugation of class P -homeomorphism f of the circle satisfying the (D)-property (i.e. the product of f-jumps in the break points contained in a same orbit is trivial), to diffeomorphism. When f does not satisfy the (D)-property the conjugating homeomorphism is never piecewise C^1 and even more it is not absolutely continuous function if the total product of f-jumps in all the break points is non-trivial.


title: Forward-Backward Evolution Equations and Applications

abstract: Well-posedness is studied for a special system of two-point boundary value problem for evolution equations which is called a forward-backward evolution equation (FBEE, for short). Two approaches are introduced: A decoupling method with some brief discussions, and a method of continuation with some substantial discussions. For the latter, we have introduced Lyapunov operators for FBEEs, whose existence leads to some uniform a priori estimates for the mild solutions of FBEEs, which will be sufficient for the well-posedness. For some special cases, Lyapunov operators are constructed. Also, from some given Lyapunov operators, the corresponding solvable FBEEs are identified.


title: Contraction coefficients for noisy quantum channels

abstract: Generalized relative entropy, monotone Riemannian metrics, geodesic distance, and trace distance are all known to decrease under the action of quantum channels. We give some new bounds on, and relationships between, the maximal contraction for these quantities.


title: Stress and dislocation distributions near a crack tip in ductile single crystals

abstract: Within the continuum dislocation theory the asymptotic analysis of the plane strain crack problem for a single crystal having only one active slip system on each half-plane is provided. The results of this asymptotic analysis show that the square root stress singularity remains valid during the plastic deformation, while the dislocation density is proportional to the stress intensity factor and distributed as the square root of the distance from the crack tip. The analytical solution for the angular distribution of the dislocation density is found.


title: On the topology of the space of pinched negatively curved metrics with finite volume and identical ends

abstract: We prove that the space of complete, finite volume, pinched negatively curved Riemannian metrics on a smooth high-dimensional manifold is either empty or it is highly non-connected, provided their behavior at infinity is similar.


title: Virtualization of Multi-Cell 802.11 Networks: Association and Airtime Control

abstract: This paper investigates the virtualization and optimization of a multi-cell WLAN. We consider the station (STA)-access point (AP) association and airtime control for virtualized 802.11 networks to provide service customization and fairness across multiple internet service providers (ISPs) sharing the common physical infrastructure and network capacity. More specifically, an optimization problem is formulated on the STAs transmission probabilities to maximize the overall network throughput, while providing airtime usage guarantees for the ISPs. Subsequently, an algorithm to reach the optimal solution is developed by applying monomial approximation and geometric programming iteratively. Based on the proposed three-dimensional Markov-chain model of the enhanced distributed channel access (EDCA) protocol, the detailed implementation of the optimal transmission probability is also discussed. The accuracy of the proposed Markov-chain model and the performance of the developed association and airtime control scheme are evaluated through numerical results.


title: Functional weak convergence of partial maxima processes

abstract: For a strictly stationary sequence of nonnegative regularly varying random variables $(X_{n})$ we study functional weak convergence of partial maxima processes $M_{n}(t) = \bigvee_{i=1}^{\lfloor nt \rfloor}X_{i},\,t \in [0,1]$ in the space $D[0,1]$ with the Skorohod $J_{1}$ topology. Under the strong mixing condition, we give sufficient conditions for such convergence when clustering of large values do not occur. We apply this result to stochastic volatility processes. Further we give conditions under which the regular variation property is a necessary condition for $J_{1}$ and $M_{1}$ functional convergences in the case of weak dependence. We also prove that strong mixing implies the so-called Condition $\mathcal{A}(a_{n})$ with the time component.


title: On the classical r-matrix structure of the rational BC(n) Ruijsenaars-Schneider-van Diejen system

abstract: In this paper, we construct a quadratic r-matrix structure for the classical rational BC(n) Ruijsenaars-Schneider-van Diejen system with the maximal number of three independent coupling parameters. As a byproduct, we provide a Lax representation of the dynamics as well.


title: Evidence for a binary origin of a central compact object

abstract: Central compact objects (CCOs) are thought to be young thermally emitting isolated neutron stars that were born during the preceding core-collapse supernova explosion. Here we present evidence that at least in one case the CCO could have been formed within a binary system. We show that the highly reddened optical source IRAS~17287$-$3443, located $25^{\prime \prime}$ away from the CCO candidate XMMUJ173203.3$-$344518 and classified previously as a post asymptotic giant branch star, is indeed surrounded by a dust shell. This shell is heated by the central star to temperatures of $\sim90$\,K and observed as extended infrared emission in 8-160\,$\mu$m band. The dust temperature also increases in the vicinity of the CCO which implies that it likely resides within the shell. We estimate the total dust mass to be $\sim0.4-1.5\,M_\odot$ which significantly exceeds expected dust yields by normal stars and thus likely condensed from supernova ejecta. Taking into account that both the age of the supernova remnant and the duration of active mass loss phase by the optical star are much shorter than the total lifetime of either object, the supernova and the onset of the active mass loss phase of the companion have likely occurred approximately simultaneously. This is most easily explained if the evolution of both objects is interconnected. We conclude, therefore, that both stars were likely members of the same binary system disrupted by a supernova.


title: A Minkowski type inequality in space forms

abstract: In this note we apply the general Reilly formula established in \cite{QX} to the solution of a Neumann boundary value problem to prove an optimal Minkowski type inequality in space forms.


title: Fundamental limitations of network reconstruction

abstract: Network reconstruction is the first step towards understanding, diagnosing and controlling the dynamics of complex networked systems. It allows us to infer properties of the interaction matrix, which characterizes how nodes in a system directly interact with each other. Despite a decade of extensive studies, network reconstruction remains an outstanding challenge. The fundamental limitations governing which properties of the interaction matrix (e.g., adjacency pattern, sign pattern and degree sequence) can be inferred from given temporal data of individual nodes remain unknown. Here we rigorously derive necessary conditions to reconstruct any property of the interaction matrix. These conditions characterize how uncertain can we be about the coupling functions that characterize the interactions between nodes, and how informative does the measured temporal data need to be; rendering two classes of fundamental limitations of network reconstruction. Counterintuitively, we find that reconstructing any property of the interaction matrix is generically as difficult as reconstructing the interaction matrix itself, requiring equally informative temporal data. Revealing these fundamental limitations shed light on the design of better network reconstruction algorithms, which offer practical improvements over existing methods.

categories: cs.SY math.OC physics.bio-ph physics.soc-ph


title: On-chip optical event horizon

abstract: The interaction of waves in nonlinear Kerr waveguides are, under some circumstances, similar to the physics occurring at the horizon of black and white holes. Here, we investigate this analogy in an integrated nonlinear photonic structure through the reflection of a continuous wave on an intense pulse. The resulting frequency conversion of the continuous wave is experimentally demonstrated in a silicon photonic wire waveguide and confirmed by simulations using the generalized nonlinear Schr\"odinger equation. This demonstration paves the way to efficient all-optical signal processing functionality integrated on a CMOS-compatible waveguide platform.


title: Electron gas induced in SrTiO$_3$

abstract: This mini-review is dedicated to the 85th birthday of Prof. L. V. Keldysh, from whom we have learned so much. In this paper we study the potential and electron density depth profiles in surface accumulation layers in crystals with a large and nonlinear dielectric response such as SrTiO$_3$ (STO) in the cases of planar, spherical and cylindrical geometries. The electron gas can be created by applying an induction $D_0$ to the STO surface. We describe the lattice dielectric response of STO using the Landau-Ginzburg free energy expansion and employ the Thomas-Fermi (TF) approximation for the electron gas. For the planar geometry we arrive at the electron density profile $n(x) \propto (x+d)^{-12/7}$, where $d \propto D_0^{-7/5} $. We extend our results to overlapping electron gases in GTO/STO/GTO multi-heterojunctions and electron gases created by spill-out from NSTO (heavily $n$-type doped STO) layers into STO. Generalization of our approach to a spherical donor cluster creating a big TF atom with electrons in STO brings us to the problem of supercharged nuclei. It is known that for an atom with nuclear charge $Ze$, where $Z > 170$, electrons collapse onto the nucleus resulting in a net charge $Z_n < Z$. Here, instead of relativistic physics, the collapse is caused by the nonlinear dielectric response. Electrons collapse into the charged spherical donor cluster with radius $R$ when its total charge number $Z$ exceeds the critical value $Z_c \simeq R/a$, where $a$ is the lattice constant. The net charge $eZ_n$ grows with $Z$ until $Z$ exceeds $Z^* \simeq (R/a)^{9/7}$. After this point, the charge number of the compact core $Z_n$ remains $\simeq Z^*$, with the rest $Z^*$ electrons forming a sparse Thomas-Fermi electron atmosphere around it. We extend our results to the case of long cylindrical clusters as well.


title: Experimental Measurement-Device-Independent Quantum Key Distribution with Imperfect Sources

abstract: Measurement-device-independent quantum key distribution (MDI-QKD), which is immune to all detector side-channel attacks, is the most promising solution to the security issues in practical quantum key distribution systems. Though several experimental demonstrations of MDI QKD have been reported, they all make one crucial but not yet verified assumption, that is there are no flaws in state preparation. Such an assumption is unrealistic and security loopholes remain in the source. Here we present, to our knowledge, the first MDI-QKD experiment with state preparation flaws taken into consideration. By applying a novel security proof by Tamaki \textit{et al} (Phys. Rev. A 90, 052314 (2014)), we distribute secure keys over fiber links up to 40 km with imperfect sources, which would not have been possible under previous security proofs. By closing loopholes in both the sources and the detectors, our work shows the feasibility of secure QKD with practical imperfect devices.


title: A Local Representation of the Electronic Dielectric Response Function

abstract: We present a local representation of the electronic dielectric response function, based on a spatial partition of the dielectric response into contributions from each Wannier function using a generalized density functional perturbation theory. This procedure is fully ab initio, and therefore allows us to rigorously define local metrics, such as "bond polarizability," on Wannier centers. We show that the locality of the response function is determined by the locality of three quantities: Wannier functions of the occupied manifold, the density matrix, and the Hamiltonian matrix. In systems with a gap, the bare dielectric response is exponentially localized, which supports the physical picture of the dielectric response function as a collection of interacting local response that can be captured by a tight-binding model.


title: Enhancement of bulk photovoltaic effect in topological insulators

abstract: We investigate the shift current bulk photovoltaic response of materials close to a band inversion topological phase transition. We find that the bulk photocurrent reverses direction across the band inversion transition, and that its magnitude is enhanced in the vicinity of the phase transition. These results are demonstrated with first principles DFT calculations of BiTeI and CsPbI$_3$ under hydrostatic pressure, and explained with an analytical model, suggesting that this phenomenon remains robust across disparate material systems.


title: A classification of finite antiflag-transitive generalized quadrangles

abstract: A generalized quadrangle is a point-line incidence geometry $\mathcal{Q}$ such that: (i) any two points lie on at most one line, and (ii) given a line $\ell$ and a point $P$ not incident with $\ell$, there is a unique point of $\ell$ collinear with $P$. The finite Moufang generalized quadrangles were classified by Fong and Seitz (1973), and we study a larger class of generalized quadrangles: the \emph{antiflag-transitive} quadrangles. An antiflag of a generalized quadrangle is a non-incident point-line pair $(P, \ell)$, and we say that the generalized quadrangle $\mathcal{Q}$ is antiflag-transitive if the group of collineations is transitive on the set of all antiflags. We prove that if a finite thick generalized quadrangle $\mathcal{Q}$ is antiflag-transitive, then $\mathcal{Q}$ is either a classical generalized quadrangle or is the unique generalized quadrangle of order $(3,5)$ or its dual.


title: Analyzing the Performance of Lock-Free Data Structures: A Conflict-based Model

abstract: This paper considers the modeling and the analysis of the performance of lock-free concurrent data structures. Lock-free designs employ an optimistic conflict control mechanism, allowing several processes to access the shared data object at the same time. They guarantee that at least one concurrent operation finishes in a finite number of its own steps regardless of the state of the operations. Our analysis considers such lock-free data structures that can be represented as linear combinations of fixed size retry loops. Our main contribution is a new way of modeling and analyzing a general class of lock-free algorithms, achieving predictions of throughput that are close to what we observe in practice. We emphasize two kinds of conflicts that shape the performance: (i) hardware conflicts, due to concurrent calls to atomic primitives; (ii) logical conflicts, caused by simultaneous operations on the shared data structure. We show how to deal with these hardware and logical conflicts separately, and how to combine them, so as to calculate the throughput of lock-free algorithms. We propose also a common framework that enables a fair comparison between lock-free implementations by covering the whole contention domain, together with a better understanding of the performance impacting factors. This part of our analysis comes with a method for calculating a good back-off strategy to finely tune the performance of a lock-free algorithm. Our experimental results, based on a set of widely used concurrent data structures and on abstract lock-free designs, show that our analysis follows closely the actual code behavior.


title: Sum-rate Maximizing in Downlink Massive MIMO Systems with Circuit Power Consumption

abstract: The downlink of a single cell base station (BS) equipped with large-scale multiple-input multiple-output (MIMO) system is investigated in this paper. As the number of antennas at the base station becomes large, the power consumed at the RF chains cannot be anymore neglected. So, a circuit power consumption model is introduced in this work. It involves that the maximal sum-rate is not obtained when activating all the available RF chains. Hence, the aim of this work is to find the optimal number of activated RF chains that maximizes the sum-rate. Computing the optimal number of activated RF chains must be accompanied by an adequate antenna selection strategy. First, we derive analytically the optimal number of RF chains to be activated so that the average sum-rate is maximized under received equal power. Then, we propose an efficient greedy algorithm to select the sub-optimal set of RF chains to be activated with regards to the system sum-rate. It allows finding the balance between the power consumed at the RF chains and the transmitted power. The performance of the proposed algorithm is compared with the optimal performance given by brute force search (BFS) antenna selection. Simulations allow to compare the performance given by greedy, optimal and random antenna selection algorithms.


title: A Construction on Operads Applicable to Homology Operations and the Minimal Model

abstract: We define a construction on operads which yields a new description of the minimal model. The construction also allows us to define algebraic structures on the homology of chain complexes with homologously trivial operad algebra structures, thus exposing nontrivial structure where none is apparent.


title: A hydrodynamic limit for chemotaxis in a given heterogeneous environment

abstract: In this paper the first equation within a class of well known chemotaxis systems is derived as a hydrodynamic limit from a stochastic interacting many particle system on the lattice. The cells are assumed to interact with attractive chemical molecules on a finite number of lattice sites, but they only directly interact among themselves on the same lattice site. The chemical environment is assumed to be stationary with a slowly varying mean, which results in a non-trivial macroscopic chemotaxis equation for the cells. Methodologically the limiting procedure and its proofs are based on results by Koukkus [18] and Kipnis/Landim [17]. Numerical simulations extend and illustrate the theoretical findings.


title: Spin correlations and entanglement in partially magnetised ensembles of fermions

abstract: We show that the singlet fraction $p_s$ and total magnetisation (or polarisation) $m$ can bound the minimum concurrence in an ensemble of spins. We identify $p_s > (1-m^2)/2$ as a sufficient and tight condition for bipartite entanglement. Our proof makes no assumptions about the state of the system or symmetry of the particles, and can therefore be used as a witness for spin entanglement between fermions. We discuss the implications for recent experiments in which spin correlations were observed, and the prospect to study entanglement dynamics in the demagnetisation of a cold Fermi gas.


title: From innovation to diversification: a simple competitive model

abstract: Few attempts have been proposed in order to describe the statistical features and historical evolution of the export bipartite matrix countries/products. An important standpoint is the introduction of a products network, namely a hierarchical forest of products that models the formation and the evolution of commodities. In the present article, we propose a simple dynamical model where countries compete with each other to acquire the ability to produce and export new products. Countries will have two possibilities to expand their export: innovating, i.e. introducing new goods, namely new nodes in the product networks, or copying the productive process of others, i.e. occupying a node already present in the same network. In this way, the topology of the products network and the country-product matrix evolve simultaneously, driven by the countries push toward innovation.


title: Fast Witness Extraction Using a Decision Oracle

abstract: The gist of many (NP-)hard combinatorial problems is to decide whether a universe of $n$ elements contains a witness consisting of $k$ elements that match some prescribed pattern. For some of these problems there are known advanced algebra-based FPT algorithms which solve the decision problem but do not return the witness. We investigate techniques for turning such a YES/NO-decision oracle into an algorithm for extracting a single witness, with an objective to obtain practical scalability for large values of $n$. By relying on techniques from combinatorial group testing, we demonstrate that a witness may be extracted with $O(k\log n)$ queries to either a deterministic or a randomized set inclusion oracle with one-sided probability of error. Furthermore, we demonstrate through implementation and experiments that the algebra-based FPT algorithms are practical, in particular in the setting of the $k$-path problem. Also discussed are engineering issues such as optimizing finite field arithmetic.


title: Sensitivity of HAWC to Primordial Black Hole Bursts

abstract: Primordial Black Holes (PBHs) are black holes that may have been created in the early Universe and could be as large as supermassive black holes or as small as the Planck scale. It is believed that a black hole has a temperature inversely proportional to its mass and will thermally emit all species of fundamental particles. PBHs with initial masses of 5.0 x 10^14 g should be expiring today with bursts of high-energy gamma radiation in the GeV/TeV energy range. The High Altitude Water Cherenkov (HAWC) observatory is sensitive to the high end of the PBH gamma-ray burst spectrum. Due to its large field of view, duty cycle above 90% and sensitivity up to 100 TeV, the HAWC observatory is well suited to perform a search for PBH bursts. We report that if the PBH explodes within 0.25 light years from Earth and within 26 degrees of zenith, HAWC will have a 95% probability of detecting the PBH burst at the 5 sigma level. Conversely, a null detection from a 2 year or longer HAWC search will set PBH upper limits which are significantly better than the upper limits set by any previous PBH search.


title: List-coloring claw-free graphs with $\Delta$-1 colors

abstract: We prove that if $G$ is a quasi-line graph with $\Delta(G)>\omega(G)$ and $\Delta(G)\ge 69$, then $\chi_{OL}(G)\le \Delta(G)-1$. Together with our previous work, this implies that if $G$ is a claw-free graph with $\Delta(G)>\omega(G)$ and $\Delta(G)\ge 69$, then $\chi_{\ell}(G)\le \Delta(G)-1$.


title: Bounded Determinization of Timed Automata with Silent Transitions

abstract: Deterministic timed automata are strictly less expressive than their non-deterministic counterparts, which are again less expressive than those with silent transitions. As a consequence, timed automata are in general non-determinizable. This is unfortunate since deterministic automata play a major role in model-based testing, observability and implementability. However, by bounding the length of the traces in the automaton, effective determinization becomes possible. We propose a novel procedure for bounded determinization of timed automata. The procedure unfolds the automata to bounded trees, removes all silent transitions and determinizes via disjunction of guards. The proposed algorithms are optimized to the bounded setting and thus are more efficient and can handle a larger class of timed automata than the general algorithms. The approach is implemented in a prototype tool and evaluated on several examples. To our best knowledge, this is the first implementation of this type of procedure for timed automata.