title: Label-guided Learning for Text Classification

abstract: Text classification is one of the most important and fundamental tasks in natural language processing. Performance of this task mainly dependents on text representation learning. Currently, most existing learning frameworks mainly focus on encoding local contextual information between words. These methods always neglect to exploit global clues, such as label information, for encoding text information. In this study, we propose a label-guided learning framework LguidedLearn for text representation and classification. Our method is novel but simple that we only insert a label-guided encoding layer into the commonly used text representation learning schemas. That label-guided layer performs label-based attentive encoding to map the universal text embedding (encoded by a contextual information learner) into different label spaces, resulting in label-wise embeddings. In our proposed framework, the label-guided layer can be easily and directly applied with a contextual encoding method to perform jointly learning. Text information is encoded based on both the local contextual information and the global label clues. Therefore, the obtained text embeddings are more robust and discriminative for text classification. Extensive experiments are conducted on benchmark datasets to illustrate the effectiveness of our proposed method.


title: Effects of frustration and Dzyaloshinskii-Moriya interaction on the spin-1/2 anisotropic Heisenberg antiferromagnet with the application to La2CuO4

abstract: We study the magnetic properties of the two-dimensional anisotropic antiferromagnetic spin-1/2 Heisenberg model with Dzyaloshinskii-Moriya interaction and in-plane frustration included. The method of spin Green functions within the framework of Tyablikov's random-phase-approximation decoupling scheme is used in order to derive expressions for the spin-wave spectrum, sublattice magnetization and transition temperature. Based on these expressions we perform a detailed analysis of the influence of varying values of model parameters on its magnetic properties. The model is also applied to the high-Tc superconducting parent compound La2Cuo4 and our results compared to available experimental data.


title: Counterfactual fairness: removing direct effects through regularization

abstract: Building machine learning models that are fair with respect to an unprivileged group is a topical problem. Modern fairness-aware algorithms often ignore causal effects and enforce fairness through modifications applicable to only a subset of machine learning models. In this work, we propose a new definition of fairness that incorporates causality through the Controlled Direct Effect (CDE). We develop regularizations to tackle classical fairness measures and present a causal regularization that satisfies our new fairness definition by removing the impact of unprivileged group variables on the model outcomes as measured by the CDE. These regularizations are applicable to any model trained using by iteratively minimizing a loss through differentiation. We demonstrate our approaches using both gradient boosting and logistic regression on: a synthetic dataset, the UCI Adult (Census) Dataset, and a real-world credit-risk dataset. Our results were found to mitigate unfairness from the predictions with small reductions in model performance.


title: A structural attack to the DME-(3,2,q) cryptosystem

abstract: We present a structural attack on the DME cryptosystem with paramenters (3,2,q). The attack recovers 10 of the 12 coefficients of the first linear map. We also show that, if those 12 coefficients were known, the rest of the private key can be efficiently obtained by solving systems of quadratic equations with just two variables.


title: Fully-automated Body Composition Analysis in Routine CT Imaging Using 3D Semantic Segmentation Convolutional Neural Networks

abstract: Body tissue composition is a long-known biomarker with high diagnostic and prognostic value in cardiovascular, oncological and orthopaedic diseases, but also in rehabilitation medicine or drug dosage. In this study, the aim was to develop a fully automated, reproducible and quantitative 3D volumetry of body tissue composition from standard CT examinations of the abdomen in order to be able to offer such valuable biomarkers as part of routine clinical imaging. Therefore an in-house dataset of 40 CTs for training and 10 CTs for testing were fully annotated on every fifth axial slice with five different semantic body regions: abdominal cavity, bones, muscle, subcutaneous tissue, and thoracic cavity. Multi-resolution U-Net 3D neural networks were employed for segmenting these body regions, followed by subclassifying adipose tissue and muscle using known hounsfield unit limits. The S{\o}rensen Dice scores averaged over all semantic regions was 0.9553 and the intra-class correlation coefficients for subclassified tissues were above 0.99. Our results show that fully-automated body composition analysis on routine CT imaging can provide stable biomarkers across the whole abdomen and not just on L3 slices, which is historically the reference location for analysing body composition in the clinical routine.


title: Comparison Study for Multi-vendor Versus Single-vendor for Enterprise Computer Networks

abstract: One of the topics that concerns the way computer networks are designed, is the single-vendor and multi-vendor solutions. Where the performance and operation of your network depends on which model you choose for your enterprise, and the future risks aligned with such models. This study outlines the strengths and average price ranges of multiple vendors in the past 2 years (2018 and 2019), practical cases in which each model works, a case study done by Gartner, and finally, recommendations that can help push the design practices when it comes to network design.


title: Training Binary Neural Networks using the Bayesian Learning Rule

abstract: Neural networks with binary weights are computation-efficient and hardware-friendly, but their training is challenging because it involves a discrete optimization problem. Surprisingly, ignoring the discrete nature of the problem and using gradient-based methods, such as the Straight-Through Estimator, still works well in practice. This raises the question: are there principled approaches which justify such methods? In this paper, we propose such an approach using the Bayesian learning rule. The rule, when applied to estimate a Bernoulli distribution over the binary weights, results in an algorithm which justifies some of the algorithmic choices made by the previous approaches. The algorithm not only obtains state-of-the-art performance, but also enables uncertainty estimation for continual learning to avoid catastrophic forgetting. Our work provides a principled approach for training binary neural networks which justifies and extends existing approaches.


title: Performance evaluation of a GEM-based readout module for the ILC TPC with a large aperture GEM-like gating device by a beam test

abstract: A high momentum resolution is required for the precision measurement of Higgs boson at the International Linear Collider (ILC) using the recoil mass technique. The International Large Detector (ILD) is designed to meet this requirement by an MPGD-readout Time Projection Chamber (TPC) providing about 200 sample points each with a spatial resolution of 100 $\mu$m operated in a magnetic field of 3.5 T. However, there is a potential problem that many positive ions generated in the gas amplification process in the end-plane detector modules would flow back into the drift volume of the TPC and distort its electric field. These positive ions must be removed by a gating device before reaching the drift volume. We have developed a GEM-like gating device (gating foil) to prevent ions from back-flowing to the drift volume and evaluated its performance. The performance measurement was carried out at DESY, using a 5 GeV electron beam and the Large Prototype TPC in a 1 T magnet field. We have measured the spatial resolution of our MPGD module equipped with the gating foil and the electron transmission rate of the gating device. This was the world first test beam experiment of a "wireless" TPC equipped with a high performance gating device. In this report, we present our results on the spatial resolution and the electron transmission rate.


title: Distributed Edge Coloring in Time Quasi-Polylogarithmic in Delta

abstract: The problem of coloring the edges of an $n$-node graph of maximum degree $\Delta$ with $2\Delta - 1$ colors is one of the key symmetry breaking problems in the area of distributed graph algorithms. While there has been a lot of progress towards the understanding of this problem, the dependency of the running time on $\Delta$ has been a long-standing open question. Very recently, Kuhn [SODA '20] showed that the problem can be solved in time $2^{O(\sqrt{\log\Delta})}+O(\log^* n)$. In this paper, we study the edge coloring problem in the distributed LOCAL model. We show that the $(\mathit{degree}+1)$-list edge coloring problem, and thus also the $(2\Delta-1)$-edge coloring problem, can be solved deterministically in time $\log^{O(\log\log\Delta)}\Delta + O(\log^* n)$. This is a significant improvement over the result of Kuhn [SODA '20].


title: A law of large numbers for local patterns in plane partitions

abstract: In this note, we prove a law of large numbers for local patterns in plane partitions with geometric weight, a model introcued by Okounkov and Reshetikhin. Its proof is based on the determinantal structure of the corresponding point process, wich allows to control the decay of the correlations in a convenient manner.


title: Abstractive Snippet Generation

abstract: An abstractive snippet is an originally created piece of text to summarize a web page on a search engine results page. Compared to the conventional extractive snippets, which are generated by extracting phrases and sentences verbatim from a web page, abstractive snippets circumvent copyright issues; even more interesting is the fact that they open the door for personalization. Abstractive snippets have been evaluated as equally powerful in terms of user acceptance and expressiveness---but the key question remains: Can abstractive snippets be automatically generated with sufficient quality? This paper introduces a new approach to abstractive snippet generation: We identify the first two large-scale sources for distant supervision, namely anchor contexts and web directories. By mining the entire ClueWeb09 and ClueWeb12 for anchor contexts and by utilizing the DMOZ Open Directory Project, we compile the Webis Abstractive Snippet Corpus 2020, comprising more than 3.5 million triples of the form $\langle$query, snippet, document$\rangle$ as training examples, where the snippet is either an anchor context or a web directory description in lieu of a genuine query-biased abstractive snippet of the web document. We propose a bidirectional abstractive snippet generation model and assess the quality of both our corpus and the generated abstractive snippets with standard measures, crowdsourcing, and in comparison to the state of the art. The evaluation shows that our novel data sources along with the proposed model allow for producing usable query-biased abstractive snippets while minimizing text reuse.


title: Near Optimal Task Graph Scheduling with Priced Timed Automata and Priced Timed Markov Decision Processes

abstract: Task graph scheduling is a relevant problem in computer science with application to diverse real world domains. Task graph scheduling suffers from a combinatorial explosion and thus finding optimal schedulers is a difficult task. In this paper we present a methodology for computing near-optimal preemptive and non-preemptive schedulers for task graphs. The task graph scheduling problem is reduced to location reachability via the fastest path in Priced Timed Automata (PTA) and Priced Timed Markov Decision Processes (PTMDP). Additionally, we explore the effect of using chains to reduce the computation time for finding schedules. We have implemented our models in UPPAAL CORA and UPPAAL STRATEGO. We conduct an exhaustive experimental evaluation where we compare our resulting schedules with the best-known schedules of a state of the art tool. A significant number of our resulting schedules are shown to be shorter than or equal to the best-known schedules.


title: Is all-electrical silicon quantum computing feasible in the long term?

