Results for "Jakub J. Borkala"

total 191416took 0.13s
Multiparty quantum random access codesMay 14 2019Random access code (RAC), a primitive for many information processing protocols, enables one party to encode nbit string into one bit of message such that another party can retrieve partial information of that string. We introduce the multiparty version ... More
Multiparty quantum random access codesMay 14 2019May 15 2019Random access code (RAC), a primitive for many information processing protocols, enables one party to encode nbit string into one bit of message such that another party can retrieve partial information of that string. We introduce the multiparty version ... More
Connections Between Mutually Unbiased Bases and Quantum Random Access CodesSep 14 2017Mar 28 2018We present a new quantum communication complexity protocol, the promise--Quantum Random Access Code, which allows us to introduce a new measure of unbiasedness for bases of Hilbert spaces. The proposed measure possesses a clear operational meaning and ... More
On the canonical bundle formula and log abundance in positive characteristicNov 12 2017Apr 10 2018We show that a weak version of the canonical bundle formula holds for fibrations of relative dimension one. We provide various applications thereof, for instance, using the recent result of Xu and Zhang, we prove the log non-vanishing conjecture for three-dimensional ... More
Effective bounds on singular surfaces in positive characteristicOct 29 2015Oct 27 2016Using the theory of Frobenius singularities, we show that 13mK_X + 45mA is very ample for an ample Cartier divisor A on a Kawamata log terminal surface X with Gorenstein index m, defined over an algebraically closed field of characteristic p>5.
Absolutely continuous functions with values in metric spacesDec 14 2005We present a general theory of absolutely continuous paths with values in metric spaces using the notion of metric derivatives. Among other results, we prove analogues of the Banach-Zarecki and Vallee Poussin theorems.
Learning Deep Architectures for Interaction Prediction in Structure-based Virtual ScreeningOct 23 2016Sep 19 2017We introduce a deep learning architecture for structure-based virtual screening that generates fixed-sized fingerprints of proteins and small molecules by applying learnable atom convolution and softmax operations to each compound separately. These fingerprints ... More
Effect of a skin-deep surface zone on formation of two-dimensional electron gas at a semiconductor surfaceJun 02 2016Two dimensional electron gases (2DEGs) at surfaces and interfaces of semiconductors are described straightforwardly with a 1D self-consistent Poisson-Schr\"{o}dinger scheme. However, their band energies have not been modeled correctly in this way. Using ... More
Many-body localization of bosons in optical latticesDec 07 2017Feb 23 2018Many-body localization for a system of bosons trapped in a one dimensional lattice is discussed. Two models that may be realized for cold atoms in optical lattices are considered. The model with a random on-site potential is compared with previously introduced ... More
Continuous time portfolio choice under monotone preferences with quadratic penalty - stochastic interest rate caseApr 22 2014This is a follow up of our previous paper - Trybu{\l}a and Zawisza \cite{TryZaw}, where we considered a modification of a monotone mean-variance functional in continuous time in stochastic factor model. In this article we address the problem of optimizing ... More
Nonlinear Field Space CosmologyApr 06 2017Sep 01 2017We consider the FRW cosmological model in which the matter content of universe (playing a role of inflaton or quintessence) is given by a novel generalization of the massive scalar field. The latter is a scalar version of the recently introduced Nonlinear ... More
The Bolzano mean-value theorem and partial differential equationsNov 05 2016We study the existence of solutions to abstract equations of the form $0 = Au + F(u)$, $u\in K\subset E$, where A is an abstract differential operator acting in a Banach space $E$, $K$ is a closed convex set of constraints being invariant with respect ... More
Pointwise multipliers of Orlicz function spaces and factorizationMay 27 2016In the paper we find representation of the space of pointwise multipliers between two Orlicz function spaces, which appears to be another Orlicz space and the formula for the Young function generating this space is given. Further, we apply this result ... More
On path sequences of graphsNov 17 2015A subset $S$ of vertices of a graph $G=(V,E)$ is called a $k$-path vertex cover if every path on $k$ vertices in $G$ contains at least one vertex from $S$. Denote by $\psi_k(G)$ the minimum cardinality of a $k$-path vertex cover in $G$ and form a sequence ... More
Quantum Hubble horizonJun 11 2018The article addresses a possibility of obtaining cosmologically relevant effects from the quantum nature of the Hubble horizon. Following the observation made by E.~Bianchi and C.~Rovelli in Phys.\ Rev.\ D {\bf 84} (2011) 027502 we explore relationship ... More
Curves in Banach spaces which allow a $C^2$ parametrizationMar 31 2006Sep 02 2008We give a complete characterization of those $f: [0,1] \to X$ (where $X$ is a Banach space which admits an equivalent Fr\'echet smooth norm) which allow an equivalent $C^2$ parametrization. For $X=\R$, a characterization is well-known. However, even in ... More
The square negative correlation property for generalized Orlicz ballsMar 04 2008Antilla, Ball and Perissinaki proved that the squares of coordinate functions in $\ell_p^n$ are negatively correlated. This paper extends their results to balls in generalized Orlicz norms on R^n. From this, the concentration of the Euclidean norm and ... More
On uniformity of $q$-multiplicative sequencesJun 11 2018Dec 12 2018We show that any $q$-multiplicative sequence which is \emph{oscillating} of order $1$, i.e.\ does not correlate with linear phase functions $e^{2\pi i n\alpha}$ ($\alpha \in \mathbb{R})$, is Gowers uniform of all orders, and hence in particular does not ... More
Automatic sequences as good weights for ergodic theoremsOct 24 2017Mar 20 2018We study correlation estimates of automatic sequences (that is, sequences computable by finite automata) with polynomial phases. As a consequence, we provide a new class of good weights for classical and polynomial ergodic theorems, not coming themselves ... More
Construction of minimal non-invertible skew-product maps on 2-manifoldsJul 17 2014Applying the Hric-J\"ager blow up technique, we give an affirmative answer to the question about the existence of non-invertible minimal circle-fibered self-maps of the Klein bottle. In addition, we present a simpler construction of a non-invertible minimal ... More
"Meta" relativity: Against special relativity?Jun 05 2012We introduce a Lorentz-covariant description of tachyons, free of inconsistencies. Our approach is based on an appropriate extension of the special relativity beyond the light barrier, owing to the freedom of synchronization of distant clocks.
A simpler proof of the negative association property for absolute values of measures tied to generalized Orlicz ballsSep 23 2009Negative association for a family of random variables $(X_i)$ means that for any coordinate--wise increasing functions $f,g$ we have $$\E f(X_{i_1},...,X_{i_k}) g(X_{j_1},...,X_{j_l}) \leq \E f(X_{i_1},...,X_{i_k}) \E g(X_{j_1},...,X_{j_l})$$ for any ... More
On the rationality of Kawamata log terminal singularities in positive characteristicJun 10 2017Jul 17 2017We show that there exists a natural number $p_0$ such that any three-dimensional Kawamata log terminal singularity defined over an algebraically closed field of characteristic $p>p_0$ is rational and in particular Cohen-Macaulay.
Continuous time portfolio choice under monotone preferences with quadratic penalty - stochastic factor caseMar 13 2014We consider an incomplete market with a non-tradable stochastic factor and an investment problem with optimality criterion based on a functional which is a modification of a monotone mean-variance preferences. We formulate it as a stochastic differential ... More
m-isometric composition operators on a directed graph with one circuitJul 22 2019The aim of this paper is to investigate $m$--isometric composition operators on a directed graph with one circuit. We establish a characterization of $m$--isometries within this class. We also prove that complete hyperexpansivity coincides with $2$--isometricity ... More
Ain't Nobody Got Time For Coding: Structure-Aware Program Synthesis From Natural LanguageOct 23 2018Feb 18 2019Program synthesis from natural language (NL) is practical for humans and, once technically feasible, would significantly facilitate software development and revolutionize end-user programming. We present SAPS, an end-to-end neural network capable of mapping ... More
putEMG -- a surface electromyography hand gesture recognition datasetJul 17 2019Aug 05 2019In this paper, we present a putEMG dataset intended for evaluation of hand gesture recognition methods based on sEMG signal. The dataset was acquired for 44 able-bodied subjects and include 8 gestures (3 full hand gestures, 4 pinches, and idle). It consists ... More
Brownian motors in micro-scale domain: Enhancement of efficiency by noiseAug 25 2014We study a noisy drive mechanism for efficiency enhancement of Brownian motors operating on the micro-scale domain. It was proven [J. Spiechowicz et al., J. Stat. Mech. P02044, (2013)] that biased noise $\eta(t)$ can induce normal and anomalous transport ... More
Planar segment processes with reference mark distributions, modeling and estimationJan 07 2017Aug 28 2017The paper deals with planar segment processes given by a density with respect to the Poisson process. Parametric models involve reference distributions of directions and/or lengths of segments. These distributions generally do not coincide with the corresponding ... More
Clarke duality for Hamiltonian systems with nonstandard growthNov 26 2018We consider the existence of periodic solutions to Hamiltonian Systems with growth conditions involving G-function. We introduce the notion of symplectic G-function and provide relation for the growth of Hamiltonian in terms of certain constant $C_G$ ... More
Transfer Learning for Segmenting Dimensionally-Reduced Hyperspectral ImagesJun 23 2019Deep learning has established the state of the art in multiple fields, including hyperspectral image analysis. However, training large-capacity learners to segment such imagery requires representative training sets. Acquiring such data is human-dependent ... More
Antiferromagnetic nano-oscillator in external magnetic fieldsAug 18 2017Nov 23 2017We describe the dynamics of an antiferromagnetic nano-oscillator in an external magnetic field of any given time distribution. The oscillator is powered by a spin current originating from spin-orbit effects in a neighboring heavy metal layer, and is capable ... More
Simultaneous readout of two adjacent bit tracks with a spin-torque oscillatorMay 08 2017We propose a novel setup for a spin-torque oscillator reader in magnetic hard disk drive technology. Two adjacent bit tracks are to be read simultaneously, leading to high data transfer rate and increased resilience to noise as the lateral size of the ... More
Efficient Ranking of Lyndon Words and Decoding Lexicographically Minimal de Bruijn SequenceOct 09 2015We give efficient algorithms for ranking Lyndon words of length n over an alphabet of size {\sigma}. The rank of a Lyndon word is its position in the sequence of lexicographically ordered Lyndon words of the same length. The outputs are integers of exponential ... More
Gaussian process regression as a predictive model for Quality-of-Service in Web service systemsJul 30 2012May 08 2013In this paper, we present the Gaussian process regression as the predictive model for Quality-of-Service (QoS) attributes in Web service systems. The goal is to predict performance of the execution system expressed as QoS attributes given existing execution ... More
On generalized choice and coloring numbersJan 21 2018Feb 26 2019A well-known result of Alon shows that the coloring number of a graph is bounded by a function of its choosability. We explore this relationship in a more general setting with relaxed assumptions on color classes, encoded by a graph parameter.
New bounds for locally irregular chromatic index of bipartite and subcubic graphsNov 07 2016Nov 17 2016A graph is \textit{locally irregular} if the neighbors of every vertex $v$ have degrees distinct from the degree of $v$. \textit{locally irregular edge-coloring} of a graph $G$ is an (improper) edge-coloring such that the graph induced on the edges of ... More
Many-body localization for randomly interacting bosonsJul 27 2017We study many-body localization in a one dimensional optical lattice filled with bosons. The interaction between bosons is assumed to be random, which can be realized for atoms close to a microchip exposed to a spatially fluctuating magnetic field. Close ... More
Some model theory of SL(2,R)Aug 01 2012We study the action of G = SL(2,R) on its type space S_G(R) where R denotes the field of real numbers. We identify a minimal closed G-flow I, and an idempotent r of I (with the respect to the Ellis semigroup structure * on I). We show that the group (r*I,*) ... More
MINLP in Transmission Expansion PlanningMar 14 2016Transmission expansion planning requires forecasts of demand for electric power and a model of the underlying physics, i.e., power flows. We present three approaches to deriving exact solutions to the transmission expansion planning problem in the alternating-current ... More
Trade--off relations for operation entropy of complementary quantum channelsAug 09 2019The entropy of a quantum operation, defined as the von Neumann entropy of the corresponding Choi-Jamio{\l}kowski state, characterizes the coupling of the principal system with the environment. For any quantum channel $\Phi$ acting on a state of size $N$ ... More
Formation of hadrons at chemical freeze-outApr 29 2017We use a kinetic condition to predict the chemical freeze-out parameters for hadronic species produced in heavy ion collisions. The resulting freeze-out lines for different hadrons lie close to one another in the temperature and baryochemical potential ... More
Exactly solvable model of gene expression in proliferating bacterial cell population with stochastic protein bursts and protein partitioningApr 17 2019Many of the existing stochastic models of gene expression contain the first-order decay reaction term that may describe active protein degradation or dilution. If the model variable is interpreted as the molecule number, and not concentration, the decay ... More
Spectroscopic experimental and theoretical study of Uranyl(VI) in an aqueous system - Molecular modelling meets environmental protectionSep 23 2018Time-Resolved Laser-Induced Fluorescence Spectroscopy (TRLFS) and cryo-TRLFS are sensitive tools for \textit{in situ} speciation of low-level uranium in aqueous samples, including natural waters. To tailor, often ill-conditioned (i.e., leading to ambiguous ... More
Optimisation Of Pressure Sewer OperationJun 13 2016The paper deals with the new control method developed for the pressure sewer systems. This method eliminates the disadvantages of currently common used on-off regulation. The major disadvantage is a transition of inconstancies of the effluent production ... More
Arcwise connectedness of the set of ergodic measures of hereditary shiftsOct 03 2016Oct 07 2016We show that the set of ergodic invariant measures of a shift space with a safe symbol (this includes all hereditary shifts) is arcwise connected when endowed with the $d$-bar metric. As a consequence the set of ergodic measures of such a shift is also ... More
The silver route to cuprate analogsApr 01 2018The parent compound of high-Tc superconducting cuprates is a unique Mott state consisting of layers of spin-1/2 ions arranged on a square lattice and with a record high antiferromagnetic coupling within the layers. Compounds with similar characteristics ... More
Neuromorphic MoS2 memtransistors fabricated by localised helium ion beam irradiationNov 23 2018Two-dimensional layered semiconductors have recently emerged as attractive building blocks for next-generation low-power non-volatile memories. However, challenges remain in the controllable sub-micron fabrication of bipolar resistively switching circuit ... More
Semidefinite Programming in Timetabling and Mutual-Exclusion SchedulingApr 06 2019In scheduling and timetabling applications, the mutual-exclusion constraint stipulates that certain pairs of tasks that cannot be executed at the same time. This corresponds to the vertex colouring problem in graph theory, for which there are well-known ... More
A Parallel Memetic Algorithm to Solve the Vehicle Routing Problem with Time WindowsFeb 27 2014This paper presents a parallel memetic algorithm for solving the vehicle routing problem with time windows (VRPTW). The VRPTW is a well-known NP-hard discrete optimization problem with two objectives. The main objective is to minimize the number of vehicles ... More
Decremental Single-Source Reachability in Planar DigraphsMay 31 2017In this paper we show a new algorithm for the decremental single-source reachability problem in directed planar graphs. It processes any sequence of edge deletions in $O(n\log^2{n}\log\log{n})$ total time and explicitly maintains the set of vertices reachable ... More
Spin-polarized current in non-collinear antiferromagnetsFeb 01 2017Sep 28 2018Noncollinear antiferromagnets, such as Mn$_3$Sn and Mn$_3$Ir, were recently shown to be analogous to ferromagnets in that they have a large anomalous Hall effect. Here we show that these materials are similar to ferromagnets in another aspect: the charge ... More
On Periodicity Lemma for Partial WordsJan 03 2018We investigate the function $L(h,p,q)$, called here the threshold function, related to periodicity of partial words (words with holes). The value $L(h,p,q)$ is defined as the minimum length threshold which guarantees that a natural extension of the periodicity ... More
Anderson localization of solitonsJul 02 2009Nov 04 2009At low temperature, a quasi-one-dimensional ensemble of atoms with attractive interaction forms a bright soliton. When exposed to a weak and smooth external potential, the shape of the soliton is hardly modified, but its center-of-mass motion is affected. ... More
Some of Them Can be Guessed! Exploring the Effect of Linguistic Context in Predicting QuantifiersJun 01 2018We study the role of linguistic context in predicting quantifiers (`few', `all'). We collect crowdsourced data from human participants and test various models in a local (single-sentence) and a global context (multi-sentence) condition. Models significantly ... More
Structure learning in graphical models by covariance queriesJun 22 2019We study the problem of recovering the structure underlying large Gaussian graphical models. In high-dimensional problems it is often too costly to store the entire sample covariance matrix. We propose a new input model in which one can query single entries ... More
Internal Pattern Matching Queries in a Text and ApplicationsNov 25 2013Oct 13 2014We consider several types of internal queries: questions about subwords of a text. As the main tool we develop an optimal data structure for the problem called here internal pattern matching. This data structure provides constant-time answers to queries ... More
Toolbox for Abelian lattice gauge theories with synthetic matterJan 13 2016Apr 02 2017Fundamental forces of Nature are described by field theories, also known as gauge theories, based on a local gauge invariance. The simplest of them is quantum electrodynamics (QED), which is an example of an Abelian gauge theory. Such theories describe ... More
Bose-Hubbard model with random impurities: Multiband and nonlinear hopping effectsOct 04 2014Dec 19 2014We investigate the phase diagrams of theoretical models describing bosonic atoms in a lattice in the presence of randomly localized impurities. By including multiband and nonlinear hopping effects we enrich the standard model containing only the chemical-potential ... More
Towards Secure and Efficient Payment ChannelsNov 30 2018Micropayment channels are the most prominent solution to the limitation on transaction throughput in current blockchain systems. However, in practice channels are risky because participants have to be online constantly to avoid fraud, and inefficient ... More
Bounding the distance among longest paths in a connected graphJul 29 2016May 03 2018It is easy to see that in a connected graph any 2 longest paths have a vertex in common. For k>=7, Skupien in [7] obtained a connected graph in which some k longest paths have no common vertex, but every k-1 longest paths have a common vertex. It is not ... More
Decorrelation of a class of Gibbs particle processes and asymptotic properties of U -statisticsMar 15 2019We study a stationary Gibbs particle process with deterministically bounded particles on Euclidean space defined in terms of a non-negative pair potential and an activity parameter. For small activity parameters, we prove a central limit theorem for certain ... More
Dynamically affine maps in positive characteristicApr 09 2019We study fixed points of iterates of dynamically affine maps (a generalisation of Latt\`es maps) over algebraically closed fields of positive characteristic $p$. We present and study certain hypotheses that imply a dichotomy for the Artin-Mazur zeta function ... More
Self-testing of unsharp measurementsMar 29 2019We consider unsharp quantum measurements as a recourse in scenarios where one faces the trade-off between information gain and disturbance. We analyse in detail the case of two-outcome qubit measurements and show that generalized measurements allow for ... More
Field- and temperature-modulated spin-diode effect in a GMR nanowire with dipolar couplingJun 04 2017An analytical model of the spin-diode effect induced by resonant spin-transfer torque in a ferromagnetic bilayer with strong dipolar coupling provides the resonance frequencies and the lineshapes of the magnetic field spectra obtained under field or laser-light ... More
Understanding stability diagram of perpendicular magnetic tunnel junctionsJan 23 2017Perpendicular magnetic tunnel junctions (MTJ) with a bottom pinned reference layer and a composite free layer (FL) are investigated. Different thicknesses of the FL were tested to obtain an optimal balance between tunneling magnetoresistance (TMR) ratio ... More
$λ$-persistant CSMA: a radio-channel access protocolJul 04 2016This paper presents an algorithm that improves channel-access statistics for wireless medium. The proposed modification of the standard CSMA algorithm is analytically shown to yield better results and simulation results are given to support this claim. ... More
Transmission-Constrained Unit CommitmentJun 25 2018The unit commitment with transmission constraints in the alternating-current (AC) model is a challenging mixed-integer non-linear optimisation problem. We present an approach based on decomposition of a Mixed-Integer Semidefinite Programming (MISDP) problem ... More
Efficient Representation and Counting of Antipower Factors in WordsDec 19 2018A $k$-antipower (for $k \ge 2$) is a concatenation of $k$ pairwise distinct words of the same length. The study of antipower factors of a word was initiated by Fici et al. (ICALP 2016) and first algorithms for computing antipower factors were presented ... More
Indexing Weighted Sequences: Neat and EfficientApr 25 2017Aug 25 2017In a \emph{weighted sequence}, for every position of the sequence and every letter of the alphabet a probability of occurrence of this letter at this position is specified. Weighted sequences are commonly used to represent imprecise or uncertain data, ... More
Faster Recovery of Approximate Periods over Edit DistanceJul 27 2018The approximate period recovery problem asks to compute all $\textit{approximate word-periods}$ of a given word $S$ of length $n$: all primitive words $P$ ($|P|=p$) which have a periodic extension at edit distance smaller than $\tau_p$ from $S$, where ... More
On the optimization of the fixed-stress splitting for Biot's equationsNov 15 2018Dec 10 2018In this work we are interested in effectively solving the quasi-static, linear Biot model for poromechanics. We consider the fixed-stress splitting scheme, which is a popular method for iteratively solving Biot's equations. It is well-known that the convergence ... More
Pseudo-Cartesian coordinates in a model of Causal Dynamical TriangulationsDec 27 2018Apr 06 2019Causal Dynamical Triangulations is a non-perturbative quantum gravity model, defined with a lattice cut-off. The model can be viewed as defined with a proper time but with no reference to any three-dimensional spatial background geometry. It has four ... More
Decremental SPQR-trees for Planar GraphsJun 28 2018We present a decremental data structure for maintaining the SPQR-tree of a planar graph subject to edge contractions and deletions. The update time, amortized over $\Omega(n)$ operations, is $O(\log^2 n)$. Via SPQR-trees, we give a decremental data structure ... More
Video Compression With Rate-Distortion AutoencodersAug 14 2019In this paper we present a a deep generative model for lossy video compression. We employ a model that consists of a 3D autoencoder with a discrete latent space and an autoregressive prior used for entropy coding. Both autoencoder and prior are trained ... More
Estimating Achilles tendon healing progress with convolutional neural networksJun 13 2018Jun 19 2018Quantitative assessment of a treatment progress in the Achilles tendon healing process - one of the most common musculoskeletal disorder in modern medical practice - is typically a long and complex process: multiple MRI protocols need to be acquired and ... More
Analysis of video quality losses in the homogenous HEVC video transcodingFeb 24 2017The paper presents quantitative analysis of the video quality losses in the homogenous HEVC video transcoder. With the use of HM15.0 reference software and a set of test video sequences, cascaded pixel domain video transcoder (CPDT) concept has been used ... More
Geometric Median in Nearly Linear TimeJun 16 2016In this paper we provide faster algorithms for solving the geometric median problem: given $n$ points in $\mathbb{R}^{d}$ compute a point that minimizes the sum of Euclidean distances to the points. This is one of the oldest non-trivial problems in computational ... More
Palindromic Decompositions with Gaps and ErrorsMar 27 2017Identifying palindromes in sequences has been an interesting line of research in combinatorics on words and also in computational biology, after the discovery of the relation of palindromes in the DNA sequence with the HIV virus. Efficient algorithms ... More
Tunneling-Induced Restoration of the Degeneracy and the Time-Reversal Symmetry Breaking in Optical LatticesApr 23 2013Nov 19 2013We study the ground-state properties of bosons loaded into the $p$-band of a one dimensional optical lattice. We show that the phase diagram of the system is substantially affected by the anharmonicity of the lattice potential. In particular, for a certain ... More
Unsupervised Segmentation of Hyperspectral Images Using 3D Convolutional AutoencodersJul 20 2019Hyperspectral image analysis has become an important topic widely researched by the remote sensing community. Classification and segmentation of such imagery help understand the underlying materials within a scanned scene, since hyperspectral images convey ... More
Accelerating Scientific Computations with Mixed Precision AlgorithmsAug 20 2008On modern architectures, the performance of 32-bit operations is often at least twice as fast as the performance of 64-bit operations. By using a combination of 32-bit and 64-bit floating point arithmetic, the performance of many dense and sparse linear ... More
LEAF: A Benchmark for Federated SettingsDec 03 2018Jan 09 2019Modern federated networks, such as those comprised of wearable devices, mobile phones, or autonomous vehicles, generate massive amounts of data each day. This wealth of data can help to learn models that can improve the user experience on each device. ... More
Space-time fractional diffusion in cell movement models with delayFeb 23 2018Oct 29 2018The movement of organisms and cells can be governed by occasional long distance runs, according to an approximate L\'evy walk. For T cells migrating through chronically-infected brain tissue, runs are further interrupted by long pauses, and the aim here ... More
On a Clique-Based Integer Programming Formulation of Vertex Colouring with Applications in Course TimetablingOct 18 2007Jul 07 2009Vertex colouring is a well-known problem in combinatorial optimisation, whose alternative integer programming formulations have recently attracted considerable attention. This paper briefly surveys seven known formulations of vertex colouring and introduces ... More
Asymptotically optimal bound on the adjacent vertex distinguishing edge choice numberMay 03 2017An adjacent vertex distinguishing edge colouring of a graph $G$ without isolated edges is its proper edge colouring such that no pair of adjacent vertices meets the same set of colours in $G$. We show that such colouring can be chosen from any set of ... More
Decomposition, Reformulation, and Diving in University Course TimetablingMar 05 2009Mar 20 2009In many real-life optimisation problems, there are multiple interacting components in a solution. For example, different components might specify assignments to different kinds of resource. Often, each component is associated with different sets of soft ... More
Programmable graphene doping via electron beam irradiationNov 15 2016Graphene is a promising candidate to succeed silicon based devices and doping holds the key to graphene electronics. Conventional doping methods through surface functionalization or lattice modification are effective in tuning carrier densities. These ... More
Precision Diboson Observables for the LHCOct 28 2015Mar 03 2016Motivated by the restoration of $SU(2)\times U(1)$ at high energy, we suggest that certain ratios of diboson differential cross sections can be used as high-precision observables at the LHC. We rewrite leading-order diboson partonic cross sections in ... More
Automatic sequences and generalised polynomialsMay 24 2017Dec 18 2017We conjecture that bounded generalised polynomial functions cannot be generated by finite automata, except for the trivial case when they are ultimately periodic. Using methods from ergodic theory, we are able to partially resolve this conjecture, proving ... More
Sparse generalised polynomialsNov 30 2016We investigate generalised polynomials (i.e. polynomial-like expressions involving the use of the floor function) which take the value $0$ on all integers except for a set of density $0$. Our main result is that the set of integers where a sparse generalised ... More
Factors of generalised polynomials and automatic sequencesFeb 07 2018The aim of this short note is to generalise the result of Rampersad--Shallit saying that an automatic sequence and a Sturmian sequence cannot have arbitrarily long common factors. We show that the same result holds if a Sturmian sequence is replaced by ... More
Automatic sequences, generalised polynomials, and nilmanifoldsOct 12 2016We conjecture that bounded generalised polynomial functions cannot be generated by finite automata, except for the trivial case when they are periodic away from a finite set. Using methods from ergodic theory, we are able to partially resolve this conjecture, ... More
A density version of Cobham's theoremOct 19 2017Nov 01 2017Cobham's theorem asserts that if a sequence is automatic with respect to two multiplicatively independent bases, then it is ultimately periodic. We prove a stronger density version of the result: if two sequences which are automatic with respect to two ... More
Atmospheric calibration of the Cherenkov Telescope ArraySep 13 2017Atmospheric monitoring is an integral part of the design of the Cherenkov Telescope Array (CTA), as atmospheric conditions affect the observations by Imaging Atmospheric Cherenkov Telescopes (IACT) in multiple ways. The variable optical properties of ... More
Development of SOI pixel detector in CracowJul 03 2015This paper presents the design of a new monolithic Silicon-On-Insulator pixel sensor in $200~nm$ SOI CMOS technology. The main application of the proposed pixel detector is the spectroscopy, but it can also be used for the minimum ionizing particle (MIP) ... More
ESPResSo++ 2.0: Advanced methods for multiscale molecular simulationJun 28 2018Dec 24 2018Molecular simulation is a scientific tool dealing with challenges in material science and biology. This is reflected in a permanent development and enhancement of algorithms within scientific simulation packages. Here, we present computational tools for ... More
Meta-Learning by the Baldwin EffectJun 06 2018Jun 22 2018The scope of the Baldwin effect was recently called into question by two papers that closely examined the seminal work of Hinton and Nowlan. To this date there has been no demonstration of its necessity in empirically challenging tasks. Here we show that ... More
Taylor's modularity conjecture and related problems for idempotent varietiesFeb 27 2016We provide a partial result on Taylor's modularity conjecture, and several related problems. Namely, we show that the interpretability join of two idempotent varieties that are not congruence modular is not congruence modular either, and we prove an analogue ... More
Weakly mixing sets and polynomial equationsJan 31 2016We investigate polynomial patterns which can be guaranteed to appear in \emph{weakly mixing} sets introduced by introduced by Furstenberg and studied by Fish. In particular, we prove that if $A \subset \mathbb N$ is a weakly mixing set and $p(x) \in \mathbb ... More