abstract: The development of the first generation of commercial quantum computers is based on superconductive qubits and trapped ions respectively. Other technologies such as semiconductor quantum dots, neutral ions and photons could in principle provide an alternative to achieve comparable results in the medium term. It is relevant to evaluate if one or more of them is potentially more effective to address scalability to millions of qubits in the long term, in view of creating a universal quantum computer. We review an all-electrical silicon spin qubit, that is the double quantum dot hybrid qubit, a quantum technology which relies on both solid theoretical grounding on one side, and massive fabrication technology of nanometric scale devices by the existing silicon supply chain on the other.


title: Limitations for field-enhanced atom interferometry

abstract: We discuss the possibility to enhance the sensitivity of optical interferometric devices by increasing its open area using an external field gradient that act differently on the two arms of the interfer-ometers. The use of combined electric and magnetic field cancel non linear terms that dephases the interferometer. This is possible using well defined (typically with n $\sim$ 20 Rydberg) states, a magnetic field of few Tesla and an electric field gradient of $\sim$ 10V/cm 2. However this allows only for interaction times on the order of tens of $\mu$s leading a reachable accuracy of only 1 or 2 order of magnitude higher than standard light-pulse atom interferometers. Furthermore, the control of fields and states and 3D trajectories puts severe limits to the reachable accuracy. This idea is therefore not suitable for precision measurement but might eventually be used for gravity or neutrality in antimatter studies.


title: Reply to "Comment on 'Spin-dependent electron transmission model for chiral molecules in mesoscopic devices'"

abstract: Here we emphasize once more the distinction between generating CISS (spin-charge current conversion) in a chiral system and detecting it as magnetoresistance in two-terminal electronic devices. We also highlight important differences between electrical measurement results obtained in the linear response regime and those obtained in the nonlinear regime.


title: Multidimensional smoothness indicators for first-order Hamilton-Jacobi equations

abstract: The lack of smoothness is a common feature of weak solutions of nonlinear hyperbolic equations and is a crucial issue in their approximation. This has motivated several efforts to define appropriate indicators, based on the values of the approximate solutions, in order to detect the most troublesome regions of the domain. This information helps to adapt the approximation scheme in order to avoid spurious oscillations when using high-order schemes. In this paper we propose a genuinely multidimensional extension of the WENO procedure in order to overcome the limitations of indicators based on dimensional splitting. Our aim is to obtain new regularity indicators for problems in 2D and apply them to a class of ``adaptive filtered'' schemes for first order evolutive Hamilton-Jacobi equations. According to the usual procedure, filtered schemes are obtained by a simple coupling of a high-order scheme and a monotone scheme. The mixture is governed by a filter function $F$ and by a switching parameter $\varepsilon^n=\varepsilon^n({\Delta t,\Delta x})>0$ which goes to 0 as $(\Delta t,\Delta x)$ is going to 0. The adaptivity is related to the smoothness indicators and allows to tune automatically the switching parameter $\varepsilon^n_j$ in time and space. Several numerical tests on critical situations in 1D and 2D are presented and confirm the effectiveness of the proposed indicators and the efficiency of our scheme.


title: Learning Queuing Networks by Recurrent Neural Networks

abstract: It is well known that building analytical performance models in practice is difficult because it requires a considerable degree of proficiency in the underlying mathematics. In this paper, we propose a machine-learning approach to derive performance models from data. We focus on queuing networks, and crucially exploit a deterministic approximation of their average dynamics in terms of a compact system of ordinary differential equations. We encode these equations into a recurrent neural network whose weights can be directly related to model parameters. This allows for an interpretable structure of the neural network, which can be trained from system measurements to yield a white-box parameterized model that can be used for prediction purposes such as what-if analyses and capacity planning. Using synthetic models as well as a real case study of a load-balancing system, we show the effectiveness of our technique in yielding models with high predictive power.


title: Computational spectral-domain single-pixel imaging

abstract: We demonstrate single-pixel imaging in the spectral domain by encoding Fourier probe patterns onto the spectrum of a superluminescent laser diode using a programmable optical filter. As a proof-of-concept, we measure the wavelength-dependent transmission of a Michelson interferometer and a wavelength-division multiplexer. Our results open new perspectives for remote broadband measurements with possible applications in industrial, biological or security applications.


title: Biased Stochastic First-Order Methods for Conditional Stochastic Optimization and Applications in Meta Learning

abstract: Conditional stochastic optimization covers a variety of applications ranging from invariant learning and causal inference to meta-learning. However, constructing unbiased gradient estimators for such problems is challenging due to the composition structure. As an alternative, we propose a biased stochastic gradient descent (BSGD) algorithm and study the bias-variance tradeoff under different structural assumptions. We establish the sample complexities of BSGD for strongly convex, convex, and weakly convex objectives under smooth and non-smooth conditions. Our lower bound analysis shows that the sample complexities of BSGD cannot be improved for general convex objectives and nonconvex objectives except for smooth nonconvex objectives with Lipschitz continuous gradient estimator. For this special setting, we propose an accelerated algorithm called biased SpiderBoost (BSpiderBoost) that matches the lower bound complexity. We further conduct numerical experiments on invariant logistic regression and model-agnostic meta-learning to illustrate the performance of BSGD and BSpiderBoost.


title: Wireless Fingerprinting via Deep Learning: The Impact of Confounding Factors

abstract: Can we distinguish between two wireless transmitters sending exactly the same message, using the same protocol? The opportunity for doing so arises due to subtle nonlinear variations across transmitters, even those made by the same manufacturer. Since these effects are difficult to model explicitly, we investigate learning device fingerprints using complex-valued deep neural networks (DNNs) that take as input the complex baseband signal at the receiver. We ask whether such fingerprints can be made robust to distribution shifts across time and locations due to clock drift and variations in the wireless channel. In this paper, we point out that, unless proactively discouraged from doing so, DNNs learn these strong confounding features rather than the nonlinear device-specific characteristics that we seek to learn. We propose and evaluate strategies, based on augmentation and estimation, to promote generalization across realizations of these confounding factors, using data from WiFi and ADS-B protocols. We conclude that, while DNN training has the advantage of not requiring explicit signal models, significant modeling insights are required to focus the learning on the effects we wish to capture.


title: Symplectic quandles and parabolic representations of 2-bridge Knots and Links

abstract: In this paper we study the parabolic representations of 2-bridge links by finiding arc coloring vectors on the Conway diagram. The method we use is to convert the system of conjugation quandle equations to that of symplectic quandle equations. In this approach, we have an integer coefficient monic polynomial $P_K(u)$ for each 2-bridge link $K$, and each zero of this polynomial gives a set of arc coloring vectors on the diagram of $K$ satisfying the system of symplectic quandle equations, which gives an explicit formula for a parabolic representation of $K$. We then explain how these arc coloring vectors give us the closed form formulas of the complex volume and the cusp shape of the representation. As other applications of this method, we show some interesting arithmetic properties of the Riley polynomial and of the trace field, and also describe a necessary and sufficient condition for the existence of epimorphisms between 2-bridge link groups in terms of divisibility of the corresponding Riley polynomials.


title: Quarkonium production: An experimental overview

abstract: Quarkonium has been proposed as a sensitive probe of quark-gluon plasma (QGP) more than thirty years ago. Since then, lots of experimental efforts have been devoted to study its production in heavy-ion collisions to search for QGP and study its properties and significant progresses have been made. In this paper, an overview of recent experimental results on charmonium and bottomonium production in heavy-ion collisions as well as in small systems are presented. Furthermore, the results on exotic particle X(3872) production in Pb+Pb and p+p collisions are also discussed.


title: Quantum Rotor Atoms in Light Beams with Orbital Angular Momentum: Highly Accurate Rotation Sensor

abstract: Atoms trapped in a red detuned retro-reflected Laguerre-Gaussian beam undergo orbital motion within rings whose centers are on the axis of the laser beam. We determine the wave functions, energies and degeneracies of such quantum rotors (QRs), and the microwave transitions between the energy levels are elucidated. We then show how such QR atoms can be used as high-accuracy rotation sensors when the rings are singly-occupied.


title: The Local Universe from Calar Alto (LUCA)

abstract: LUCA (Local Universe from Calar Alto) was conceived as a new generation science program for the Calar Alto Observatory. It proposed the construction of a large Integral Field Unit (IFU) spectrograph with six thousands optical fibers (IFU-6000) at the CAHA 3.5-m telescope to map our universe neighborhood in 3D with an unprecedented spatial resolution. Two galaxy samples were defined to map the local universe: (i) 102 galaxies in the Local Volume, out to 11 Mpc, and (ii) 218 galaxies in the Virgo cluster. A complementary project was developed to map the three largest galaxies in the local universe, M31, M33, and M101 with the Schmidt telescope. In this white paper we describe the LUCA Project science justification and survey strategy, as well as a technical description of the IFU-6000 instrument, its performance, and design.


title: Molecular recognition between cadherins studied by a coarse-grained model interacting with a coevolutionary potential

abstract: Studying the conformations involved in the dimerization of cadherins is highly relevant to understand the development of tissue and its failure, which is associated with tumors and metastases. Experimental techniques, like X-ray crystallography, can usually report only the most stable conformations, missing minority states that could nonetheless be important for the recognition mechanism. Computer simulations could be a valid complement to the experimental approach. However, standard all-atom protein models in explicit solvent are computationally too demanding to search thoroughly the conformational space of multiple chains composed of several hundreds of amino acids. To reach this goal, we resorted to a coarse-grained model in implicit solvent. The standard problem with this kind of models is to find a realistic potential to describe their interactions. We used coevolutionary information from cadherin alignments, corrected by a statistical potential, to build an interaction potential which is agnostic of the experimental conformations of the protein. Using this model, we explored the conformational space of multi-chain systems and validated the results comparing with experimental data. We identified dimeric conformations that are sequence-specific and that can be useful to rationalize the mechanism of recognition between cadherins.


title: Jacob's ladders, crossbreeding and infinite sets of meta-functional equations as new species generated by the mother formula

abstract: In this paper we obtain a set of meta-functional equations as new species of formulas in classical mathematical analysis. Mentioned species are generated by crossbreeding complete hybrid formula as a mother formula. Namely, they are generated by an infinite set of crossbreedings on some subsidiary infinite set of meta-functional equations with one neutral factor.


title: Model-based Joint Bit Allocation between Geometry and Color for Video-based 3D Point Cloud Compression

abstract: Rate distortion optimization plays a very important role in image/video coding. But for 3D point cloud, this problem has not been investigated. In this paper, the rate and distortion characteristics of 3D point cloud are investigated in detail, and a typical and challenging rate distortion optimization problem is solved for 3D point cloud. Specifically, since the quality of the reconstructed 3D point cloud depends on both the geometry and color distortions, we first propose analytical rate and distortion models for the geometry and color information in video-based 3D point cloud compression platform, and then solve the joint bit allocation problem for geometry and color based on the derived models. To maximize the reconstructed quality of 3D point cloud, the bit allocation problem is formulated as a constrained optimization problem and solved by an interior point method. Experimental results show that the rate-distortion performance of the proposed solution is close to that obtained with exhaustive search but at only 0.68% of its time complexity. Moreover, the proposed rate and distortion models can also be used for the other rate-distortion optimization problems (such as prediction mode decision) and rate control technologies for 3D point cloud coding in the future.


title: Mechanics of axisymmetric sheets of interlocking and slidable rods

abstract: In this work, we study the mechanics of metamaterial sheets inspired by the pellicle of Euglenids. They are composed of interlocking elastic rods which can freely slide along their edges. We characterize the kinematics and the mechanics of these structures using the special Cosserat theory of rods and by assuming axisymmetric deformations of the tubular assembly. Through an asymptotic expansion, we investigate both structures that comprise a discrete number of rods and the limit case of a sheet composed by infinitely many rods. We apply our theoretical framework to investigate the stability of these structures in the presence of an axial load. Through a linear analysis, we compute the critical buckling force for both the discrete and the continuous case. For the latter, we also perform a numerical post-buckling analysis, studying the non-linear evolution of the bifurcation through finite elements simulations.


title: Plasmon induced resonant effects on the optical properties of Ag-decorated ZnSe nanowires

abstract: In this work we present how the optical properties of ZnSe nanowires are modified by the presence of Ag nanoparticles on the sidewalls of the ZnSe nanowires. In particular we show that the low-temperature luminescence of the ZnSe nanowires changes its shape, enhancing the phonon-replicas of impurity related recombination and affecting rise and decay times of the transient absorption bleaching at room temperatures, with an increase of the former and a decrease of the latter. In contrast, the deposition of Au NPs on the ZnSe nanowires does not change the optical properties of the sample. We suggest that the mechanism underlying these experimental observations is energy transfer via the Foerster interaction based on the fact that the localized surface plasmon resonance (LSPR) of Ag nanoparticles spectrally overlaps with absorption and emission of ZnSe while the Au LSPR does not.


title: Layer-wise Conditioning Analysis in Exploring the Learning Dynamics of DNNs

abstract: Conditioning analysis uncovers the landscape of an optimization objective by exploring the spectrum of its curvature matrix. This has been well explored theoretically for linear models. We extend this analysis to deep neural networks (DNNs) in order to investigate their learning dynamics. To this end, we propose layer-wise conditioning analysis, which explores the optimization landscape with respect to each layer independently. Such an analysis is theoretically supported under mild assumptions that approximately hold in practice. Based on our analysis, we show that batch normalization (BN) can stabilize the training, but sometimes result in the false impression of a local minimum, which has detrimental effects on the learning. Besides, we experimentally observe that BN can improve the layer-wise conditioning of the optimization problem. Finally, we find that the last linear layer of a very deep residual network displays ill-conditioned behavior. We solve this problem by only adding one BN layer before the last linear layer, which achieves improved performance over the original and pre-activation residual networks.


title: A New Minimax Theorem for Randomized Algorithms

abstract: The celebrated minimax principle of Yao (1977) says that for any Boolean-valued function $f$ with finite domain, there is a distribution $\mu$ over the domain of $f$ such that computing $f$ to error $\epsilon$ against inputs from $\mu$ is just as hard as computing $f$ to error $\epsilon$ on worst-case inputs. Notably, however, the distribution $\mu$ depends on the target error level $\epsilon$: the hard distribution which is tight for bounded error might be trivial to solve to small bias, and the hard distribution which is tight for a small bias level might be far from tight for bounded error levels. In this work, we introduce a new type of minimax theorem which can provide a hard distribution $\mu$ that works for all bias levels at once. We show that this works for randomized query complexity, randomized communication complexity, some randomized circuit models, quantum query and communication complexities, approximate polynomial degree, and approximate logrank. We also prove an improved version of Impagliazzo's hardcore lemma. Our proofs rely on two innovations over the classical approach of using Von Neumann's minimax theorem or linear programming duality. First, we use Sion's minimax theorem to prove a minimax theorem for ratios of bilinear functions representing the cost and score of algorithms. Second, we introduce a new way to analyze low-bias randomized algorithms by viewing them as "forecasting algorithms" evaluated by a proper scoring rule. The expected score of the forecasting version of a randomized algorithm appears to be a more fine-grained way of analyzing the bias of the algorithm. We show that such expected scores have many elegant mathematical properties: for example, they can be amplified linearly instead of quadratically. We anticipate forecasting algorithms will find use in future work in which a fine-grained analysis of small-bias algorithms is required.


title: A Type Checker for a Logical Framework with Union and Intersection Types

abstract: We present the syntax, semantics, and typing rules of Bull, a prototype theorem prover based on the Delta-Framework, i.e. a fully-typed lambda-calculus decorated with union and intersection types, as described in previous papers by the authors. Bull also implements a subtyping algorithm for the Type Theory Xi of Barbanera-Dezani-de'Liguoro. Bull has a command-line interface where the user can declare axioms, terms, and perform computations and some basic terminal-style features like error pretty-printing, subexpressions highlighting, and file loading. Moreover, it can typecheck a proof or normalize it. These terms can be incomplete, therefore the typechecking algorithm uses unification to try to construct the missing subterms. Bull uses the syntax of Berardi's Pure Type Systems to improve the compactness and the modularity of the kernel. Abstract and concrete syntax are mostly aligned and similar to the concrete syntax of Coq. Bull uses a higher-order unification algorithm for terms, while typechecking and partial type inference are done by a bidirectional refinement algorithm, similar to the one found in Matita and Beluga. The refinement can be split into two parts: the essence refinement and the typing refinement. Binders are implemented using commonly-used de Bruijn indices. We have defined a concrete language syntax that will allow the user to write Delta-terms. We have defined the reduction rules and an evaluator. We have implemented from scratch a refiner which does partial typechecking and type reconstruction. We have experimented Bull with classical examples of the intersection and union literature, such as the ones formalized by Pfenning with his Refinement Types in LF. We hope that this research vein could be useful to experiment, in a proof theoretical setting, forms of polymorphism alternatives to Girard's parametric one.


title: Hierarchical emotion-recognition framework based on discriminative brain neural network topology and ensemble co-decision strategy

abstract: Brain neural networks characterize various information propagation patterns for different emotional states. However, the statistical features based on traditional graph theory may ignore the spacial network difference. To reveal these inherent spatial features and increase the stability of emotional recognition, we proposed a hierarchical framework that can perform the multiple emotion recognitions with the multiple emotion-related spatial network topology patterns (MESNP) by combining a supervised learning with ensemble co-decision strategy. To evaluate the performance of our proposed MESNP approach, we conduct both off-line and simulated on-line experiments with two public datasets i.e., MAHNOB and DEAP. The experiment results demonstrated that MESNP can significantly enhance the classification performance for the multiple emotions. The highest accuracies of off-line experiments for MAHNOB-HCI and DEAP achieved 99.93% (3 classes) and 83.66% (4 classes), respectively. For simulated on-line experiments, we also obtained the best classification accuracies with 100% (3 classes) for MAHNOB and 99.22% (4 classes) for DEAP by proposed MESNP. These results further proved the efficiency of MESNP for structured feature extraction in mult-classification emotional task.


title: Active nematics with quenched disorder

abstract: We introduce a two-dimensional active nematic with quenched disorder. We write the coarse-grained hydrodynamic equations of motion for slow variables, viz. density, and orientation. Disorder strength is tuned from zero to large values. Results from the numerical solution of equations of motion as well as the calculation of two-point orientation correlation function using linear approximation show that the ordered steady-state follows a disorder-dependent crossover from quasi long-range order (QLRO) to short-range order (SRO). Such crossover is due to the pinning of +1/2 and -1/2 topological defects in the presence of finite disorder, which breaks the system in uncorrelated domains. Finite disorder slows the dynamics of +1/2 defect, and it leads to slower growth dynamics. The two-point correlation functions for the density and orientation fields show good dynamic scaling but no static scaling for the different disorder strengths. Our findings can motivate experimentalists to verify the results and find applications in living and artificial apolar systems in the presence of a quenched disorder.


title: Sharp estimate of the life span of solutions to the heat equation with a nonlinear boundary condition

abstract: Consider the heat equation with a nonlinear boundary condition $$ \partial_t u=\Delta u,\quad x\in{\bf R}^N_+,\,\,\,t>0,\qquad \partial_\nu u=u^p, \quad x\in\partial{\bf R}^N_+,\,\,\,t>0,\qquad u(x,0)=\kappa\psi(x),\quad x\in D:=\overline{{\bf R}^N_+}, $$ where $N\ge 1$, $p>1$, $\kappa>0$ and $\psi$ is a nonnegative measurable function in ${\bf R}^N_+ :=\{y\in{\bf R}^N:y_N>0 \}$. Let us denote by $T(\kappa\psi)$ the life span of solutions to this problem. We investigate the relationship between the singularity of $\psi$ at the origin and $T(\kappa\psi)$ for sufficiently large $\kappa>0$ and the relationship between the behavior of $\psi$ at the space infinity and $T(\kappa\psi)$ for sufficiently small $\kappa>0$. Moreover, we give an optimal estimate to $T(\kappa\psi)$, as $\kappa\to\infty$ or $\kappa\to+0$.


title: S-duality and loop operators in canonical formalism

abstract: We study the gauge invariant 't Hooft operator in canonical formalism for Yang-Mills theory as well as the $\mathcal{N} =4 $ super-Yang-Mills theory with the gauge group $ U(N) $. It is shown that the spectrum of the 't Hooft operator labeled by the arbitrary irreducible representation of the gauge group is the same as the spectrum of the Wilson operator labeled by the same representation. So it is possible to construct a unitary operator $ S $ making the two kinds of loop operators transformed into each other. S-duality transformation could be realized by the operator $ S $. We compute the supersymmetry variations of the loop operators with the fermionic couplings turned off. The result is consistent with the expectation that the action of $ S $ should make supercharges transform with a $ U(1)_{Y} $ phase.


title: Generalizing tropical Kontsevich's formula to multiple cross-ratios

abstract: Kontsevich's formula is a recursion that calculates the number of rational degree $d$ curves in $\mathbb{P}_{\mathbb{C}}^2$ passing through $3d-1$ general positioned points. Kontsevich proved it by considering curves that satisfy extra conditions besides the given point conditions. These crucial extra conditions are two line conditions and a condition called cross-ratio. This paper addresses the question whether there is a general Kontsevich's formula which holds for more than one cross-ratio. Using tropical geometry, we obtain such a recursive formula. For that we use a correspondence theorem arXiv:1509.07453 that relates the algebro-geometric numbers in question to tropical ones. It turns out that the general tropical Kontsevich's formula we obtain is capable of not only computing the algebro-geometric numbers we are looking for, but also of computing further tropical numbers for which there is no correspondence theorem yet. We show that our recursive general Kontsevich's formula implies the original Kontsevich's formula and that the initial values are the numbers Kontsevich's fomula provides and purely combinatorial numbers, so-called cross-ratio multiplicities.


title: A Tight Composition Theorem for the Randomized Query Complexity of Partial Functions

abstract: We prove two new results about the randomized query complexity of composed functions. First, we show that the randomized composition conjecture is false: there are families of partial Boolean functions $f$ and $g$ such that $R(f\circ g)\ll R(f) R(g)$. In fact, we show that the left hand side can be polynomially smaller than the right hand side (though in our construction, both sides are polylogarithmic in the input size of $f$). Second, we show that for all $f$ and $g$, $R(f\circ g)=\Omega(\mathop{noisyR}(f)\cdot R(g))$, where $\mathop{noisyR}(f)$ is a measure describing the cost of computing $f$ on noisy oracle inputs. We show that this composition theorem is the strongest possible of its type: for any measure $M(\cdot)$ satisfying $R(f\circ g)=\Omega(M(f)R(g))$ for all $f$ and $g$, it must hold that $\mathop{noisyR}(f)=\Omega(M(f))$ for all $f$. We also give a clean characterization of the measure $\mathop{noisyR}(f)$: it satisfies $\mathop{noisyR}(f)=\Theta(R(f\circ gapmaj_n)/R(gapmaj_n))$, where $n$ is the input size of $f$ and $gapmaj_n$ is the $\sqrt{n}$-gap majority function on $n$ bits.


title: Profit-Maximizing Parcel Locker Location Problem under Threshold Luce Model

abstract: The growth of e-commerce has created increasing complexity in logistics services. To remain competitive, logistics and e-commerce companies are exploring new modes as supplements to traditional home delivery, one of which is the self-service parcel locker. This paper studies a parcel locker location problem where a company plans to introduce the locker service by locating locker facilities to attract customers. The objective is to maximize the profit, accounting for the revenue and the cost of facilities. To estimate the revenue, we use the threshold Luce model (TLM) to predict customers' likelihood of using the locker service. We then propose a combinatorial optimization model and develop exact solution methodologies that are practically implementable according to our extensive computational experiments. In effect, our modeling framework generalizes the traditional facility location problems based on the binomial logit model (BNL) and the multinomial logit model (MNL), both of which impose strong and strict assumptions on the customer's choice sets. That is, they assume that the choice sets will either contain only one facility or all facilities. In our numerical experiment, we demonstrate that using the BNL and the MNL in the locker location problem could lead to, respectively, pessimistic and optimistic revenue estimation. Consequently, the suggested location decisions will be either conservative or aggressive. Our proposed model, by contrast, can effectively relax these assumptions. Our results also reveal that the aggressive decision due to the use of the MNL will incur an unnecessarily high facility cost that cannot be compensated by the additional revenue, leading to profit loss that can be significant in various scenarios. Finally, we conduct sensitivity analysis on the input parameters and draw additional implications.


title: On the use of spectral discretizations with time strong stability preserving properties to Dirichlet pseudo-parabolic problems

abstract: This paper is concerned with the approximation of linear and nonlinearinitial-boundary-value problems of pseudo-parabolic equations with Dirichlet boundary conditions. They are discretized in space by spectral Galerkin and collocation methods based on Legendre and Chebyshev polynomials. The time integration is carried out suitably with robust schemes attending to qualitative features such as stiffness and preservation of strong stability to simulate nonregular problems more correctly. The corresponding semidiscrete and fully discrete schemes are described and the performance of the methods is analyzed computationally.


title: Internal Kinematics of the Seyfert Galaxy Mkn 938

abstract: We present the results of a detailed study of the central part of the Seyfert galaxy Mkn 938. Observational data were obtained with the 6-m telescope of the Special Astrophysical Observatory of the Russian Academy of Sciences using integral-field spectrograph MPFS and a scanning Fabry--Perot interferometer. Mkn 938 is interesting for being a result of a merger of two gas-rich galaxies, and we observe the final stage of this interaction accompanied with an extremely powerful burst of star formation and nuclear activity. Our analysis of the kinematics of gas and stars revealed the presence of gas outflow in the circumnuclear region Mkn 938 with velocities ranging from -370 to -480 km/s, and allowed us for the first time to map the high-velocity galactic wind in NaD absorption line on large spatial scale in this galaxy.


title: Error estimates for semidiscrete Galerkin and collocation approximations to pseudo-parabolic problems with Dirichlet conditions

abstract: This paper is concerned with the numerical approximation of the Dirichlet initial-boundary-value problem of nonlinear pseudo-parabolic equations with spectral methods. Error estimates for the semidiscrete Galerkin and collocation schemes based on Jacobi polynomials are derived.


title: Failure Trace Semantics for a Process Algebra with Time-outs

abstract: This paper extends a standard process algebra with a time-out operator, thereby increasing its absolute expressiveness, while remaining within the realm of untimed process algebra, in the sense that the progress of time is not quantified. Trace and failures equivalence fail to be congruences for this operator; their congruence closure is characterised as failure trace equivalence.


title: Phase-field modeling of $\gamma/\gamma''$ microstructure formation in Ni-based superalloys with high $\gamma''$ volume fraction

abstract: The excellent mechanical properties of the Ni-based superalloy IN718 mainly result from coherent $\gamma''$ precipitates. Due to a strongly anisotropic lattice misfit between the matrix and the precipitate phase, the particles exhibit pronounced plate-shaped morphologies. Using a phase-field model, we investigate various influencing factors that determine the equilibrium shapes of $\gamma"$ precipitates, minimizing the sum of the total elastic and interfacial energy. Upon increasing precipitate phase fractions, the model predicts increasingly stronger particle-particle interactions, leading to shapes with significantly increased aspect ratios. Matching the a priori unknown interfacial energy density to fit experimental $\gamma"$ shapes is sensitive to the phase content imposed in the underlying model. Considering vanishing phase content leads to 30% lower estimates of the interfacial energy density, as compared to estimates based on realistic phase fractions of 12%. We consider the periodic arrangement of precipitates in different hexagonal and rectangular superstructures, which result from distinct choices of point-symmetric and periodic boundary conditions. Further, non-volume conserving boundary conditions are implemented to compensate for strains due to an anisotropic lattice mismatch between the $\gamma$ matrix and the $\gamma''$ precipitate. As compared to conventional boundary conditions, this specifically tailored simulation configuration does not conflict with the systems periodicity and provides substantially more realistic total elastic energies at high precipitate volume fractions. The energetically most favorable superstructure is found to be a hexagonal precipitate arrangement.


title: Robust-Adaptive Control of Linear Systems: beyond Quadratic Costs

abstract: We consider the problem of robust and adaptive model predictive control (MPC) of a linear system, with unknown parameters that are learned along the way (adaptive), in a critical setting where failures must be prevented (robust). This problem has been studied from different perspectives by different communities. However, the existing theory deals only with the case of quadratic costs (the LQ problem), which limits applications to stabilisation and tracking tasks only. In order to handle more general (non-convex) costs that naturally arise in many practical problems, we carefully select and bring together several tools from different communities, namely non-asymptotic linear regression, recent results in interval prediction, and tree-based planning. Combining and adapting the theoretical guarantees at each layer is non trivial, and we provide the first end-to-end suboptimality analysis for this setting. Interestingly, our analysis naturally adapts to handle many models and combines with a data-driven robust model selection strategy, which enables to relax the modelling assumptions. Last, we strive to preserve tractability at any stage of the method, that we illustrate on two challenging simulated environments.


title: Amplitude and Phase Estimation for Absolute Calibration of Massive MIMO Front-Ends

abstract: Massive multiple-input multiple-output (MIMO) promises significantly higher performance relative to conventional multiuser systems. However, the promised gains of massive MIMO systems rely heavily on the accuracy of the absolute front-end calibration, as well as quality of channel estimates at the base station (BS). In this paper, we analyze user equipment-aided calibration mechanism to estimate the amplitude scaling and phase drift at each radio-frequency chain interfacing with the BS array. Assuming a uniform linear array at the BS and Ricean fading, we obtain the estimation parameters with moment-based (amplitude, phase) and maximum-likelihood (phase-only) estimation techniques. In stark contrast to previous works, we mathematically articulate the equivalence of the two approaches for phase estimation. Furthermore, we rigorously derive a Cramer-Rao lower bound to characterize the accuracy of the two estimators. Via numerical simulations, we evaluate the estimator performance with varying dominant line-of-sight powers, dominant angles-of-arrival, and signal-to-noise ratios.


title: A generalized finite element method for problems with sign-changing coefficients

abstract: Problems with sign-changing coefficients occur, for instance, in the study of transmission problems with metamaterials. In this work, we present and analyze a generalized finite element method in the spirit of the Localized Orthogonal Decomposition, that is especially efficient when the negative and positive materials exhibit multiscale features. We derive optimal linear convergence in the energy norm independently of the potentially low regularity of the exact solution. Numerical experiments illustrate the theoretical convergence rates and show the applicability of the method for a large class of sign-changing diffusion problems.


title: Variational Inference and Bayesian CNNs for Uncertainty Estimation in Multi-Factorial Bone Age Prediction

abstract: Additionally to the extensive use in clinical medicine, biological age (BA) in legal medicine is used to assess unknown chronological age (CA) in applications where identification documents are not available. Automatic methods for age estimation proposed in the literature are predicting point estimates, which can be misleading without the quantification of predictive uncertainty. In our multi-factorial age estimation method from MRI data, we used the Variational Inference approach to estimate the uncertainty of a Bayesian CNN model. Distinguishing model uncertainty from data uncertainty, we interpreted data uncertainty as biological variation, i.e. the range of possible CA of subjects having the same BA.


title: Some Normality Criteria for Families of Holomorphic Functions of Several Complex Variables

abstract: We prove a Zalcman-Pang lemma in several complex variables and apply it to obtain several complex variables analogues of the known normality criteria like Lappan's five-point theorem and Schwick's theorem.


title: Convergence of a Fully Discrete and Energy-Dissipating Finite-Volume Scheme for Aggregation-Diffusion Equations

abstract: We study an implicit finite-volume scheme for non-linear, non-local aggregation-diffusion equations which exhibit a gradient-flow structure, recently introduced by Bailo, Carrillo, and Hu (2020). Crucially, this scheme keeps the dissipation property of an associated fully discrete energy, and does so unconditionally with respect to the time step. Our main contribution in this work is to show the convergence of the method under suitable assumptions on the diffusion functions and potentials involved.


title: Operational definition of a quantum speed limit

abstract: The quantum speed limit is a fundamental concept in quantum mechanics, which aims at finding the minimum time scale or the maximum dynamical speed for some fixed targets. In a large number of studies in this field, the construction of valid bounds for the evolution time is always the core mission, yet the physics behind it and some fundamental questions like which states can really fulfill the target, are ignored. Understanding the physics behind the bounds is at least as important as constructing attainable bounds. Here we provide an operational approach for the definition of the quantum speed limit, which utilizes the set of states that can fulfill the target to define the speed limit. Its performances in various scenarios have been investigated. For time-independent Hamiltonians, it is inverse-proportional to the difference between the highest and lowest energies. The fact that its attainability does not require a zero ground-state energy suggests it can be used as an indicator of quantum phase transitions. For time-dependent Hamiltonians, it is shown that contrary to the results given by existing bounds, the true speed limit should be independent of the time. Moreover, in the case of spontaneous emission, we find a counterintuitive phenomenon that a lousy purity can benefit the reduction of the quantum speed limit.


title: Spatial distribution of exoplanet candidates based on Kepler and $Gaia$ data

abstract: The spatial distribution of exoplanets in the Galaxy is important for our understanding of planet formation and evolution. We aim to determine the spatial gradients of exoplanet occurrence in the Solar neighbourhood and in the vicinity of open clusters. We combined Kepler and Gaia DR2 data for this purpose, splitting the volume sampled by the Kepler mission into certain spatial bins. We determined an uncorrected and bias-corrected exoplanet frequency and metallicity for each bin. There is a clear drop in the uncorrected exoplanet frequency with distance for F-type stars, a decline with increasing distance along the Galactic longitude l=90 deg, and a drop with height above the Galactic plane. We find that the metallicity behaviour cannot be the reason for the drop of the exoplanet frequency around F stars with increasing distance. We argue that the above-mentioned gradients of uncorrected exoplanet frequency result from a single bias of undetected smaller planets around fainter stars. When we correct for observational biases, most of these gradients in exoplanet frequency become statistically insignificant. Only a slight decline of the planet occurrence with distance for F stars remains significant at the 3 sigma level. Apart from that, the spatial distribution of exoplanets in the Kepler field of view is compatible with a homogeneous one. At the same time, we do not find a significant change in the exoplanet frequency with increasing distance from open clusters. As a byproduct, we identified six exoplanet host star candidates that are members of open clusters. Four of them are in the NGC 6811 (KIC 9655005, KIC 9533489, Kepler-66, Kepler-67) and two belong to NGC 6866 (KIC 8396288, KIC 8331612). Two out of the six had already been known to be cluster members.


title: Expansions of real numbers with respect to two integer bases

abstract: We introduce and study expansions of real numbers with respect to two integer bases.


title: Analogy between geodesic equation and the GCHS on Riemannian manifolds

abstract: Enlightened by the similar equation form between the GCHS \footnote{GCHS: Generalized Covariant Hamilton System\\GSPB:Generalized structural Poisson bracket} defined by the GSPB and the geodesic equation expressed by geospin variable, we find a deep connection between the geospin matrix and S-dynamics. In this contrastive way, we actually proves that the GCHS is a compatible theory suitable for the curved spacetime as primitively stated. By contrast, geospin matrix in Riemannian geometry has the same physical nature as S-dynamics in GCHS. We obtain a fact that geodesic equation can be naturally derived by the GCHS in terms of the velocity field. We strictly prove that the geometrio $\hat{S}{{\left( {{x}_{k}},{{p}_{i}},H \right)}^{T}}={{\left( {{b}_{k}},{{A}_{i}},w \right)}^{T}}$ holds by using structural operator $\hat{S}$ directly induced by structural derivative ${A}_{i}$ in terms of position ${x}_{k}$, momentum ${p}_{i}$ and Hamiltonian $H$ respectively. It evidently proves that the GCHS on the Riemannian manifold is certainly determined by the Christoffel symbols. As an application, we consider the GCHS on Riemannian geometry.


title: Deep Representation Learning on Long-tailed Data: A Learnable Embedding Augmentation Perspective

abstract: This paper considers learning deep features from long-tailed data. We observe that in the deep feature space, the head classes and the tail classes present different distribution patterns. The head classes have a relatively large spatial span, while the tail classes have significantly small spatial span, due to the lack of intra-class diversity. This uneven distribution between head and tail classes distorts the overall feature space, which compromises the discriminative ability of the learned features. Intuitively, we seek to expand the distribution of the tail classes by transferring from the head classes, so as to alleviate the distortion of the feature space. To this end, we propose to construct each feature into a "feature cloud". If a sample belongs to a tail class, the corresponding feature cloud will have relatively large distribution range, in compensation to its lack of diversity. It allows each tail sample to push the samples from other classes far away, recovering the intra-class diversity of tail classes. Extensive experimental evaluations on person re-identification and face recognition tasks confirm the effectiveness of our method.


title: Landau-Zener-St\"uckelberg Interferometry in dissipative Circuit Quantum Electrodynamics

abstract: We study Landau-Zener-St\"uckelberg (LZS) interferometry in a cQED architecture under effects of dissipation. To be specific, we consider a superconducting qubit driven by a dc+ac signal and coupled to a transmission line resonator, but our results are valid for general qubit-resonators devices. To take the environment into account, we assume that the resonator is coupled to an ohmic quantum bath. The Floquet-Born-Markov master equation is numerically solved to obtain the dynamics of the system for arbitrary amplitude of the drive and different time scales. We unveil important differences in the resonant patterns between the Strong Coupling and Ultra Strong Coupling regimes in the qubit-resonator interaction, which are mainly due to the magnitude of photonic gaps in the energy spectrum of the system. We identify in the LZS patterns the contribution of the qubit gap and the photonic gaps, showing that for large driving amplitudes the patterns present a weaving structure due to the combined intercrossing of the different gaps contributions.


title: Error Analysis of Programmable Metasurfaces for Beam Steering

abstract: Recent years have seen the emergence of programmable metasurfaces, where the user can modify the EM response of the device via software. Adding reconfigurability to the already powerful EM capabilities of metasurfaces opens the door to novel cyber-physical systems with exciting applications in domains such as holography, cloaking, or wireless communications. This paradigm shift, however, comes with a non-trivial increase of the complexity of the metasurfaces that will pose new reliability challenges stemming from the need to integrate tuning, control, and communication resources to implement the programmability. While metasurfaces will become prone to failures, little is known about their tolerance to errors. To bridge this gap, this paper examines the reliability problem in programmable metamaterials by proposing an error model and a general methodology for error analysis. To derive the error model, the causes and potential impact of faults are identified and discussed qualitatively. The methodology is presented and exemplified for beam steering, which constitutes a relevant case for programmable metasurfaces. Results show that performance degradation depends on the type of error and its spatial distribution and that, in beam steering, error rates over 20% can still be considered acceptable.


title: MuST-Cinema: a Speech-to-Subtitles corpus

abstract: Growing needs in localising audiovisual content in multiple languages through subtitles call for the development of automatic solutions for human subtitling. Neural Machine Translation (NMT) can contribute to the automatisation of subtitling, facilitating the work of human subtitlers and reducing turn-around times and related costs. NMT requires high-quality, large, task-specific training data. The existing subtitling corpora, however, are missing both alignments to the source language audio and important information about subtitle breaks. This poses a significant limitation for developing efficient automatic approaches for subtitling, since the length and form of a subtitle directly depends on the duration of the utterance. In this work, we present MuST-Cinema, a multilingual speech translation corpus built from TED subtitles. The corpus is comprised of (audio, transcription, translation) triplets. Subtitle breaks are preserved by inserting special symbols. We show that the corpus can be used to build models that efficiently segment sentences into subtitles and propose a method for annotating existing subtitling corpora with subtitle breaks, conforming to the constraint of length.


title: ILD benchmark: Quartic Gauge Couplings

abstract: The quartic gauge coupling (QGC) of the electroweak interaction can be used as a probe for physics beyond the Standard Model and has been previously measured at the Large Hadron Collider. However, to achieve sensitivity to small deviations the couplings must be measured with precision beyond the capability of a hadron collider. An electron-positron collider with center-of-mass energies in the TeV range can precisely probe the QGC and test a variety of models. The International Linear Collider is such a collider project with a possible extension to $1\,$TeV. In this note the critical reconstruction aspects of a QGC analysis in the vector boson scattering (VBS) channel of $e^+e^- \rightarrow \nu\bar{\nu} q\bar{q} q\bar{q}$ at $\sqrt{s}=1\,$TeV are identified for the International Large Detector. Generator level information from the event generator and simulation is used to gain access to influence of separate reconstruction effects. The separation of hadronic $WW$ and $ZZ$ decays by their invariant mass is chosen to quantify the strength of the effects. In the current simple reconstruction scheme the main obstacles are observed to be the removal of beam backgrounds, the jet clustering, and semi-leptonic decays within jets. At high center-of-mass energies of the VBS interaction jet clustering is found to no longer be a limiting factor. Points of optimizations are laid out for these aspects. In the case of semi-leptonic decays, proof-of-principal tests for corrections are performed and found to be challenging. A full analysis which includes the extraction of limits on anomalous QGCs remains open. Sensitivities similar to those achieved in generator level studies with approximated detector effects are expected.


title: Solving the curvature and Hubble parameter inconsistencies through structure formation-induced curvature

abstract: Recently it has been noted by Di Valentino, Melchiorri and Silk (2019) that the enhanced lensing signal relative to that expected in the spatially flat $\Lambda$CDM model poses a possible crisis for the Friedmann-Lema\^{\i}tre-Robertson-Walker (FLRW) class of models usually used to interpret cosmological data. The 'crisis' amounts to inconsistencies between cosmological datasets arising when the FLRW curvature parameter $\Omega_{k0}$ is determined from the data rather than constrained to be zero a priori. Moreover, the already substantial discrepancy between the Hubble parameter as determined by Planck and local observations increases to the level of $5\sigma$. While such inconsistencies might arise from systematic effects of astrophysical origin affecting the Planck Cosmic Microwave Background (CMB) power spectra at small angular scales, it is an option that the inconsistencies are due to the failure of the FLRW assumption. In this paper we recall how the FLRW curvature ansatz is expected to be violated for generic relativistic spacetimes. We explain how the FLRW conservation equation for volume-averaged spatial curvature is modified through structure formation, and we illustrate in a simple framework how the curvature tension in a FLRW spacetime can be resolved -- and is even expected to occur -- from the point of view of general relativity. Requiring early-time convergence towards a Friedmannian model with a spatial curvature parameter $\Omega_{k0}$ equal to that preferred from the Planck power spectra resolves the Hubble tension within our dark energy-free model.


title: What BERT Sees: Cross-Modal Transfer for Visual Question Generation

abstract: Pre-trained language models have recently contributed to significant advances in NLP tasks. Recently, multi-modal versions of BERT have been developed, using heavy pre-training relying on vast corpora of aligned textual and image data, primarily applied to classification tasks such as VQA. In this paper, we are interested in evaluating the visual capabilities of BERT out-of-the-box, by avoiding pre-training made on supplementary data. We choose to study Visual Question Generation, a task of great interest for grounded dialog, that enables to study the impact of each modality (as input can be visual and/or textual). Moreover, the generation aspect of the task requires an adaptation since BERT is primarily designed as an encoder. We introduce BERT-gen, a BERT-based architecture for text generation, able to leverage on either mono- or multi- modal representations. The results reported under different configurations indicate an innate capacity for BERT-gen to adapt to multi-modal data and text generation, even with few data available, avoiding expensive pre-training. The proposed model obtains substantial improvements over the state-of-the-art on two established VQG datasets.


title: Phenomenological consequences of a geometry in the cotangent bundle

abstract: A deformed relativistic kinematics can be understood within a geometrical framework through a maximally symmetric momentum space. However, when considering this kind of approach, usually one works in a flat spacetime and in a curved momentum space. In this paper, we will discuss a possible generalization to take into account both curvatures and some possible observable effects. We will first explain how to construct a metric in the cotangent bundle in order to have a curved spacetime with a nontrivial geometry in momentum space and the relationship with an action in phase space characterized by a deformed Casimir. Then, we will study within this proposal two different space-time geometries. In the Friedmann-Robertson-Walker universe, we will see the modifications in the geodesics (redshift, luminosity distance and geodesic expansion) due to a momentum dependence of the metric in the cotangent bundle. Also, we will see that when the spacetime considered is a Schwarzschild black hole, one still has a common horizon for particles with different energies, differently from a Lorentz invariance violation case. However, the surface gravity computed as the peeling off of null geodesics is energy dependent.


title: Validation of Selection Function, Sample Contamination and Mass Calibration in Galaxy Cluster Samples

abstract: We construct and validate the selection function of the MARD-Y3 sample. This sample was selected through optical follow-up of the 2nd ROSAT faint source catalog (2RXS) with Dark Energy Survey year 3 (DES-Y3) data. The selection function is modeled by combining an empirically constructed X-ray selection function with an incompleteness model for the optical follow-up. We validate the joint selection function by testing the consistency of the constraints on the X-ray flux--mass and richness--mass scaling relation parameters derived from different sources of mass information: (1) cross-calibration using SPT-SZ clusters, (2) calibration using number counts in X-ray, in optical and in both X-ray and optical while marginalizing over cosmological parameters, and (3) other published analyses. We find that the constraints on the scaling relation from the number counts and SPT-SZ cross-calibration agree, indicating that our modeling of the selection function is adequate. Furthermore, we apply a largely cosmology independent method to validate selection functions via the computation of the probability of finding each cluster in the SPT-SZ sample in the MARD-Y3 sample and vice-versa. This test reveals no clear evidence for MARD-Y3 contamination, SPT-SZ incompleteness or outlier fraction. Finally, we discuss the prospects of the techniques presented here to limit systematic selection effects in future cluster cosmological studies.


title: Software Engineering und Software Engineering Forschung im Zeitalter der Digitalisierung

abstract: Digitization not only affects society, it also requires a redefinition of the location of computer science and computer scientists, as the science journalist Yogeshwar suggests. Since all official aspects of digitalization are based on software, this article is intended to attempt to redefine the role of software engineering and its research. Software-based products, systems or services are influencing all areas of life and are a critical component and central innovation driver of digitization in all areas of life. Scientifically, there are new opportunities and challenges for software engineering as a driving discipline in the development of any technical innovation. However, the chances must not be sacrificed to the competition for bibliometric numbers as an end in themselves.


title: Gesture recognition with 60GHz 802.11 waveforms

abstract: Gesture recognition application over 802.11 ad/y waveforms is developed. Simultaneous gestures of slider-control and two-finger gesture for switching are detected based on Golay sequences of channel estimation fields of the packets.


title: MissDeepCausal: Causal Inference from Incomplete Data Using Deep Latent Variable Models

abstract: Inferring causal effects of a treatment, intervention or policy from observational data is central to many applications. However, state-of-the-art methods for causal inference seldom consider the possibility that covariates have missing values, which is ubiquitous in many real-world analyses. Missing data greatly complicate causal inference procedures as they require an adapted unconfoundedness hypothesis which can be difficult to justify in practice. We circumvent this issue by considering latent confounders whose distribution is learned through variational autoencoders adapted to missing values. They can be used either as a pre-processing step prior to causal inference but we also suggest to embed them in a multiple imputation strategy to take into account the variability due to missing values. Numerical experiments demonstrate the effectiveness of the proposed methodology especially for non-linear models compared to competitors.


title: Optimal least-squares solution to the hand-eye calibration problem

abstract: We propose a least-squares formulation to the noisy hand-eye calibration problem using dual-quaternions, and introduce efficient algorithms to find the exact optimal solution, based on analytic properties of the problem, avoiding non-linear optimization. We further present simple analytic approximate solutions which provide remarkably good estimations compared to the exact solution. In addition, we show how to generalize our solution to account for a given extrinsic prior in the cost function. To the best of our knowledge our algorithm is the most efficient approach to optimally solve the hand-eye calibration problem.


title: Effective Action from the Functional Renormalization Group

abstract: We study the quantum gravitational system coupled to a charged scalar, Dirac fermions, and electromagnetic fields. We use the "exact" or "functional" renormalization group equation to derive the effective action $\Gamma_0$ by integrating the flow equation from the ultraviolet scale down to $k=0$. The resulting effective action consists of local terms and nonlocal terms with unique coefficients.


title: MADX -- A simple technique for source detection and measurement using multi-band imaging from the Herschel-ATLAS survey

abstract: We describe the method used to detect sources for the Herschel-ATLAS survey. The method is to filter the individual bands using a matched filter, based on the point-spread function (PSF) and confusion noise, and then form the inverse variance weighted sum of the individual bands, including weights determined by a chosen spectral energy distribution. Peaks in this combined image are used to estimate the source positions. The fluxes for each source are estimated from the filtered single-band images, interpolated to the exact sub-pixel position. We test the method by creating simulated maps in three bands with PSFs, pixel sizes and Gaussian instrumental noise that match the 250, 350 and 500 micron bands of Herschel-ATLAS. We use our method to detect sources and compare the measured positions and fluxes to the input sources. The multi-band approach allows reliable source detection a factor 1.2 to 3 lower in flux compared to single-band source detection, depending on the source colours. The false detection rate is reduced by a factor between 4 and 10, and the variance of the source position errors is reduced by about a factor 1.5. We also consider the effect of confusion noise and find that the appropriate matched filter gives a further improvement in completeness and noise over the standard PSF filter approach. Overall the two modifications give a factor of 1.5 to 3 improvement in the depth of the recovered catalogues compared to a single-band PSF filter approach.


title: Routing in Unit Disk Graphs without Dynamic Headers

abstract: Let $V\subset\mathbb{R}^2$ be a set of $n$ sites in the plane. The unit disk graph $DG(V)$ of $V$ is the graph with vertex set $V$ in which two sites $v$ and $w$ are adjacent if and only if their Euclidean distance is at most $1$. We develop a compact routing scheme for $DG(V)$. The routing scheme preprocesses $DG(V)$ by assigning a label $l(v)$ to every site $v$ in $V$. After that, for any two sites $s$ and $t$, the scheme must be able to route a packet from $s$ to $t$ as follows: given the label of a current vertex $r$ (initially, $r=s$) and the label of the target vertex $t$, the scheme determines a neighbor $r'$ of $r$. Then, the packet is forwarded to $r'$, and the process continues until the packet reaches its desired target $t$. The resulting path between the source $s$ and the target $t$ is called the routing path of $s$ and $t$. The stretch of the routing scheme is the maximum ratio of the total Euclidean length of the routing path and of the shortest path in $DG(V)$, between any two sites $s, t \in V$. We show that for any given $\varepsilon>0$, we can construct a routing scheme for $DG(V)$ with diameter $D$ that achieves stretch $1+\varepsilon$ and label size $O(\log D\log^3n/\log\log n)$ (the constant in the $O$-Notation depends on $\varepsilon$). In the past, several routing schemes for unit disk graphs have been proposed. Our scheme is the first one to achieve poly-logarithmic label size and arbitrarily small stretch without storing any additional information in the packet.


title: An Assignment Problem Formulation for Dominance Move Indicator

abstract: Dominance move (DoM) is a binary quality indicator to compare solution sets in multiobjective optimization. The indicator allows a more natural and intuitive relation when comparing solution sets. It is Pareto compliant and does not demand any parameters or reference sets. In spite of its advantages, the combinatorial calculation nature is a limitation. The original formulation presents an efficient method to calculate it in a biobjective case only. This work presents an assignment formulation to calculate DoM in problems with three objectives or more. Some initial experiments, in the biobjective space, were done to present the model correctness. Next, other experiments, using three dimensions, were also done to show how DoM could be compared with other indicators: inverted generational distance (IGD) and hypervolume (HV). Results show the assignment formulation for DoM is valid for more than three objectives. However, there are some strengths and weaknesses, which are discussed and detailed. Some notes, considerations, and future research paths conclude this work.


title: Impurity-pinned incommensurate charge density wave and local phonon excitations in 2H-NbS2

abstract: Here we report a scanning tunneling microscopy (STM) and spectroscopy (STS) study in the superconducting state of 2H-NbS2. We directly visualize the existence of incommensurate charge density wave (CDW) that is pinned by atomic impurities. In strong tunneling conditions, the incommensurate CDW is de-pinned from impurities by the electric field from STM tip. We perform STM-based inelastic tunneling spectroscopy (IETS) to detect phonon excitations in 2H-NbS2 and measure the influence of atomic impurities on local phonon excitations. In comparison with the calculated vibrational density of states in 2H-NbS2, we find two branches of phonon excitations which correspond to the vibrations of Nb ions and S ions, and the strength of the local phonon excitations is insensitive to the atomic impurities. Our results demonstrate the coexistence of incommensurate CDW and superconductivity in 2H-NbS2, and open the way of detecting atomic-scale phonon excitations in transition metal dichalcogenides with STM-based IETS.


title: Energy transport between critical one-dimensional systems with different central charges

abstract: Energy transport can reveal information about interacting many-body systems beyond other transport probes. In particular, in one dimension it has been shown that the energy current is directly proportional to the central charge, thus revealing information about the degrees of freedom of critical systems. In this work, we explicitly verify this result in two cases for translationally invariant systems based on explicit microscopic calculations. More importantly, we generalise the result to non-translation invariant setups and use this to study a composite system of two subsystems possessing different central charges. We find a bottleneck effect meaning the smaller central charge limits the energy transport.


title: Polyhomomorphisms of locally compact groups

abstract: Let $G$ and $H$ be locally compact groups with fixed two-side-invariant Haar measures. A polyhomomorphism $G\to H$ is a closed subgroup $R\subset G\times H$ with a fixed Haar measure, whose marginals on $G$ and $H$ are dominated by the Haar measures on $G$ and $H$. A polyhomomorphism can be regarded as a multi-valued map sending points to sets equipped with 'uniform' measures. For polyhomomorphsisms $G\to H$, $H\to K$ there is a well-defined product $G\to K$. The set of polyhomomorphisms $G\to H$ is a metrizable compact space with respect to the Chabauty--Bourbaki topology and the product is separately continuous. A polyhomomorphism $G\to H$ determines a canonical operator $L^2(H)\to L^2(G)$, which is a partial isometry up to scalar factor. As an example, we consider locally compact infinite-dimensional linear spaces over finite fields and examine closures of groups of linear operators in semigroups of polyendomorphisms.


title: A CLT in Stein's distance for generalized Wishart matrices and higher order tensors

abstract: We study the central limit theorem for sums of independent tensor powers, $\frac{1}{\sqrt{d}}\sum\limits_{i=1}^d X_i^{\otimes p}$. We focus on the high-dimensional regime where $X_i \in \mathbb{R}^n$ and $n$ may scale with $d$. Our main result is a proposed threshold for convergence. Specifically, we show that, under some regularity assumption, if $n^{2p-1}\gg d$, then the normalized sum converges to a Gaussian. The results apply, among others, to symmetric uniform log-concave measures and to product measures. This generalizes several results found in the literature. Our main technique is a novel application of optimal transport to Stein's method which accounts for the low dimensional structure which is inherent in $X_i^{\otimes p}$.


title: An Orthogonal-SGD based Learning Approach for MIMO Detection under Multiple Channel Models

abstract: In this paper, an orthogonal stochastic gradient descent (O-SGD) based learning approach is proposed to tackle the wireless channel over-training problem inherent in artificial neural network (ANN)-assisted MIMO signal detection. Our basic idea lies in the discovery and exploitation of the training-sample orthogonality between the current training epoch and past training epochs. Unlike the conventional SGD that updates the neural network simply based upon current training samples, O-SGD discovers the correlation between current training samples and historical training data, and then updates the neural network with those uncorrelated components. The network updating occurs only in those identified null subspaces. By such means, the neural network can understand and memorize uncorrelated components between different wireless channels, and thus is more robust to wireless channel variations. This hypothesis is confirmed through our extensive computer simulations as well as performance comparison with the conventional SGD approach.


title: Hydrogenated amorphous silicon detectors for particle detection, beam flux monitoring and dosimetry in high-dose radiation environment

abstract: Hydrogenated amorphous silicon (a-Si:H) has remarkable radiation resistance properties and can be deposited on a lot of different substrates. A-Si:H based particle detectors have been built since mid 1980s as planar p-i-n or Schottky diode structures; the thickness of these detectors ranged from 1 to 50 micron. However MIP detection using planar structures has always been problematic due to the poor S/N ratio related to the high leakage current at high depletion voltage and the low charge collection efficiency. The usage of 3D detector architecture can be beneficial for the possibility to reduce inter-electrode distance and increase the thickness of the detector for larger charge generation compared to planar structures. Such a detector can be used for future hadron colliders for its radiation resistance and also for X-ray imaging. Furthermore the possibility of a-Si:H deposition on flexible materials (like kapton) can be exploited to build flexible and thin beam flux measurement detectors and x-ray dosimeters.


title: Distribution of the number of fitness maxima in Fisher's Geometric Model

abstract: Fisher's geometric model describes biological fitness landscapes by combining a linear map from the discrete space of genotypes to an $n$-dimensional Euclidean phenotype space with a nonlinear, single-peaked phenotype-fitness map. Genotypes are represented by binary sequences of length $L$, and the phenotypic effects of mutations at different sites are represented by $L$ random vectors drawn from an isotropic Gaussian distribution. Recent work has shown that the interplay between the genotypic and phenotypic levels gives rise to a range of different landscape topographies that can be characterised by the number of local fitness maxima. Extending our previous study of the mean number of local maxima, here we focus on the distribution of the number of maxima when the limit $L \to \infty$ is taken at finite $n$. We identify the typical scale of the number of maxima for general $n$, and determine the full scaled probability density and two point correlation function of maxima for the one-dimensional case. We also elaborate on the close relation of the model to the anti-ferromagnetic Hopfield model with $n$ random continuous pattern vectors, and show that many of our results carry over to this setting. More generally, we expect that our analysis can help to elucidate the fluctuation structure of metastable states in various spin glass problems.


title: Structural adaptation in the density model

abstract: This paper deals with non-parametric density estimation on $\bR^2$ from i.i.d observations. It is assumed that after unknown rotation of the coordinate system the coordinates of the observations are independent random variables whose densities belong to a H\"older class with unknown parameters. The minimax and adaptive minimax theories for this structural statistical model are developed.


title: Small-Footprint Open-Vocabulary Keyword Spotting with Quantized LSTM Networks

abstract: We explore a keyword-based spoken language understanding system, in which the intent of the user can directly be derived from the detection of a sequence of keywords in the query. In this paper, we focus on an open-vocabulary keyword spotting method, allowing the user to define their own keywords without having to retrain the whole model. We describe the different design choices leading to a fast and small-footprint system, able to run on tiny devices, for any arbitrary set of user-defined keywords, without training data specific to those keywords. The model, based on a quantized long short-term memory (LSTM) neural network, trained with connectionist temporal classification (CTC), weighs less than 500KB. Our approach takes advantage of some properties of the predictions of CTC-trained networks to calibrate the confidence scores and implement a fast detection algorithm. The proposed system outperforms a standard keyword-filler model approach.


title: On the robustness of the NV-NMR spectrometer setup to magnetic field inhomogeneities

abstract: The NV-NMR spectrometer is a promising candidate for detection of NMR signals at the nano scale. Field inhomogeneities, however, are a major source of noise that limits spectral resolution in state of the art NV - NMR experiments and constitutes a major bottleneck in the development of nano scale NMR. Here we propose, a route in which this limitation could be circumvented in NV-NMR spectrometer experiments, by utilising the nanometric scale and the quantumness of the detector.


title: Learning Machines from Simulation to Real World

abstract: Learning Machines is developing a flexible, cross-industry, advanced analytics platform, targeted during stealth-stage at a limited number of specific vertical applications. In this paper, we aim to integrate a general machine system to learn a variant of tasks from simulation to real world. In such a machine system, it involves real-time robot vision, sensor fusion, and learning algorithms (reinforcement learning). To this end, we demonstrate the general machine system on three fundamental tasks including obstacle avoidance, foraging, and predator-prey robot. The proposed solutions are implemented on Robobo robots with mobile device (smartphone with camera) as interface and built-in infrared (IR) sensors. The agent is trained in a virtual environment. In order to assess its performance, the learned agent is tested in the virtual environment and reproduce the same results in a real environment. The results show that the reinforcement learning algorithm can be reliably used for a variety of tasks in unknown environments.


title: Arithmetic complexity revisited

abstract: The arithmetic complexity counts the number of algebraically independent entries in the periodic continued fraction $\theta=[b_1,\dots, b_N, \overline{a_1,\dots,a_k}]$. If $\mathscr{A}_{\theta}$ is a noncommutative torus corresponding to the rational elliptic curve $\mathscr{E}(K)$, then the rank of $\mathscr{E}(K)$ is given by a simple formula $r(\mathscr{E}(K))= c(\mathscr{A}_{\theta})-1$, where $c(\mathscr{A}_{\theta})$ is the arithmetic complexity of $\theta$. We prove that $c(\mathscr{A}_{\theta})$ is equal to the dimension of the Brock-Elkies-Jordan variety of $\theta$ introduced in [1]. Following Zagier and Lemmermeyer, we evaluate the Shafarevich-Tate group of $\mathscr{E}(K)$.


title: Gaussian Hierarchical Latent Dirichlet Allocation: Bringing Polysemy Back

abstract: Topic models are widely used to discover the latent representation of a set of documents. The two canonical models are latent Dirichlet allocation, and Gaussian latent Dirichlet allocation, where the former uses multinomial distributions over words, and the latter uses multivariate Gaussian distributions over pre-trained word embedding vectors as the latent topic representations, respectively. Compared with latent Dirichlet allocation, Gaussian latent Dirichlet allocation is limited in the sense that it does not capture the polysemy of a word such as ``bank.'' In this paper, we show that Gaussian latent Dirichlet allocation could recover the ability to capture polysemy by introducing a hierarchical structure in the set of topics that the model can use to represent a given document. Our Gaussian hierarchical latent Dirichlet allocation significantly improves polysemy detection compared with Gaussian-based models and provides more parsimonious topic representations compared with hierarchical latent Dirichlet allocation. Our extensive quantitative experiments show that our model also achieves better topic coherence and held-out document predictive accuracy over a wide range of corpus and word embedding vectors.


title: Coherent perfect absorption in a weakly coupled atom-cavity system

abstract: We study coherent perfect absorption (CPA) theoretically based on a weakly coupled atom-cavity system with an optically pumped second-order nonlinear crystal (SOC) embedded in the cavity. Our system does not require a strong coupling, which is often needed for CPA in previous studies but is challenging to implement experimentally in some systems. The role of the SOC is to introduce a tunable effective decay rate of the cavity, which can lead to CPA in the weak coupling regime. The proposed system exhibits bistable behaviors, with bistable patterns switchable between conventional and unconventional shapes. By varying the properties of the SOC, the operation point of CPA can be tuned to be inside or outside the bistable regime. It can also be located at the upper or the lower stable branch or even the unstable branch of the bistable hysteresis loop. It is however robust against the parameters of the SOC for any fixed effective decay rate. Our system can potentially be applied to realize optical devices such as optical switches in the weakly coupled regime.


title: Circle Loss: A Unified Perspective of Pair Similarity Optimization

abstract: This paper provides a pair similarity optimization viewpoint on deep feature learning, aiming to maximize the within-class similarity $s_p$ and minimize the between-class similarity $s_n$. We find a majority of loss functions, including the triplet loss and the softmax plus cross-entropy loss, embed $s_n$ and $s_p$ into similarity pairs and seek to reduce $(s_n-s_p)$. Such an optimization manner is inflexible, because the penalty strength on every single similarity score is restricted to be equal. Our intuition is that if a similarity score deviates far from the optimum, it should be emphasized. To this end, we simply re-weight each similarity to highlight the less-optimized similarity scores. It results in a Circle loss, which is named due to its circular decision boundary. The Circle loss has a unified formula for two elemental deep feature learning approaches, i.e. learning with class-level labels and pair-wise labels. Analytically, we show that the Circle loss offers a more flexible optimization approach towards a more definite convergence target, compared with the loss functions optimizing $(s_n-s_p)$. Experimentally, we demonstrate the superiority of the Circle loss on a variety of deep feature learning tasks. On face recognition, person re-identification, as well as several fine-grained image retrieval datasets, the achieved performance is on par with the state of the art.


title: Robust Clock Skew and Offset Estimation for IEEE 1588 in the Presence of Unexpected Deterministic Path Delay Asymmetries

abstract: IEEE 1588, built on the classical two-way message exchange scheme, is a popular clock synchronization protocol for packet-switched networks. Due to the presence of random queuing delays in a packet-switched network, the joint recovery of the clock skew and offset from the timestamps of the exchanged synchronization packets can be treated as a statistical estimation problem. In this paper, we address the problem of clock skew and offset estimation for IEEE 1588 in the presence of possible unknown asymmetries between the {\color{black} deterministic path delays} of the forward master-to-slave path and reverse slave-to-master path, which can result from incorrect modeling or cyber-attacks. First, we develop lower bounds on the mean square estimation error for a clock skew and offset estimation scheme for IEEE 1588 assuming the availability of multiple master-slave communication paths and complete knowledge of the probability density functions (pdf) describing the random queuing delays. Approximating the pdf of the random queuing delays by a mixture of Gaussian random variables, we then present a robust iterative clock skew and offset estimation scheme that employs the space alternating generalized expectation-maximization (SAGE) algorithm for learning all the unknown parameters. Numerical results indicate that the developed robust scheme exhibits a mean square estimation error close to the lower bounds.


title: Well-partitioned chordal graphs: obstruction set and disjoint paths

abstract: We introduce a new subclass of chordal graphs that generalizes split graphs, which we call well-partitioned chordal graphs. Split graphs are graphs that admit a partition of the vertex set into cliques that can be arranged in a star structure, the leaves of which are of size one. Well-partitioned chordal graphs are a generalization of this concept in the following two ways. First, the cliques in the partition can be arranged in a tree structure, and second, each clique is of arbitrary size. We provide a characterization of well-partitioned chordal graphs by forbidden induced subgraphs, and give a polynomial-time algorithm that given any graph, either finds an obstruction, or outputs a partition of its vertex set that asserts that the graph is well-partitioned chordal. We demonstrate the algorithmic use of this graph class by showing that two variants of the problem of finding pairwise disjoint paths between k given pairs of vertices is in FPT parameterized by k on well-partitioned chordal graphs, while on chordal graphs, these problems are only known to be in XP. From the other end, we observe that there are problems that are polynomial-time solvable on split graphs, but become NP-complete on well-partitioned chordal graphs.


title: Toward dynamical crowd control to prevent hazardous situations

abstract: It is common for large crowds to gather to attend games, exhibitions, political rallies, and other events. Thus, careful designs and operational plans are made to ensure the safe, secure, and efficient movement of people in these crowded environments. However, the congestion created by large crowds has resulted in hazardous incidents across the world. Developments in information technology can provide new means to disseminate public information, thus changing human behavior in situations of danger and duress. In this paper, we propose a crowd control and evacuation guidance management system using digital promotional signage to demonstrate the effects of crowd control via simulations.


title: Ab initio methodology for magnetic exchange parameters: \\Generic four-state energy mapping on Heisenberg spin Hamiltonian

abstract: The recent development in the field of 2D magnetic materials urges reliable theoretical methodology for determination of magnetic properties. Among the available methods, ab initio four-state energy mapping based on Density Functional Theory stands out as a powerful technique to calculate the magnetic exchange interaction in the Heisenberg spin model. Although the required formulae were explained in earlier works, the considered Hamiltonian in those studies always corresponded to the specific case that J-matrix is anti-symmetric, which may be misleading in other cases. Therefore, using the most general form of the Heisenberg spin Hamiltonian, we here derive the generic formulae. With a proper choice of four different magnetic states, a single formula governs all elements of the exchange interaction matrix for any considered pair of spin sites.


title: Boundary value problems associated with singular strongly nonlinear equations with functional terms

abstract: We study boundary value problems associated with singular, strongly nonlinear differential equations with functional terms of type $$\big(\Phi(k(t)\,x'(t))\big)' + f(t,\mathcal{G}_x(t))\,\rho(t, x'(t)) = 0$$ on a compact interval $[a,b]$. These equations are quite general due to the presence of a strictly increasing homeomorphism $\Phi$, the so-called $\Phi$-Laplacian operator, of a nonnegative function $k$, which may vanish on a set of null measure, and moreover of a functional term $\mathcal{G}_x$. We look for solutions, in a suitable weak sense, which belong to the Sobolev space $W^{1,1}([a,b])$. Under the assumptions of the existence of a well-ordered pair of upper and lower solutions and of a suitable Nagumo-type growth condition, we prove an existence result by means of fixed point arguments.


title: Extreme Value Theory with Spectral Techniques: application to a simple attractor

abstract: We give a brief account of application of extreme value theory in dynamical systems by using perturbation techniques associated to the transfer operator. We will apply it to the baker's map and we will get a precise formula for the extremal index. We will also show that the statistics of the number of visits in small sets is compound Poisson distributed.